Учение Аристотеля о логике
Один из величайших ученых и философов древности — Аристотель (384—322 до н. э.). Он родился в городе Стагире, поэтому его называют Стагиритом. Глубокие сочинения Аристотеля посвящены многообразным отраслям современного ему знания: философии, логике, физике, астрономии, биологии, психологии, этике, эстетике, риторике и другим наукам. Общее число написанных им работ около тысячи.
В течение 20 лет Аристотель был учеником в школе Платона. Через 12 лет после смерти Платона Аристотель основал в Афинах свою философскую школу (перипатическую, или Ликей).
Аристотель впервые дал систематическое изложение логики. Логику Аристотеля называют «традиционной» формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории аргументации, гипотеза. Основными работами Аристотеля по логике являютсяя«Первая аналитика»
и «Вторая аналитика», в которых даны теория силлогизма, определение и деление понятий, теория доказательства. Логическими сочинениями Аристотеля являются также «Топика», содержащая учение о вероятных «диалектических» доказательствах, «Категории», «Об опровержении софистических аргументов», «Об истолковании». Византийские логики позже объединили все перечисленные работы Аристотеля под общим назанием «Органон» (орудие познания) '.
Законы правильного мышления — закон тождества, закон непротиворечия, закон исключенного третьего — Аристотель изложил также в своем главном произведении «Метафизика». Первоначально он рассматривал законы мышления как законы бытия, а логические формы истинного мышления считал отображением реальных отношений.
Для Аристотеля истина есть соответствие мысли действительности. Истинным он считал суждение, в котором понятия соединены между собой так, как связаны между собой вещи в природе. А ложным — суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. Аристотель, опираясь на эту концепцию истины, создал свою логику. В «Аналитиках» Аристотель довольно основательно разрабатывает модальную логику и дает описание силлогизмов из гипотез.
По характеристике В. И. Ленина, логика Арий-отеля есть движение мысли — «запрос, искание... поиски, колебания, приемы постановки вопросов». Сила его учения в том, что в нем содержатся «живые зачатки и запросы диалектики»^.
Аристотель видел в логике орудие, или метод, исследования. Основным содержанием аристотелевской логики является теория дедукции. В логике Аристотеля содержатся элементы математической (символической) логики, у него имеются начатки исчисления высказываний
Дальнейшая разработка логики высказываний, и в том числе теории условных и разделительных умозаключений, была осуществлена логиками мегаростоической школы (учение, известное под названием «логики стоиков»). Основатели Стой — Зенон (333—261 до н.э.) и Хризипп (281/78—208/05 до н. э.). Мегарики: Диодор, Стилпон, Филон и Евбулид.