§ 59. Исправление ошибок Аристотеля
Аристотелевская теория случайных силлогизмов полна серьезных ошибок. Аристотель не делает правильных выводов из своего определения случайности и отрицает обратимость общеотрицательных случайных предложений, хотя она и очевидно допустима .
Тем не менее его авторитет был столь велик, что даже очень способные логики прошлого не смогли разглядеть эти ошибки. Очевидно, что если кто-либо, например Альбрехт Беккер, допускает определение:48. QTpKNLpNLNp
с р в качестве пропозициональной переменной, то он должен также допустить формулу:
141. QTEabKNLEabNLNEab,
которая выводится из 48 с помощью подстановки p/Eab. А так как формула 141 посредством правильных логических преобразований дает положение
QNTEabHLEabLIab, он также должен допустить 143. Однако Беккер отбрасывает это положение в пользу «структурных формул» — продукта его собственного воображения
Замечания предшествующего параграфа были сделаны с точки зрения основной модальной логики, являющейся неполной системой. Обсудим теперь нашу проблему с точки зрения четырехзначной модальной логики.
Из аристотелевского определения случайности мы получаем следствие 138, QTpTNp, из которого мы можем вывести импликацию:
CTpTNp.
Теперь из посылок:
CbpCbNpbq(аксиома С — N—Ь — /7-системы)
CCpCqrCCpqCpr(принцип Фреге)
мы получаем следствия:
b/Т X 147
CTpCTNpTq
146. р/Тр, q/TNp, r/TqX С147 — С145—148
CTpTq,
и поскольку обратная импликация CTqTpявляется также истинной, так как может быть доказана подстановками vlqи qlpв 148, то имеем эквивалентность:
QTpTq.
Из 149 мы получаем с помощью подстановки первый закон обращения 139 QTEbaTEab, затем формулу (i)QTAbaTEba,которую принимает Аристотель, и формулу (v.)QTAbaTAab,которую on отбрасывает. Мы можем теперь определить, где слабое место в аристотелевском опровержении закона обращения: Аристотель ошибается, отбрасывая (х).
Формула QTpTqпоказывает, что значение истинности функции Тр не зависит от аргумента р; это означает, что.
Тр есть константа. В самом деле, из параграфа 52 мы знаем, что KMpMNp, которое является определяющим для Гр, имеет постоянное значение 3, а следовательно,Тр также имеет постоянное значение 3 и никогда не является истинным. По этой причине Тр не подходит для обозначения случайного предложения в аристотелевском смысле, поскольку Аристотель убежден, что некоторые случайные предложения истинны. Выражение Тр должно быть заменено на Хр или Ур, то есть на функцию «р является V-случайным» или на парную ей: «р является У-случайным». Я буду рассматривать только V-случай-ность, так как то, что истинно для V-случайности, будет также истинно и для У-случайности.
Прежде всего мне хотелось бы отметить, что обратимость общеотрицательных случайных предложений не зависит от какого бы то ни было определения случайности. Так как ЕЬа эквивалентно ЕаЬ, мы должны допустить формулу
СЬЕЬаЪЕаЬ,
согласно принципу экстенсиональности CQpqCbpbq, который следует из нашей аксиомы 51. Из 150 мы получаем истинное высказывание для любого значения б, следовательно также и для 8/V':
CXEbaXEab.
Александр сообщает, что Теофраст и Евдем, в отличие от Аристотеля, допускали обратимость общеотрица-тельных случайных предложений \ однако в другом месте он говорит, что в доказательстве этого закона они использовали reductio ad absurdum . Это кажется сомнительным, так как единственной правильной вещью, сделанной Аристотелем в этом вопросе, было опровержение посредством reductio доказательства обратимости — опровержение, которое не могло быть неизвестно его ученикам. Reductio может быть использовано для доказательства, из CLIbaLIab, обратимости общеотрицательных предложений, когда они возможны (то есть для доказательства CMEbaMEab), но не тогда, когда они слу-чайны. Другое доказательство, данное Александром, продолжает предшествующий отрывок, но он едва ли сфор' мулировал его достаточно ясно. Мы знаем, что Теофраст и Евдем интерпретировали общеотрицательные посылки, и ЕЬа, и ЕаЬ как обозначающие симметричное отношение разобщенности между bи а , и они могли, согласно этому, доказывать, что если случайно для bбыть разобщенным с а, то так же случайно для а быть разобщенным с b .
Это доказательство сообразуется с принципом экстенсиональности. Во всяком случае, Теофраст и Евдем исправили серьезную ошибку в аристотелевской теории случайности.Во-вторых, и это следует из определения А-случай- ности:
CbKMpWNpbXp,
что так называемое «дополнительное обращение» не мажет быть допущено. QTpTNpистинно, но QXpXNp должно быть отброшено, потому что его отрицание, то есть:
NQXpXNp
принимается в нашей системе как могущее быть верифицированным с помощью матричного метода. Поэтому в нашей системе неправильно обращать предложение «Случайно, что каждое bбудет а» в предложение «Случайно, что некоторое bне будет а» или в предложение «Случайно, что ни одно bне будет а», — обращения, которые Аристотель допускал без какого-либо оправдания . Я думаю, что Аристотель пришел к ошибочному представлению о «дополнительном обращении» вследствие двусмысленности термина «случайный» (sv8s^op,svov). В своем сочинении «Об истолковании» он употребляет этот термин как синоним термину «возможный» (8uvaxov) и продолжает употреблять его таким же образом в «Первой аналитике», хотя фраза «Случайно, что р» приобрела там другое значение, а именно: «Возможно, что р, и возможно, что не р». Если мы в последней фразе заменим термин «возможно» термином «случайно», что, по-видимому, и делает Аристотель, то мы получаем бессмыслицу: «Случайно, что р» означает то же самое, что и «Случайно, что р и случайно что не р». Насколько мне известно, эта бессмыслица до сих пор никем не была замечена.
В-третьих, из определения 82 следует, что Хр сильнее, чем Мр, потому что мы имеем положение
СХрМр,
но не обратно. Это положение важно, потому что оно позволяет нам сохранить, с небольшой поправкой, большое число силлогизмов со случайными посылками, несмотря на серьезные ошибки, сделанные Аристотелем.