§ 37. Основная модальная логика
Два известных схоластических принципа модальной логики: Ab oportere ad esse valet consequentia и Ab esse ad posse valet consequentia — были известны Аристотелю, однако явно им не были сформулированы.
Первый принцип в нашей системе символики гласит (С — знак функтора «если — то»):CLpp,то есть Если необходимо, что р, то р. Второй читается:
СрМр, то есть Если р, то возможно, что р.
Согласно отрывку из «Первой аналитйкй» Аристотель знает, что из ассерторического отрицательного заключения «не р», то есть Ар, вытекает проблематическое следствие «Возможно, что не р», то есть MNp. Мы имеем, следовательно, CNpMNp.Александр, комментируя этот отрывок, формулирует в качестве общего правила, что существование подразумевает возможность, то есть СрМр, но не наоборот, то есть СМрр должно быть отброшено . Если обозначим отбрасываемые выражения звездочкой, то получим формулу :
*5. СМрр, то есть Если возможно, что р, тогда р — отбрасывается.
Соответствующие формулы для необходимости также излагаются Александром, который говорит, что необходимость подразумевает существование, то есть CLpp, а не наоборот, то есть CpLpдолжно быть отброшено . Мы получаем, таким образом, другое отбрасываемое выражение:
*6. CpLp, то есть Если р, то необходимо, что р — отбрасывается,
Формулы 1—6 допускаются традиционной логикой и, насколько мне известно, всеми современными логиками. Однако они недостаточно характеризуют Мр и Ьр как модальные функции, потому что все вышеуказанные формулы выполняются, если мы интерпретируем Мр как всегда истинное высказывание, то есть как «р-исти- на»(«verum of р»), а Ер — как всегда ложное, то есть как «р-ложь»(«falsum of р»). В этой интерпретации система, построенная на формулах 1—6, перестает быть модальной логикой. Мы не можем, следовательно, принять Мр, то есть допустить, что все проблематические предложения истинны, или же принять NLp, то есть допускать, что все аподиктические предложения ложны; оба выражения должны быть отброшены, поскольку любое выражение, которое не может быть принято, должно быть отброшено.
Мы получаем, таким образом, две дополнительные отбрасываемые формулы:*7. Мр, то есть Возможно, что р—отбрасывается, и
*8. NLp,то есть Не необходимо, что р — отбрасывается.
Обе формулы могут быть названы аристотелевскими, так как они представляют собой следствия из допускаемого Аристотелем предположения, согласно которому существуют принимаемые аподиктические предложения. Так, если принимается La, то LNNа также должно быть принято, а из принципа Дунса Скота CpCNpqмы получаем с помощью подстановки и отделения принимаемые формулы CNLapи CNLNNap.Так как р отбрасывается, то NLaи NLNNа также отбрасываются, а следовательно, NLp и NLNp, то есть Мр, должны быть отбро-шены.
Я называю систему «основной модальной логикой», если только она удовлетворяет формулам 1—8. Я показал, что основная модальная логика может быть аксиоматизирована на базе классического исчисления предложений К Из двух модальных функторов, М и L, один может быть взят как первичный термин, а другой может быть определен. Взяв М в качестве первичного термина и формулу 2 в качестве определения L, мы получаем следующий независимый ряд аксиом основной модальной логики:
СрМр *5. СМрр *7. Мр 9. QMpMNNp,
где формула 9 дедуктивно эквивалентна формуле 1 на основании определения 2 и исчисления предложений. Взяв L в качестве первичного термина и формулу 1 в качестве определения М, мы получаем соответствующий ряд аксиом:
3. CLpp*6. CpLp*8. NLp10. QLpLNNp,
где формула 10 дедуктивно эквивалентна формуле 2 на основании определения 1 и исчисления предложений.
Выводимые формулы 9 и 10 обязательны в качестве аксиом.
Основная модальная логика является фундаментом любой системы модальной логики и всегда должна включаться в любую такую систему. Формулы 1—8 согласуются с интуициями Аристотеля и лежат у истоков наших понятий необходимости и возможности; однако они не исчерпывают всего запаса допустимых модальных законов. Например, мы полагаем, что если возможна конъюнкция, то должен быть возможен и каждый ее сомножитель, то есть в символах:
CMKpqMpи 12. CMKpqMq,
а если конъюнкция необходима, то каждый ее сомножитель должен быть необходим, то есть в символах:
13. CLKpqLpи 14. CLKpqLq.
Ни одна из этих формул не может быть выведена из законов 1—8. Основная модальная логика является неполной модальной системой и нуждается в добавлении к ней некоторых новых аксиом. Давайте посмотрим, как она была дополнена самим Аристотелем.