|
В «Топике» Аристотель говорит о разнице между действительным доказательством («когда умозаключение строится из истинных и первых [положений] или из таких, знание о которых берет свое начало от тех или иных первых и истинных [положений]») и диалектическими умозаключениями, «которые строятся на основе общепринятого [мнения]… всеми или большинством людей или самыми мудрыми и славными из них». Аристотель добавляет третий вид умозаключений – эристические, или «спорные» («которые кажутся правдоподобными, но на деле не таковы»). Третий вид подробно рассматривается в книге «Софистические опровержения», где Аристотель исследует, классифицирует и разоблачает различные виды ложных аргументов. 7. Аристотель хорошо понимал, что дедуктивные посылки сами нуждаются в доказательстве, однако, если мы начнем доказывать каждый принцип, нам придется доказывать до бесконечности, и мы не сможем доказать ничего. Он утверждал поэтому, что существует ряд принципов, которые мы знаем интуитивно и принимаем без демонстрации. Самый высший из этих принципов – это принцип противоречия. Эти принципы не нуждаются в доказательствах. Например, логическая форма принципа противоречия – «Из двух предположений, одно из которых утверждает что-то, а другое – его отрицает, одно должно быть истинно, а другое ложно» – не является доказательством этого принципа в его метафизической форме – «невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении». Это просто констатация факта, что никто не может сомневаться в принципе, лежащем в основе всякого мышления. И так, мы имеем: i) главные принципы, полученные ?????; ii) то, что вытекает с необходимостью из главных принципов, полученное с помощью индукции, и iii) то, что возможно или наоборот и что является предметом мнения. Однако Аристотель видел, что главная посылка силлогизма, например «Все люди смертны», не может быть выведена непосредственно из главных принципов – она также основана на индукции. Это подразумевает реалистскую теорию универсалий, и Аристотель утверждает, что индукция показывает, как общее проявляется в известном нам единичном. 8. В книге, подобной этой, нет возможности подробно изложить логику Аристотеля, однако необходимо отметить, какой огромный вклад внес Аристотель в эту область науки, особенно в учение о силлогизме. Логическим анализом занимались и в Академии, особенно в связи с теорией Форм (стоит только вспомнить дискуссию в диалоге «Софист»), но именно Аристотель констатировал логику как отдельную науку, а также открыл и исследовал фундаментальную форму умозаключения – силлогизм. Его теория силлогизма не потеряла своего значения и поныне, и, даже если бы Аристотель, кроме нее, не создал бы ничего другого, его имя навечно вошло бы в историю. Однако справедливости ради надо признать, что Аристотель подверг исчерпывающему анализу не все дедуктивные процессы, так как классический силлогизм предполагает наличие: i) трех предположений, в субъектной и предикативной форме; ii) трех терминов, из которых предположение берет как субъект, так и предикат и в данном случае определяет, в какой форме два предположения содержит третий: а) только в логической форме либо b) в форме примыкающего экзистенциального утверждения, как в модусе Darapti. — 13 —
|