Формальная логика Аристотеля

     Формальная  логика Аристотеля 
 

     1. Зарождение формальной логики 

     Аристотель  был отцом логики – науки о  формах нашего мышления как познавательной деятельности. Он был первый, кто  исследовал не только содержание мышления, но и его форму (формальная логика). Благодаря последующим работам прежде всего Боэция и Петра Испанского аристотелевская (формальная) логика стала основой всей традиционной логики. 

     2. Понятие, категория, суждение 

     На переднем плане у Аристотеля, как и у его учителя Платона, стоит понятие: оно, и только оно обозначает категорию. Аристотель об этом пишет так: "Любое сказанное отдельно слово обозначает либо сущность, либо количество, либо качество, либо отношение, либо место, либо время, либо состояние, либо обладание, либо действие, либо страдание".

     К логике Аристотеля обыкновенно относят  также и его учение о категориях, каковыми являются те высшие, наиболее общие понятия, при посредстве которых  мы мыслим все остальное. Уже у  Платона есть попытка обозрения  общих понятий, под которые подходят все остальные. Аристотель также попытался дать перечень тех общих точек зрения, понятий и отношений, без которых ничто не мыслится. Этих категорий, как назвал их Аристотель, 10. Самые важные категории суть первые 4: сущность, количество, качество, отношение. Остальные категории суть лишь виды отношений.

     Но  обычно слова связаны в предложения, которые называются суждениями, поскольку  являются либо истинными, либо ложными  высказываниями. 

     3. Дедукция и силлогизм 

     Такие суждения можно по определенным правилам соединять в заключения. Соединение двух суждений в третье называется силлогизмом. Первое и второе предложения – посылки (большая и малая), а третье – заключение. Цепочка заключений составляет доказательство. Этот метод – дедуктивный, т. е. идет от общего к частному. Целью науки, по Аристотелю, и должен быть необходимый вывод сущего из причины. Доказательство в аристотелевском смысле есть вывод. 

     4. Учение об индукции 

     В противоположность Платону для Аристотеля получение знания возможно и на пути индукции – через связывание имеющегося знания с чувственным опытом. И хотя цель науки – с необходимостью выводить частное из общих причин, путь туда ведет, однако, через индукцию. Аподиктична (убедительна) лишь уже построенная наука, но свои знания она извлекает из индукции.

     Индукция  ищет общее в пределах рода. Классифицировать все сущее позволяет определение (дефиниция). Она вводится через род  и видовые отличия (напр., "человек есть разумное живое существо"). Аристотель не только признавал необходимость индукции для науки, но даже полагал, что чем выше уровень науки, тем больше наука испытывает нужду в опоре на индукцию.

     Индукцию  Аристотель описывает так: "Индукция есть восхождение от отдельного к общему, например, если сведущий кормчий – наилучший и, опять-таки, сведущий возничий тоже наилучший, то и в любом деле вообще сведущий будет наилучшим".

     Взаимодействие  индукции и дедукции ведет к тому, что последовательность первичного и вторичного становится обратной: общее, первичное по природе, становится вторичным для нас (в познании) в качестве вторичного – особенного. Но самое первое и всеобщее (принцип) недоказуемо: "Принцип есть непосредственное положение доказательства. Непосредственным является то, первичнее которого не существует". Этот тезис введен, поскольку вывод вывода неизбежно ведет к регрессу в бесконечное. 

     5. Учение Аристотеля о научном  доказательстве 

     Таким образом, общие элементы мышления суть понятие, суждение и умозаключение, которое в особенности привлекло к себе внимание Аристотеля: его теория силлогизмов является существенной частью формальной логики, как она преподается еще в наши дни. Если мы сравним, что было в этой науке сделано Аристотелем и что до него, то найдем громадный шаг вперед. Сократ открыл логические принципы знания, Платон установил деление понятий, Аристотелю принадлежит учение о научном доказательстве. Все научные положения и должны выводиться из необходимых посылок, путем цепи посредствующих заключений, причем ни одно звено не должно быть пропущено. Это и есть доказательство. То, что известно нам из восприятий, должно быть понято из причин, и процесс научного познания должен логически воспроизвести отношение между причиной и ее следствием. Таким образом, логика является орудием, которым он хотел пользоваться для философского познания. Логика как учение о научном познании есть собственно не часть философии, а ее "Органон" (орудие). 

     6. Учение о логических системах 

     Аристотель  отчетливо исходит из того, что философию надо строить на последовательной, аксиоматической основе как единую систему. Этот метод будет применяться в философии Нового времени и станет на долгие века очевидным и само собой разумеющимся.