Помощь конверсии

Очевидно, что Аристотель в выводах согласно вышеприведенным способам предполагает определенные законы исчисления высказываний. Например, в выводах с помощью конверсии он исходит из того, что если одну из посылок заменить ее эквивалентом, то из нее и дальше будет следовать вывод, что можно было бы выразить формулой: Лр-Я < Г) < . А в выводах через мнимое сведение к абсурду Аристотель по отношению к посылкам и выводу прямо высказывает положение, которое по сути дела является применением формулы сложной транспозиции: < .

Мы говорили о способах обоснования правильных модусов в логике Аристотеля, но не сообщили о том, каким образом он опровергает неправильные модусы. Восполняя этот пробел, приведем характерный абзац из «Аналитик»: «Если же первый присущ всему среднему, а средний не присущ ни одному последнему, то для крайних нельзя будет построить никакой силлогизм, ведь из того, что здесь имеется, ничего не следует с необходимостью, ибо первый, возможно, присущ и всем и ни одному последнему, так что ни частное, ни общее не вытекает с необходимостью. Но так как ничего с необходимостью не вытекает, то нельзя построить силлогизм. Пусть терминами для случая присущ всему будут: живое существо —человек — лошадь ; для случая вовсе не присущ: живое существо — человек — камень ».