Из числа действительных модусов математическая логика исключает два модуса третьей фигуры (Darapti и Felapton) и два модуса четвертой фигуры (Bramantip и Fesapo). Дело в том, что математическая логика оперирует не только с содержательными, но и с пустыми классами, а если ввести пустой класс в Аристотелеву силлогистику, что не исследовал Аристотель, то данные четыре модуса окажутся неправильными, ибо в них из посылок не будет вытекать заключение. Может показаться, что некоторые модусы умозаключений не имеют приложения в мыслительной практике. Это неверно. Глубокое знание фигур и модусов человеческой мысли, в том числе фигур и модусов силлогизма, очень понадобится, например, по мере расширения практики машинного перевода. Следует знать, кроме того, что знание модусов силлогизма и поиск собственных речевых примеров — прекрасный способ тренировки мышления. Все силлогизмы делятся на три большие группы: категорический силлогизм, разделительный силлогизм и условный силлогизм. Категорический силлогизм — силлогизм, в котором вывод получается из двух посылок, являющихся категорическими суждениями. Например, Все однодомные растения несут на одном и том же экземпляре и тычиночные, и пестиковые цветки; Береза — однодомное растение; Береза на одном и том же экземпляре несет и тычиночные, и пестиковые цветки. Разделительный силлогизм — силлогизм, в котором обе посылки ПК заключение являются разделительными суждениями. Например, Каждое суждение есть или единичное суждение, или общее суждение, или частное суждение; Каждое частное суждение есть или определенное частное суждение, или неопределенное частное суждение; Каждое суждение есть или единичное суждение, или общее суждение, или определенное частное суждение, или неопределенное частное суждение. Формула чисто разделительного силлогизма такова: А есть или В, или М, или Н; Н есть или С, или D А есть или В, или М, или С, или D. Условный силлогизм — такой силлогизм, в котором по крайней мере одна из двух посылок является условным суждением. Условным называется суждение, в котором отображается зависимость того или иного явления от каких-либо условий и в котором основание и следствие соединяются посредством логического союза если ... то ... Условное суждение ложно, когда основание является истинным, а следствие — ложным, и истинно, когда и основание, и следствие истинны. Различаются три вида условных суждений: 1) суждения, отражающие причинные связи, например: Если Земля попадает в тень, отбрасываемую Луной, то наступает солнечное затмение; — 145 —
|