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

  Вся электронная библиотека >>>

 Логика и аргументация

 

 

 

Логика и аргументация

Учебное пособие для вузов


Раздел: Учебники



 

Правило подстановки

 

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

Весьма простая система аксиом для исчисления высказываний была построена Б. Расселом и А.Н. Уайтхедом, а затем усовершенствована Д. Гильбертом. Она состоит из четырех аксиом:

1) x Ú хх.

2) хх Ú у.

3) x Ú yy Ú x.

4) (ху) → ((z Ú x) → (z Ú у)).

Аксиома 1 утверждает, что высказывание истинно, если дизъюнкция этого высказывания с самим собой истинна.

Аксиома 2 означает, что когда высказывание истинно, то к нему можно присоединить любой – истинный или ложный – дизъюнктивный член, так как дизъюнкция будет истинной, если один из членов будет истинным высказыванием.

Аксиома 3 представляет собой закон коммутативности для дизъюнкции.

Аксиома 4 утверждает, что в случае истинности импликации к ее антецеденту и консеквенту можно присоединить любой дизъюнктивный член, ибо он не повлияет на истинность импликации. Нетрудно заметить, что во всех формулах, выражающих аксиомы, можно заменить импликацию эквивалентным выражением: (ху) ↔ (¬х Ú у). Обычно для формулировки аксиом используются две логические операции, так как для выражения сложных высказываний их достаточно.

Опираясь на эти аксиомы, с помощью указанных выше правил вывода можно вывести другие истинные высказывания логики высказываний. При аксиоматическом подходе мы не обращаемся к содержательным способам установления истинности высказываний, а, предполагая аксиомы истинными, с помощью правил отделения и подстановки выводим другие истинные заключения. Этот подход можно сделать чисто формальным, если рассматривать аксиомы как исходные формулы, а логические правила вывода как правила преобразования одних формул в другие. Именно так осуществляется формальный вывод и доказательство в математике, но это занимает много времени и требует особого внимания. Однако с помощью производных правил вывода и ранее доказанных теорем процесс формального доказательства можно ускорить, хотя математики на практике не обращаются к формальным доказательствам, пока не сталкиваются с противоречиями либо парадоксами или пока не возникает необходимость в тщательной проверке всех шагов доказательства.

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

Процессы логического вывода и доказательства имеют много общего с рассуждениями в естественном языке, где также выводят одни высказывания из других, но, правда, при этом явно не указывают логические правила вывода, которыми пользуются, предполагая их известными. Именно это обстоятельство заставило логиков строить исчисления, напоминающие выводы в естественном языке. Нередко поэтому их называют натуральными выводами. Из этих исчислений наиболее известным и признанным считается система натурального вывода, построенная Г. Генценом, появившаяся в 1934 г. Хотя доказательства, основанные на выводе, применял еще Евклид в своих "Элементах" (геометрии), но в логике они стали анализироваться значительно позднее. Трудность здесь состоит в том, что рассуждения, которые осуществляются с помощью естественного языка, трудно переводятся на искусственный язык логики.

 

  

К содержанию:  Логика и аргументация: пособие для вузов

 

Смотрите также:

 

Логика

 

Логика. Принципы логики. Законы формальной логики.

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

 

Логика и научный метод. Систематизация методов построения теорий...

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

 

Формальная и полуинтуитивная логика. Абстрактные критерии. Проблемы...

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

 

...и книги Милля. Основания политической экономии. Система логики....

позитивизма, последователь Огюста Конта. В "Системе логики" (т 1-2,1843) разработал.сменялась логикой, логика математикой, математика языками.

 

...Чарлза Пирса. Основатель семиотики. Американский философ, логик...

Американский философ, логик, математик, естествоиспытатель Родоначальник. прагматизма Выдвинул принцип, согласно которому содержание понятия целиком.

 

Основные логические законы в русском языке. Логические законы.

Поэтому говорят не просто о законах логики, а о законах и правилах логики (см. об этом: Свинцов В.И. Логика.

 

Общий характер философии Аристотеля и сравнение ее с философией...

Этим он оказал величайшую услугу -знанию. Указав философии новую цель, Аристотель дал ей и средства для достижения этой дели, которое заключаются в его логике.

 

Интуиция - что это такое

Довольно часто эти два способа конфронтируют между собой. Логика отвергает интуицию, интуиция задавливает логику.

 

...аспекты философского анализа. Аналитическая философия и логика....

На начальном этапе эти взаимоотношения были максимально тесными (упомянем хотя бы позицию раннего Рассела, считавшего логику "сущностью философии").

 

...Биография и сочинения Гегеля. Феноменология духа, Наука логики...

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

 

Последние добавления:

 

 Педагогика

Деловая психология

Политология

Политология Западная и Восточная традиции