Этапы развития логики как науки и основные направления современной символической логики (стр. 14 из 16)
Однако независимо от того, является ли закон непротиворечия в той или иной логической системе тавтологией или не является, сами логические системы строятся непротиворечиво:
иными словами, метатеория (металогика) построения формализованных систем подчиняется закону непротиворечия, иначе такие системы были бы бесполезными, так как в них было бы выводимо все что угодно - как истина, так и ложь.
Очень важным в гносеологическом и логическом плане результатом является то, что закон непротиворечия и закон исключенного третьего нельзя опровергнуть, так как отрицание этих законов ни в одной из известных форм, ни в одной из исследованных автором 18 логических системах не является тавтологией (или выводимой, доказуемой формулой), что свидетельствует об их фундаментальной роли в познании. Закон непротиворечия - один из основных законов правильного человеческого мышления - устойчив, его нельзя опровергнуть и заменить другим, в противном случае стерлось бы различие в познании между истиной как его целью и ложью.
Многообразие логических систем свидетельствует о развитии науки логики в целом и ее составных частей, в том числе теории основных фундаментальных формально-логических законов - закона непротиворечия и закона исключенного третьего.
§ 7. Модальные логики
В классической двузначной логике рассматривались простые и сложные ассерторические суждения, т. е. такие, в которых не установлен характер связи между субъектом и предикатом, например: “Морская вода соленая” или “Дождь то начинал хлестать теплыми крупными каплями, то переставал”.
В модальных суждениях раскрывается характер связи между субъектом и предикатом или между отдельными простыми суждениями в сложном модальном суждении. Например: “Необходимо, что металлы - проводники электрического тока” или “Если будет дуть попутный ветер, то, возможно, мы приплывем в гавань до наступления темноты”.
Модальными являются суждения, которые включают модальные операторы (модальные понятия), т. е. слова “необходимо”, “возможно”, “невозможно”, “случайно”, “запрещено”, “хорошо” и многие другие (см. главу III, § 6 “Деление суждений по модальности”). Модальные суждения рассматриваются в специальном направлении современной формальной логики - в модальной логике.
Изучение модальных суждений имеет длительную и многогранную историю. Мы отметим лишь некоторые из ее аспектов. Модальности в логику были введены Аристотелем. Термин “возможность”, по Аристотелю, имеет различный смысл. Возможным он называет и то, что необходимо, и то, что не необходимо, и то, что возможно. Исходя из понимания модальности “возможность”, Аристотель писал о неприменимости закона исключенного третьего к будущим единичным событиям.
Наряду с категорическим силлогизмом Аристотель исследует и модальный силлогизм, у которого одна или обе посылки и заключение являются модальными суждениями. Я. Лукасевич в книге “Аристотелевская силлогистика с точки зрения современной формальной логики” две главы посвящает аристотелевской модальной логике предложений (гл. VI) и модальной силлогистике Аристотеля (гл. VIII)'. Аристотель рассматривает модальную силлогистику по образцу своей ассерторической силлогистики: силлогизмы подразделяются на фигуры и модусы, неправильные модусы отбрасываются с помощью их интерпретации на конкретных терминах.
Согласно Аристотелю, случайность есть то, что не необходимо и не невозможно, т. е. р - случайно означает то же самое, что и р - не необходимо и р - не невозможно, но Лукасевич отмечает, что аристотелевская теория случайных силлогизмов полна серьезных ошибок2. Итог исследований Лукасевича такой: пропозициональная модальная логика Аристотеля имеет огромное значение для философии; в работах Аристотеля можно найти все элементы, необходимые для построения полной системы модальной логики; однако Аристотель исходил из двузначной логики', в то время как модальная логика не может быть двузначной. К идее многозначной логики Аристотель подошел вплотную, рассуждая о “будущем мореном сражении”. Следуя Аристотелю, Лукасевич в 1920 г. построил первую многозначную (трехзначную) логику. Так осуществляется связь модальных и многозначных логик.
Значительное внимание разработке модальных категорий уделяли философы в Древней Греции и особенно Диодор Крон, рассматривавший модальности в связи с введенной им временнбй переменной. В средние века модальным категориям также уделялось большое внимание. В XIX в. категорию вероятности разрабатывали Дж. Буль и П. С. Порецкий.
Возникновение модальной логики как системы датируется 1918г., когда американский логик и философ Кларенс Ирвинг Льюис (1883-1964) в работе “A Survey of Symbolic Logic” сформулировал модальное исчисление, названное им впоследствии S3.
В книге “Simbolic Logik”, написанной им совместно с К. Лэнгфордом в 1932 г., он сформулировал еще пять модальных логических систем, связанных с S3 и между собой. Это - системы S1, S2, S4, S5,S6.
Приведем описание модальной системы S12.
I. Исходные символы:
1. р, q, r и т. д. - пропозициональные переменные;
2. ~ р - отрицание р
3. р* q – конъюнкция p и q;
4. р 
q - строгая импликация льюисовской системы;
5. ()р- модальный оператор возможности (возможно p);
6. р = q - строгая эквивалентность, р = q равносильно (р q)*(q p)
II. Аксиомы системы S1:
1) p*q q*p;
2) p*q p;
3) p p*p;
4) (p*q)*r p*(q*r),
5) р ~ ~ р;
6)(p q)*(q r) [p r};
7) p*(p q) q.
Аксиома 5 может быть выведена из остальных, как было показано позднее. Так как конъюнкция связывает “сильнее”, чем импликация, то скобки можно опустить или заменить их точками; как это сделано у Льюиса.
III. Правила вывода S1:
1) Правило подстановки. Любые два эквивалентных друг другу выражения взаимозаменимы.
2) Любая правильно построенная формула может быть подставлена вместо р, или q. или r и т. д. в любом выражении.
3) Если выводим о р и выводим о q, то выводимо р • q .
4) Если выводим о р и выводим о р q , то выводимо q.
Льюис построил модальную пропозициональную логику S1 в виде расширения немодального (ассерторического) пропозиционального исчисления. При этом основные черты S1и других его исчислений были скопированы с формализованной логической системы Principia Mathematica Рассела и Уайтхеда, сформулированы с помощью понятий, только терминологически отличающихся от понятий, использованных в Principia Mathematica. Кроме Рассела и Уайтхеда, идеи классической логики развивали многие современные математические логики, например, американский логик и математик С. Клини'. Исчисления Льюиса построены аксиоматически по образцу Principia, и по аналогии с Principia Льюис доказывает ряд специфических теорем.
В классической двузначной логике логическое следование отождествляется с материальной импликацией и допускаются такие формы вывода:
p→ (q→p). (1)
т. е. истинное суждение следует из любого суждения (“истина следует откуда угодно”),
p→( 
→q) (2)
т. е. из ложного суждения следует любое суждение (“из лжи следует все, что угодно”). Это противоречит нашему содержательному, практическому пониманию логического следования, поэтому данные формулы, как и некоторые другие, и соответствующие им принципы логического следования называются парадоксами материальной импликации.
Льюис создал свои новые системы с целью избежать этих парадоксов и ввести новую импликацию, названную им “строгой импликацией”, такую, чтобы логическое следование представлялось не чисто формально, а по смыслу (содержательно) и новая импликация была ближе к связке естественного языка “если, то”. В строгой импликации Льюиса р q невозможно утверждать антецедент, т. е. р, и отрицать консеквент, т. е. q 1.