Главная > Разное > Аристотелевская силлогистика с точки зрения современной формальной логики
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 55. Модусы с одной аподиктической и одной ассерторической посылкой

Силлогистические модусы первой фигуры с одной аподиктической и одной ассерторической посылкой

рассматриваются Аристотелем раздельно, в зависимости от того, какая из посылок — большая или меньшая — является аподиктической. Аристотель говорит, что когда большая посылка аподиктическая, а меньшая — ассерторическая, мы получаем аподиктическое заключение; когда же меньшая — аподиктическая, а большая — ассерторическая, мы можем иметь только ассерторическое заключение.

Это различие сделается ясным с помощью следующих примеров модуса Barbara. Аристотель формулирует силлогизм: «Если необходимо, что всякое должно быть а, то если всякое с есть 6, тогда необходимо, что всякое с должно быть а». Однако он отбрасывает силлогизм «Если всякое есть а, то если необходимо, что всякое с должно быть 6, тогда необходимо, что всякое с должно быть а». В символическом выражении

Аристотель рассматривает силлогизм как самоочевидный. Он говорит: «Поскольку всякое необходимо есть а или не а и с есть одно из 6, то очевидно что с также необходимо будет а или не а». По причинам, которые будут разъяснены позже, затруднительно показать это на примерах. Однако следующая иллюстрация, возможно, сделает силлогизм более приемлемым для интуиции. Представим себе, что выражение означает: «Всякое связано проволокой с а». Отсюда очевидно, что всякое с (поскольку всякое с ссть также связано проволокой с а, то есть В самом деле, все, что истинно некоторым образом

отноеительно всякого таким же образом истинно также и для всякого с, если всякое с есть Очевидность последнего предложения вне всякого сомнения.

Однако мы знаем от Александра, что очевидность силлогизма как ее трактовал Аристотель, не была достаточно убедительной для его друзей — учеников Теофраста и Евдема К В противоположность Аристотелю, они придерживались взгляда, что если одна из посылок ассерторическая, то и заключение должно быть таким же; точно так же как если одна из посылок отрицательная, то и заключение должно быть отрицательно, и если одна из посылок частная, то и заключение должно быть частное; иными словами, соответственно общему правилу, сформулированному позднее схоластами: Peiorem sequitur semper conclusio partem.

Этот аргумент может быть легко опровергнут. Силлогизм дедуктивно эквивалентен проблематическому модусу Bocardo третьей фигуры: «Если возможно, что некоторое с не будет а, то если всякое с есть 6, тогда возможно, что некоторое не будет а». В символическом выражении:

Силлогизм так же очевиден, как и Его очевидность может быть проиллюстрирована на примерах. Предположим, что урна содержит бюллетени, пронумерованные от 1 до 90, и пусть с означает «номер, извлеченный из урны», «четный номер, извлеченный из урны», «номер, делимый на 3». Мы допускаем, что в некотором случае из урны было вынуто пять четных номеров, так что посылка «Всякий номер, извлеченный из урны, есть четный номер, извлеченный из урны», то есть является фактически истинной. Из этого мы можем с уверенностью заключить, что если в нашем

Случае возможно, что некоторый извлеченный из урны номер не будет делим на 3, то есть МОса, то в нашем случае также возможно, что некоторый четный номер, извлеченный из урны, не будет делим на 3, то есть МОЬа.

Аристотель допускает силлогизм и доказывает его посредством reductio ad absurdum из силлогизма Он, однако, не выводил из хотя и определенно знал, что это может быть сделано. Александр заметил это и дает явное доказательство из посредством reductio ad absurdum, говоря, что такой аргумент нужно рассматривать как самое основательное доказательство в пользу учения Аристотеля. Так как в согласии с ним друзья Аристотеля приняли силлогизм который удовлетворяет правилу слабейшей части, и так как выводим из они уже не могут отбросить на основании этого правила, которое становится ложным, когда применяется к модальностям.

В следующем параграфе мы увидим, что был еще и другой аргумент, выдвинутый Теофрастом и Евдемом против силлогизма который не мог быть опровергнут Александром, так как он остается или же снимается вместе с аргументом Аристотеля. Несмотря на то, что Александр говорит о «самом основательном доказательстве», все же чувствуется, что у него остается некоторая неуверенность, так как он, приведя ряд аргументов в поддержку мнения Аристотеля (приведенный выше аргумент является последним), замечает в заключении, что в других своих работах он с большей строгостью показал, какие из этих аргументов основательны, а какие

нет. Александр ссылается здесь на свою работу «О спорах между Аристотелем и его друзьями относительно смешанных модусов» и на свои «Логические схолии». К сожалению, обе работы утеряны.

Эта полемика возродилась в наше время. Сэр Дэвид Росс, комментируя силлогизм и его доказательство из силлогизма решительно заявляет: «Все же аристотелевское учение явно ошибочно. Ибо то, что он пытается показать, состоит в том, что посылки доказывают не только то, что всякое С есть но также, что они необходимо есть точно так же как всякое В необходимо есть то есть в силу неизменной необходимости их собственной природы; в то время как на самом деле они только показывают, что, поскольку всякое С есть В, оно также есть и однако не в силу неизменной необходимости их собственной природы, а в силу временной необходимости, возникающей из их временного участия в природе В».

Этот аргумент является метафизическим, так как термины «природа предмета» и «неизменная необходимость его природы» принадлежат метафизике. Однако за этой метафизической терминологией скрывается логическая проблема, которая может быть решена с помощью нашей четырехзначной модальной логики. Теперь обратимся к силлогизму, который Аристотелем отбрасывается.

<< Предыдущий параграф Следующий параграф >>
Оглавление