Эссе на тему Вывод как логическая операция

Фрагмент текста работы:

Традиционная область логики, которая связана с обретением или извлечением информации, применяет формы определенных рассуждений. Эпистемическая логика или логика знаний является подвидом модальной логики, которая имеет дело с высказываниями о состоянии познания.

Эпистемическая логика в качестве особенного раздела логики занимается исследованием рассуждений о знаниях на основе иного рода знаний. Получение знаний логическими методами зачастую вступает в конфликт с использованием тавтологий.

В логике логическими операциями именуются действия, в результате которых вырабатываются новые понятия, применяя при этом уже существующие. В более узком смысле понятие логической операции применяется в математической логике, а также в программировании [3, c. 76].

В соответствии с логическим законом достаточного основания определим базовые термины, которые будут использоваться.

Вывод в логике — процесс рассуждения, в процессе которого реализовывается переход от некоторых исходных суждений к новым суждениям — заключениям. Вывод может осуществляться в несколько этапов—умозаключений.

Заключение — логическая противоположность основанию в логическом выводе. Суждение, считающееся истинным в том случае, когда истинными признаются его предпосылки.

Логика — это не просто древнегреческое слово, а целая наука, исследование которой предоставляет возможность верно и здраво рассуждать, и, соответственно, осуществлять правильные выводы из рассуждений.

Рассуждая о чем-то, человек, на основании логических заключений, делаем соответствующие выводы.

В конце XIX столетия, группа лиц, под названием «математики», решила перевести весь наш мыслительный процесс в более понятную для них форму – математическую. И из простой, человеческой логики, учредилась уже математическая.

Любого рода высказанная человеком мысль учреждается на каких-то фактах – кирпичиках, которые учреждают ее базу. В математической логике, к примеру, эти «кирпичики» имеют только два состояния – «ложь» или же «истина».

В логике имеет двоякое значение:

— в общем значении рассуждением именуется деятельность рассудка;

— в специальном значении понятие рассуждение используется для идентификации анализа, умственного взвешивания доводов в пользу какого-то положения, при этом предполагается, что данные доводы излагаются связно и методично, так что могут служить достаточным основанием для вывода доказываемого положения [2, c. 15].

Любого рода рассуждение делится на части:

— на отчётливое и ясное определение темы или положения, которое составляет отправную точку и доказательство которого представляет конечную цель рассуждения;

— перечисление и анализ доводов, которые говорят в пользу доказываемого положения.

Для того чтобы рассуждение было всесторонним, необходимо взвесить не только доводы за, но и разобрать instantia contraria (лат. противоположный случай).

— вывод.

Центр тяжести всякого рассуждения лежит в умении искать доводы за и против, а также осуществлять их анализ.

Вывод подразумевает сам процесс рассуждения, в процессе которого реализовывается переход от некоторых исходных суждений к новым суждениям — заключениям.

Правила преобразования исходной системы предпосылок в систему заключений именуются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным.

Определение вывода прмиеняется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчислении высказываний либо исчислении предикатов.

В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов, и средств логического программирования [1, c. 98].

В некоторых случаях логический вывод определяется таким образом, что накладываются ограничения на использование определенных правил. К примеру, в аксиоматических исчислениях, которые являются вариантами классической логики предикатов первого порядка и содержат только modus ponens и правило обобщения среди правил вывода, логический вывод часто определяется таким образом, что на использование правила обобщения накладывается ограничение: любое применение обобщения правила в α таковы, что переменная, с помощью которой осуществляется обобщение в этом применении правила обобщения, не включена ни в одну посылку, предшествующую в нижней формуле этого применения правила обобщения. Цель этого ограничения состоит в том, чтобы обеспечить ряд логически полезных выходных свойств [4, c. 55].