6. В «Первой аналитике» Аристотель исследует формы умозаключений. Он определяет силлогизм как «фигуру речи, в которой если нечто предположено, то нечто отличное от положенного с необходимостью вытекает из него»8.
Он приводит пример трех фигур силлогизмов:
i) Средний термин (М) является субъектом (S) в одной посылке и предикатом (P) – в другой. Например: М – это P, S – это М, значит, S – это P. Все животные – это живые существа, человек – это животное. Значит, каждый человек – это живое существо.
ii) Средний термин является предикатом в обеих посылках. P – это М, S – это не М, значит, S – это не P. Все люди умеют смеяться. Лошади не умеют смеяться. Значит, лошадь – это не человек.
iii) Средний термин является субъектом в обеих посылках. М – это Р, М – это S, значит, S – это Р. Все люди умеют смеяться. Но все люди – это животные. Значит, некоторые животные умеют смеяться.
В «Топике» Аристотель говорит о разнице между действительным доказательством («когда умозаключение строится из истинных и первых [положений] или из таких, знание о которых берет свое начало от тех или иных первых и истинных [положений]») и диалектическими умозаключениями, «которые строятся на основе общепринятого [мнения]… всеми или большинством людей или самыми мудрыми и славными из них». Аристотель добавляет третий вид умозаключений – эристические, или «спорные» («которые кажутся правдоподобными, но на деле не таковы»). Третий вид подробно рассматривается в книге «Софистические опровержения», где Аристотель исследует, классифицирует и разоблачает различные виды ложных аргументов.
7. Аристотель хорошо понимал, что дедуктивные посылки сами нуждаются в доказательстве, однако, если мы начнем доказывать каждый принцип, нам придется доказывать до бесконечности, и мы не сможем доказать ничего. Он утверждал поэтому, что существует ряд принципов, которые мы знаем интуитивно и принимаем без демонстрации. Самый высший из этих принципов – это принцип противоречия. Эти принципы не нуждаются в доказательствах. Например, логическая форма принципа противоречия – «Из двух предположений, одно из которых утверждает что-то, а другое – его отрицает, одно должно быть истинно, а другое ложно» – не является доказательством этого принципа в его метафизической форме – «невозможно, чтобы одно и то