Раздел второй. Скольких видов бывает доказательство

157 Энтимема есть такое доказательство (о силлогизме речь пойдет в следующем вопросе), когда из только одного суждения, называемого антецедент, выводится заключение.

Напротив, не является общепринятым мнение, исходя из которого считают, что если отрицать следование в энтимеме, то последняя якобы должна сводиться к совершенному силлогизму, когда мы приводим ранее подразумеваемому посылку. Но существуют такие эгимемы, в которых мы не подразумеваем третью посылку. Такова: "Каждый человек есть разумный, следовательно, некоторый человек есть животное" и ей подобные.Таковой также будет и энтимема, когда из меньшей посылки силлогизма выводится кон- сенвент , обусловленный (subconditione) большей посылкой. К примеру: "Петр есть человек. Следовательно, если каждый человек разумен, то и Петр разумен. "Или же, когда из большей посылки силлогизма следует консенвент, обусловленный меньшей посылкой если Петр есть человек, то он разумный" Подобная энтимема получается, в-третьих, когда из составного соединительного предложения следует простое, например: "И Петр, и Павел бежит, следовательно, Петр бежит"

Энтимема, в которой не подразумевается третье суждение, называется не доказательной (non argumentativa), напротив, там, где явно употреблены два суждения, а третье подразумевается, мы имеем дело с доказательной энтимемой.

Пример есть доказательство, когда в силу сходства одного и другого между собой доказывают от одного к другому. С помощью такого доказательства воодушевлялся св.

Индукция, понимаемая строго формально (formalissime), представляет собой восхождение, о котором мы говорили под № 84. Это доказательство от перечисленных в достаточном количестве единичных (предметов) к высшему и общему термину. Например: "И Петр есть животное, и Павел есть животное, следовательно, каждый человек есть животное" Индукции противопоставляется нисхождение.

Дилемма есть доказательство, заключающее в себе две части. Одну из этих частей противнику необходимо принять, но как только он согласится с одной из них, то он терпит поражение. Например: "Ты хочешь иди не хочешь быть ученым? Если не хочешь, то почему ходишь в школу? ЕСЛИ же хочешь, то почему ты старательно не учишься?" Точно так же , если кто- нибудь станет обвинять прислугу: "Понял ты, или не понял, что я приказал? Если понял,то почему не сделал? Если не понял, то почему не переспросил?" Поэтому такое доказательство называют еще рогатым доводом или двурогим, ибо оно наносит удар с обоих сторон.

Сорит, градация или силлогизм кучи есть такое доказательство, когда утверждается множество суждений таким образом, что последущее всегда нечто утверждает о предикате предыдущего до тех пор, пока последний предикат не будет отнесен к субъекту первого суждения. Поэтому подобное доказательство называют еще доказательством от первого к последнему. Например: "Петр есть животное, каждое животное есть живущее, каждое живущее есть тело, каждое тело есть субстанция, следовательно, Петр есть субстанция"

Некоторые добавляют сюда еще и удивительное доказательство Ферезиана (Pheresiana № 289, Peresiana № 291, Percsiana №290), но его можно свести к уже указанным нами видам доказательства.