§ 56. Разрешение спора
Парадоксальная ситуация, изложенная выше, совершенно аналогична тем трудностям, с которыми мы столкнулись при применении модальной логики к теории тождества. С одной стороны, силлогизмы, о которых идет речь, не только самоочевидны, но и могут быть доказаны в нашей системе модальной логики.
Я дам здесь полное доказательство силлогизмов (є) и (?), основанное, кроме всего прочего, на сильном L-законе экстенсиональности, известном еще Аристотелю.Посылки:
3. CLpp 18. CCpqCLpLq 24. CCpqCCqrCpr 33. CCpCqrCqCpr
CAbaCAcbAca.
Вывод:
18. pi Aba, q I AcaX 107
CCAbaAcaCLAbaLAca
33. pi Aba, q/Acb, r I AcaX С102—108
CAcbCAbaAca
24. p/Acb, qjCAbaAca r/CLAbaLAca X С108 -C107 — 109
CAcbCLAbaLAca
33. p/Acb, qjLAba, r/LAcaXC 109 — 110
CLAbaCAcbLAca(s)
18. pjAcb, q/AcaX 111
CCAcbAcaCLAcbLAca 24. pi Aba, qlCAcbAca,
r/CLAcbLAca X C102—Cl 11—112
CAbaCLAcbLAcbLAca (C)
Мы видим, что силлогизмы (є) и (?), обозначенные здесь через 110 и 112, есть принимаемые выражения нашей модальной логики.
С другой стороны, мы получаем положение 113 из 110 с помощью подстановки b/а и положение 114 из 112 с помощью подстановки b/с и коммутации антецедентов:
CLAaaCAcaLAca114. CLAccCAcaLAca.
Оба положения имеют в консеквенте выражение CAcaLAca,то есть предложение: «Если каждое с есть а, то необходимо, что каждое с должно быть а». Если это предложение принимается, то все истинные общеутвердительные предложения должны быть необходимы, что противоречит интуиции. Более того, так как CAcaLAca эквивалентно CNLAcaNАса, а Аса означает то же самое, что и NOca,мы должны были бы иметь CNLNOcaNNOca или СМОсаОса. Это последнее предложение, которое означает «Если возможно, чго некоторое с не есть а, то некоторое с не есть а» — не истинно, так как хотя и возможно, что номер, извлеченный из урны, не будет четным, однако если это предложение верно, то каждая серия извлечений должна содержать нечетный номер — результат, явно противоречащий фактам.
Выражение CAcaLAcaдолжно быть, следовательно, отброшено, и мы получаем:
*115.
CAcaLAca,из которого, согласно нашим правилам для отбрасываемых выражений, вытекает следствие:
ИЗ. ХС*116 — *115 *116. LAaa.
Аподиктический аристотелевский закон тождества должен быть отброшен, подобно аподиктическому принципу тождества LJxx.Это соответствует нашей общей точке зрения, согласно которой ни одно аподиктическое предложение не истинно. Консеквент выражения 113, то есть CAcaLAca, не может быть отделен, и несовместимость между допущением истинных аподиктических предложений и принятием сильного L-закона экстенсиональности разрешается в пользу закона экстенсиональности. Я не уверен, что какая-либо другая система модальной логики сможет удовлетворительно разрешить этот древний спор.
Ранее я упоминал, что Аристотель пытается опровергнуть силлогизм (?) не только с помощью примеров, но также с помощью чисто логического аргумента. Утверждая, что посылки Abaи LAcbне дают аподиктического заключения, он говорит: «Если заключение было бы необходимо, то из него с помощью силлогизма первой или третьей фигуры следовало бы, что некоторое Ъ необходимо есть а; однако это ложно, потому что bможет быть таким, что, возможно, ни одно bне есть а К Ари-стотель ссылается на аподиктические модусы Darii и Darapti; поскольку из (?) в сочетании с одним из этих модусов мы можем получить следствие CAbaCLAcbLIba. Доказательство из Darapti гласит:
CCpCqrCCrCqsCpCqs
CAbaCLAcbLAca(С)
CLAcaCLAcbLIba (Darapti)
117. pi Aba, qjLAcb, r/LAca, s/LIbaXC 112— Cl 18—119
CAbaCLAcbLIba
Доказательство из Darii дает то же следствие, но оно более сложно. Аристотель, по-видимому, пренебрегает посылкой LAcbи интерпретирует это следствие как простую импликацию:
*120. CAbaLIba,
которая, очевидно, ложна и должна быть отброшена. Или же, возможно, он думал, что LAcbможно сделать истинным с помощью подходящей подстановки на место с и опускания. Если так, то он ошибался и его доказательство несостоятельно. Кроме того, на этом примере мы видим, как трудно подтвердить законность таких положений, как 119, 112 или ПО посредством терминов, дающих некоторые якобы истинные аподиктические посылки. Так как многие логики уверены, что такие предложения дей-ствительно истинны, невозможно убедить их относительно законности этих силлогизмов с помощью примеров.
Заканчивая это обсуждение, мы можем сказать, что Аристотель был прав, принимая (є), но ошибался, отбрасывая (?). Теофраст же и Евдем ошибались в обоих случаях.