Вывод из одной посылкиРассмотрим нетривиальные однопосылочные умозаключения из высказываний типа а, е, i, о, содержащих ровно два различных термина. В традиционной силлогистике для двух терминов существует ровно семь различных модельных схем:
Существует три вида непосредственных умозаключений: обращение, превращение и противопоставление. Обращение – это непосредственное умозаключение, в котором субъект заключения совпадает с предикатом посылки, а предикат заключения – с субъектом посылки. Различают два вида обращения: – чистое обращение – количественная характеристика высказывания не изменяется. Для высказываний типа е ( S е P ╞ Р е S)и i ( S i P ╞ P i S)правильным является чистое обращение вида:
Например, высказывание «Ни одно четное число не является иррациональным» логически эквивалентно высказыванию «Ни одно иррациональное число не является четным», а высказывание «Некоторые высокомерные люди – красавцы» эквивалентно высказыванию «Некоторые красавцы – высокомерные люди». – обращение с ограничением – количественная характеристика изменяется. Для высказывания типа а правильным является только обращение с ограничением
Например, от предложения «Все киты – млекопитающие» можно умозаключить только к предложению «Некоторые млекопитающие – киты». Для высказывания типа е правильным является как чистое обращение, так и обращение с ограничением
Высказывания типа о вообще не обращаются, так как любые их обращения неправильны, что устанавливается по правилу силлогизма: «Термин, распределенный в заключении, должен быть распределен в посылке».
|
