История философии. Древняя Греция и Древний Рим. Том II. Фредерик Коплстон

что «для нас умозаключение через наведение более наглядно»⁷, его идеалом оставался дедуктивный силлогизм, основанный на доказательстве. Он провел тщательный анализ дедуктивного вывода очень высокого уровня, чего нельзя сказать об индукции. Конечно же для Древнего мира это было совершенно естественно, поскольку математика в то время была развита гораздо сильнее, чем естествознание. Тем не менее, заявив, что мы не можем познать универсальное с помощью чувственного восприятия, как такового, Аристотель указывает, что, наблюдая за группой сходных объектов или за явлением, которое часто повторяется, мы можем с помощью абстрактного мышления получить знание о сущности этого явления и его причине.

      6. В «Первой аналитике» Аристотель исследует формы умозаключений. Он определяет силлогизм как «фигуру речи, в которой если нечто предположено, то нечто отличное от положенного с необходимостью вытекает из него»⁸.

      Он приводит пример трех фигур силлогизмов:

      i) Средний термин (М) является субъектом (S) в одной посылке и предикатом (P) – в другой. Например: М – это P, S – это М, значит, S – это P. Все животные – это живые существа, человек – это животное. Значит, каждый человек – это живое существо.

      ii) Средний термин является предикатом в обеих посылках. P – это М, S – это не М, значит, S – это не P. Все люди умеют смеяться. Лошади не умеют смеяться. Значит, лошадь – это не человек.

      iii) Средний термин является субъектом в обеих посылках. М – это Р, М – это S, значит, S – это Р. Все люди умеют смеяться. Но все люди – это животные. Значит, некоторые животные умеют смеяться.

      В «Топике» Аристотель говорит о разнице между действительным доказательством («когда умозаключение строится из истинных и первых [положений] или из таких, знание о которых берет свое начало от тех или иных первых и истинных [положений]») и диалектическими умозаключениями, «которые строятся на основе общепринятого [мнения]… всеми или большинством людей или самыми мудрыми и славными из них». Аристотель добавляет третий вид умозаключений – эристические, или «спорные» («которые кажутся правдоподобными, но на деле не таковы»). Третий вид подробно рассматривается в книге «Софистические опровержения», где Аристотель исследует, классифицирует и разоблачает различные виды ложных аргументов.

      7. Аристотель хорошо понимал, что дедуктивные посылки сами нуждаются в доказательстве, однако, если мы начнем доказывать каждый принцип, нам придется доказывать до бесконечности, и мы не сможем доказать ничего. Он утверждал поэтому, что существует ряд принципов, которые мы знаем интуитивно и принимаем без демонстрации. Самый высший из этих принципов – это принцип противоречия. Эти принципы не нуждаются в доказательствах. Например, логическая форма принципа противоречия – «Из двух предположений, одно из которых утверждает что-то, а другое – его отрицает, одно должно быть истинно, а другое ложно» – не является доказательством этого принципа в его метафизической форме – «невозможно, чтобы одно и то