Дидактическая систематизация античной логики

Часто высказывается мнение о том, что вся средневековая логика это дидактическая систематизация античной логики. Однако, как увидим, это не совсем так. Для средневековой логики не стоял (как для нас) вопрос о собственной оригинальности, первоочередными были задачи преподавания. Множество учебников содержало обстоятельные объяснения логических правил в духе строгой неумолимой ясности, приспособленные, в частности, и к умам посредственным. Для них изобретались искусные аббревиатуры и мнемотехнические упражнения, в которых ясно ощущается забота авторов о молодых умах, профес- сиональной подготовке, где ни одна мелочь не должна быть упущена. Уже в XIII веке существовало множество таких техник, одна из удобных формул циркулировала в виде четырех видов категорических пропозиций под названием логического квадрата Боэция с использованием первых четырех вокабул алфавита.

Asserii A, negai E, vero generaliter ambo; Asserit I, negat O, sed particulariter ambo. Утверждает А, отрицает E, оба, однако, всеобщим образом; Утверждает А, отрицает Е, но оба частным образом.

Правил, необходимых для соблюдения в корректном силлогизме, как минимум восемь. 1. В силлогизме должно быть три термина, не больше и не меньше. 2. Один термин не может иметь объем больший в заключении, чем в посылке. 3. Средний термин должен быть подан во всем объеме хотя бы раз. 4. Средний термин не может подменять собой термины заключения. 5. Из двух негативных посылок не следует ничего. 6. Из двух утвердительных посылок нельзя получить отрицательный вывод. 7. Если одна из посылок негативная или частная, негативным и частным будет также и вывод. 8. Одна из посылок должна быть универсальная.

Очевидно отсюда, что соблюдение этих правил гарантирует логическую корректность силлогизма, оставляя за скобками вопрос об истинности вывода. Вывод будет верным, если верны посылки. Выводы, по мнению схоластов, истинны, если посылки самоочевидны или получены из непосредственного опыта. Абстрагируясь от гносеологических проблем получения посылок, их отношения к выводам суммированы двумя формулами: 1. Из истинного не следует ничего, кроме верного. 2. Из ложного следует все, что угодно. Последнюю формулу проиллюстрируем примером. Положим, сегодня 25 декабря 1994 года. Я говорю: сегодня 26 декабря 1994 года. Ясно, что это ложь. Но также ясно будет истиной, что "сегодня не 27 декабря 1994 года".