В Степин - Новая философская энциклопедия. Том второй Е—M

• Название: Новая философская энциклопедия. Том второй Е—M
• Автор: В Степин
• Издательство: МЫСЛЬ
• Жанр: Философия
• Год: 2010
• ISBN: 978-2-244-01115-9

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

При подготовке данного издания внесены некоторые уточнения и дополнения. В частности, в первом томе помещена статья, посвященная 80-летию Института философии РАН в четвертом - именной указатель по всем томам.

---

ЛОГИКАВЫСКАЗЫВАНИЙ, пропозициональная логика — раздел логики символической, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. При этом в отличие от логики предикатов внутренняя структура простых высказываний не рассматривается, а учитывается лишь, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. Под высказыванием понимается то, что выражается повествовательным предложением. Поэтому логику высказываний некоторые авторы называют также «логикой предложений». В естественном языке существует много способов образования сложных высказываний из простых. Обычно выбирают пять общеизвестных грамматических связок (союзов): «не», «и», «или», «если..., то» и «если..., и только если». Процесс символизации языка логики высказываний состоит в следующем. Элементарные высказывания заменяются пропозициональными переменными р, q, г, ... с индексами или без них; указанным выше грамматическим связкам ставятся в соответствие (с близким смыслом) логические связки, которые получают соответственно следующие обозначения и названия: -i (отрицание), л или & (конъюнкция), v (дизъюнкция), Z) (импликация) и = (эквиваленты); и, наконец, используются скобки (,) для того, чтобы можно было по-разному группировать высказываниям и этим определять порядок выполнения операций. Отрицание называется одноместной связкой, а остальные четыре — двухместными связками. Выражением языка логики высказываний называют любую последовательность указанных выше символов. Некоторые из этих выражений объявляются правильно построенными. Их называют формулами. Формулы определяются следующими правилами, где буквы А, В... представляют произвольные высказывания: (1) всякая пропозициональная переменная есть формула; (2) если А и В — формулы, то (-А), (А л В), (A v В), (А эВ), (А=В) тоже формулы; (3) никакие другие соединения символов не являются формулами. Примерами формул являются р, ->q, -.(pvq). Внешние скобки при записи формул обычно опускают, а связки (по определению) различают по «силе связывания». Напр., знак

415

ЛОГИКА ВЫСКАЗЫВАНИЯ отрицания -I связывает сильнее, чем двухместные связки. Т. о., правила задают эффективный способ распознавания, является ли выражение логики высказываний формулой. Затем делают два основных допущения, на которых основывается семантика логики высказываний: (I) Каждое простое высказывание является или только истинным, или только ложным (принцип двузначности). «Истина» и «ложь» называются истинностными значениями высказывания и обозначаются соответственно И и Л, или 1 и 0. (II) Истинностное значение сложного высказывания определяется только истинностными значениями составляющих его простых высказываний. Это означает, что логические связки (их называют также пропозициональные связки) являются истинностными функциями. Удобным способом задания истинностных функций является табличный, где слева указываются все возможные приписывания значений аргументам (пропозициональным переменным), а справа — значения самой функции: р и и л л q и л и л PAq И л л л pvq И И и л p=>q и л и и p = q И Л Л И Р И Л -Р Л И Приведенные выше таблицы называются истинностными таблицами, а определяемые ими пропозициональные связки — классическими связками. Легко определить, сколько имеется различных классических связок. Число различных строк в таблице длины m равно 2т и на каждой из них значение функции можно задать двумя способами: И или Л. Поэтому число функций двузначной логики, зависящих от m аргументов, составляет 2 в степени 2т. Отсюда, напр., число одноместных связок равно 4, а число двухместных связок равно 16. Каждая формула задает некоторую истинностную функцию, которая графически может быть представлена истинностной таблицей, содержащей 2т строк, если в формуле имеется m различных пропозициональных переменных. При этом формула может быть такой, что на каждой строке она принимает только одно значение, равное И, или только одно значение, равное Л. В первом случае она называется тавтологией (тождественно истинным высказыванием), а во втором — противоречием (тождественно ложным высказыванием). В формальной логике тавтологии играют важную роль. Они служат для записи ее законов (Закон логический), так как тавтологии являются всегда истинными высказываниями только в силу своей символической формы, независимо от содержания входящих в них исходных высказываний. Легко установить, что формулы вида Ad A, A v-A,-. (Ал-А) являются тавтологиями. Законы, выражаемые этими формулами, называются соответственно законом тождества, законом исключенного третьего и законом непротиворечия. Исключительно важное свойство истинностных таблиц состоит в следующем: они дают эффективную процедуру для решения вопроса о том, является ли данная пропозициональная формула тавтологией. Указанная процедура называется разрешающей процедурой и отсюда следует, что развиваемая здесь логика высказывании является разрешимой логикой (см. Разрешения проблема). Вот некоторые общие факты о тавтологиях, настолько общие, что они называются правилами логики высказываний: 1. Правило заключения (modus ponens). Если А и Ar) В тавтологии, то В тавтология. 2. Правило подстановки. Если А(р) есть тавтология и В — формула, то А(В) тоже тавтология, где В замешает каждое вхождение переменной р в формуле А, т. е. подстановка в тавтологию приводит к тавтологии. Уже отсюда следует, что имеется бесконечное множество тавтологий. 3. Правило замены. Формулы А и В называют эквивалентными, если формула А = В есть тавтология. Очевидно, что если формулы А и В эквивалентны, то они равны как истинностные функции, т. е. принимают одинаковые истинностные значения. Тогда, если А = В есть тавтология, то С(А) = С(В) тоже тавтология, где С(А) — формула, содержащая некоторую формулу А в качестве своей составной части, и С(В) — формула, полученная из С(А) заменой этой составляющей А на формулу В. Из последнего правила следует, что можно преобразовывать формулы, получая другие, им эквивалентные, на более простые (содержащие меньше пропозициональных связок и переменных). Можно теперь любую формулу привести к какому-либо каноническому виду и этим решать определенного рода задачи. Более того, некоторые эквиваленции выражают основные свойства пропозициональных связок. Напр., эквиваленции (А л В) = (В л А) и (A v В) = (A v В) выражают коммутативный закон конъюнкции и соответственно дизъюнкции. Все эти вопросы (и другие) изучает алгебра логики, основы которой заложены в работах Дж. Буля ( 1847,1854) и А. де Моргана (1847). Отметим некоторые эквиваленции, указывающие на взаимовыразимость одних связок через другие: А л В=-i(-A v -iB), A v В= -ibA л-,В), AdB = -AvB, (А^В)ЦАзВ)л(ВзА). Система пропозициональных связок M называется полной, если всякая формула эквивалентна некоторой формуле, в которую входят только связки из системы М, т. е. посредством такой системы можно выразить все истинностные функции. Так, системы связок {-i, л, v}, {-¦, л}, {->,v} и {-i, 3 } являются полными. Это значит, что мы можем строить логику высказываний на основе любой из указанных систем связок. Оказывается, полной может быть система, состоящая только из одной связки |, которая называется «штрих Шеффера»: высказывание р | q истинно тогда и только тогда, когда неверно, что р и q оба истинны. Достаточность связки | следует из тавтологий -А = А|А, AvB = (A|A)|(B|B). Наряду с понятием тавтологии фундаментальным для логики высказываний является понятие логического следования (см. Следование логическое), поскольку одной из главных задач логики является устанавливать, что из чего следует, и тем самым указывать, какие высказывания являются теоремами при заданных условиях. Всякую теорему можно записать в виде импликации и т. о. выделить ее условие и заключение. Говорят, В логически следует из А или является логическим следствием из А, и пишут А | = В, если в таблицах истинности для А и В формула В имеет значение И во всех тех строках, где А имеет значение И. Отсюда вытекает, что А | = В тогда и только тогда, когда A Z) В есть тавтология. Если формула А тавтология, то иногда пишут | = А. Приведенное определение логического следования без труда расширяется на некоторую систему формул (систему посылок) А,,..., Ап, которая обозначается посредством Г, и тогда пишут Г | = В. Примером логического следования (вывода) из посылок является уже упомянутое правило modus ponens. Выводимость В из высказываний АиАэ В следует из того, что формула (А л (Аз В)) 3 В является тавтологией. Отметим также, что в силу таблиц истинности для связки импликации получаем, что тождественно истинная формула логически следует из любой системы формул. А из того, что имеется разрешаю-

416

ЛОГИКА ВЫСКАЗЫВАНИЙ щая процедура для тавтологий, получаем, что проблема выводимости произвольной формулы В из заданной системы посылок также разрешима. Если определено понятие тавтологии и определено семантическое понятие логического следования (как это сделано выше), то говорят, что дано семантическое представление логики высказываний, а сама логика высказываний зачастую отождествляется с множеством тавтологий или с самим отношением логического следования. Однако такое представление ставит серьезную проблему: как обозреть все тавтологии, которых бесконечное множество? Для решения этой проблемы нужно перейти к синтаксическому представлению логики высказываний. Формальный (символический) язык логики высказываний и понятие формулы остаются прежними. Но теперь из всего множества тавтологий выбирают некоторое их конечное (и, вообще говоря, определяемые неоднозначно) подмножество, элементы которого называются ахтамшм*. Напр.:1.рЗ (qDp).l(pD(qD r))D((pDq)D(pD г)), З.р 3 (pvq),4.q3(pvq),5.(p 3 г) 3 ((q 3 г) 3 ((pvq) 3 г)), 6.(рл <0 3 р,7.(рлЧ) 3 q,8.(p 3q)3((p3r)3(p3 (q/ur))), 9.(p3 -^q)3 (qD-()),10.pD H> 3 q),ll.pv-4>. Т. о., в отличие от табличного определение логических связок -ц л, V, з задается аксиоматически. Затем с помощью уже известных правил, но чисто формально осуществляется вывод — переход от высказывания или системы высказываний к высказыванию: из А и АзВ следует В (правило заключения); из А(р) следует А(В) (подстановка). Так, заданную логику высказываний обозначим посредством С2 и назовем классической. Каждая аксиоматическая система, которая использует правило подстановки, может быть переформулирована в виде системы аксиомных схем, где вместо пропозициональных переменных используются символы произвольных высказываний (т. н. метапеременные). В этом случае каждая аксиомная схема представляет бесконечное множество аксиом и тогда правило подстановки оказывается излишним. Логическое исчисление, заданное посредством некоторого множества аксиом и некоторого множества правил вывода, называется исчислением гильбертовского типа. Выводом в нем называется всякая последовательность А,,..., А^ формул такая, что для любого i формула А есть либо аксиома, либо непосредственное следствие каких-либо предыдущих формул по одному из правил вывода. Формула А называется теоремой, если существует вывод, в котором последней формулой является А; такой вывод называется выводом формулы А. Запись |— А служит сокращением утверждения «А есть теорема». Если формула А выводима из некоторого множества Г исходных формул, то тогда запись принимает вид Г|— А (подробнее см. ВШидльтчмшш). Исходя из синтаксического представления логики высказываний, последняя зачастую отождествляется с множеством теорем или, что более принято, с отношением выводимости. Итак, при семантическом подходе формулы понимаются содержательно (как функции на множестве из двух элементов И, Л), а при синтаксическом подходе формула—это определенный набор символов и различаются только теоремы и нетеоремы. Однако, несмотря на такое различие, оба подхода к построению логики высказываний по существу совпадают и, как говорят, являются адекватными. Это значит, что совпадают понятия логического следования и понятия вывода. Рассмотрим следующую примечательную теорему, которая иногда называется теоремой адекватности: для всех А, |— А тогда и только тогда, когда |= А. Доказательство водну сторону, аименно: для всехА, если |—А, то |= А носит название теоремы о корректности. Это минимальное условие, которое мы требуем от логического исчисления и которое состоит в том, что представленная нами семантика корректна для выбранной аксиоматизации. Для доказательства теоремы нужно проверить, во-первых, что все аксиомы ( 1 )—( 11 ) являются тавтологиями, что легко устанавливается непосредственной проверкой с помощью истинностных таблиц, и, во-вторых, что правила вывода выбраны т. о., что они сохраняют тавтологичность. Поэтому все формулы последовательности, образующей доказательство какой-либо теоремы исчисления С2, в том числе и сама доказуемая теорема, являются тавтологиями. Из этой теоремы следует важнейшее свойство нашего исчисления высказываний С2: в С2 формулы А и -А одновременно недоказуемы, т. е. исчисление высказываний С2 непротиворечиво. Ели бы это было не так, то (с использованием аксиомы (10) и двойным применением modus ponens) в С2 была бы доказуема любая формула В. В силу этого противоречивая логика высказываний никакой ценности не представляет. В ней истина и ложь неразличимы и поэтому любая теорема одновременно истинна и ложна. Имеет место и обратное утверждение о том, каждая тавтология доказуема, т. е для всех А, если |= А, то |— А. Доказательство этой теоремы не столь тривиально и носит название теоремы о полноте исчисления высказываний относительно предложенной семантики. По существу здесь утверждается, что логических средств, т. е. аксиом и правил вывода, исчисления высказываний С2 вполне достаточно для доказательства всех тавтологий. Т. о., поставленная цель достигнута; используя минимальные средства, можно обозреть все множество тавтологий. Имеется много различных аксиоматизаций С2, в том числе состоящих из одной аксиомы и содержащих только одну связку (штрих Шеффера). Понятно, что чем меньше аксиом, тем сложнее доказательства. И вообще, в гильбертовских исчислениях доказательство теорем и сам поиск вывода весьма громоздок. Поэтому используются другие формулировки исчисления, более или менее приближенные к естественным рассуждениям, такие, как m шшмшт. сояемрш, исчисление натурального вывода и др. Но соотношение между семантикой и синтаксисом здесь не столь прозрачно. Первая аксиоматизация классической логики С2 была гтред- принята F. Фреге(\Ъ79). Однако в терминах современного символического языка аксиоматизация С2 появилась в «Principia Mathematical А. Штяеаш и К Ртахлт (1910-13). В обеих работах вопрос о полноте просто не возникал. Их целью было показать, что вся логика, а в действительности вся математика может быть развита внуфи их системы. Первая публикация доказательства полноты принадлежит Э. Посту (1921), который исходил из системы Уайтхеда и Рассела. Еще ранее это было сделано П. Бернайсом. В обоих случаях использовались двузначные истинностные таблицы (приведенные выше) для доказательства теоремы адекватности. В этом случае говорят еще, что эти таблицы являются характеристическими для С2. Теперь можно перейти к характеризации того, что называется классической логикой высказываний: (а) С2 основана на принципе двузначности (бивалентности). В последнее время большое развитие получили так называемые «бивалентные