Аналитики. Никомахова этика

Итак, что из истинных [посылок] нельзя вывести ложное заключение, явствует прежде всего из следующего. Если при наличии А необходимо есть Б, то, если нет Б, необходимо нет и А. Следовательно, если А истинно, то необходимо истинно и Б; иначе окажется, что одно и то же вместе и есть, и не есть, что невозможно. Однако на том основании, что А положено как один термин, нельзя полагать, что при наличии чего-то одного с необходимостью вытекает что-то [другое], ибо это невозможно. Ведь то, что вытекает с необходимостью, есть заключение, а для того чтобы получилось заключение, требуется по меньшей мере три термина и два их сочетания, т. е. две посылки. Следовательно, если истинно, что всему тому, чему присуще Б, присуще А, и всему тому, чему присуще В, присуще Б, то чему присуще В, необходимо присуще А; и это не может быть ложно, ибо иначе одно и то же было бы вместе присуще и не присуще. Таким образом, А положено как одно, но охватывает две посылки. Точно так же обстоит дело и с отрицательными силлогизмами, ибо из истинных [посылок] нельзя доказать ложное.