Аристотель

Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию.

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

1. Категории 2.Герменевтика 3. Первая Аналитика 4. Вторая Аналитика. 5. Топика 6. О софистических опровержения.

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

Значительное место в логическом наследии Аристотеля занимает учение о формах мышления. Суждением он называл высказывание о наличии или отсутствии чего-то в чем-то. В языковом контексте суждения всегда является истинным или ложным высказываниям. Термины "истина" и "ложь", по мнению Аристотеля, не могут применяться к ощущения, восприятия и интуиций ума. Однако не каждое предложение он считал суждением. В вопросительных и побудительных предложениях не содержится значение истинности или ложности, следовательно они не являются суждениями.

Крупнейшим достижением в области логики Аристотель считал открытие силлогизма, т.е. рассуждение, в котором при утверждении любого из него необходимо вытекает несколько отличное от того, что утверждается, и именно вследствие того, что это есть. Такое отличное не требует никакого постороннего срока, чтобы следовать из имеющихся суждений с необходимостью. Аристотель подает и более узкое определение силлогизма как умозаключения, в котором один из терминов должен содержаться в утвердительном предпосылки и один должен быть взят в полном объеме, поскольку без общего предпосылки корректный силлогизм невозможен. Силлогизмы первой фигуры он считал совершенными. Аристотель сформулировал следующие общие правила силлогизма:

- Если оба предпосылки отрицательные или частичные, то из них невозможно сделать вывод;

- В силлогизме один посылка должна быть общим, другой утверждающим;

- В силлогизме должно быть три и не более сроки.

Аристотелевская силлогистика была первой дедуктивной системой. Она заложила фундамент формализации процессов мышления и тем самым создала основы формальной логики как науки о законах и формах правильного мышления. На этой системе базировалась концепция исчисления предикатов в современной математической логике. Хотя Аристотель существенно опирался в логических исследованиях на идеи Гераклита, Демокрита, Платона и других древнегреческих мыслителей, он, бесспорно, является новатором, автором гениальных открытий в области логики. Он впервые изложил положения логики в систематическом виде, поэтому по праву считается основоположником логики как науки.