Логика Аристотеля

Для Аристотеля логика не отдельная наука, а орудие всякой науки.

В логических исследованиях Аристотеля интересовали три проблемы: вопрос о методе знания или диалектика; вопрос о двух основных методах выяснения знания достоверного, эти методы – определение и доказательства; вопрос о месте нахождения посылок знания, это индукция. Важная часть логики Аристотеля – его учение о понятии и о предложении.

Задача логики исследование и указание методов, при помощи которых известное данное может быть сведено к элементам, способным стать источником его объяснения.

Формы мышления: понятие, суждение, умозаключение.

Аристотель классифицирует высказывания на 4 группы: утвердительные истинные, отрицательные истинные, утвердительные ложные, отрицательные ложные. Взаимоотношения между ними определяются тремя законами формальной логики: закон тождества - логические выводы надёжны лишь при условии, что все понятия (термины) в пределах рассуждения имеют один и тот же смысл; закон запрета противоречия - не могут быть
одновременно истинными два противоположных высказывания об одном и том же предмете; закон исключённого третьего - из двух противоположных высказываний об одном и том же предмете одно непременно истинно.

На основе законов логики Аристотель строит учение о категорическом силлогизме (буквально: о сосчитывании высказываний). Смысл силлогизма состоит в том, что в нём два крайних термина S и P соединяются посредством третьего M, общего обеим посылкам. В итоге получается определение, называемое выводом.

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

(Все люди смертны (большая посылка); Сократ - человек (меньшая посылка);=> Сократ смертен (заключение)).

ни одна рыба не разумна; все акулы – рыбы => ни одна акула не разумна

Все люди разумны; некоторые животные суть люди; => некоторые животные разумны

Ни один грек не черен; некоторые люди суть греки; => некоторые люди не черны.

Ошибки:

-Сократ смертен, а кто видел его смерть? Все люди смертны – убить всех людей, чтоб доказать.

-Предикат предиката может быть предикатом исходного субъекта.

-Силлогизм - лишь один из видов дедуктивного доказательства (математика дедуктивная, но построена не на силлогизмах).