Словарь по логике

Аристотель

Аристотель из Стагиры, Стагирит, Aristoteles (384 до н.э., Стагира - 322 до н.э., Халкида, о. Эвбея)
 
Др.-греч. философ, создатель логики и многих других дисциплин. Родился в 384 г. до н.э. в Стагире в семье придворного македонского врача. В 367 г. до н.э. стал учеником философской школы Платона, а впоследствии и ее преподавателем. Считается, что многие работы и, видимо, все дошедшие до нас логические работы были написаны Аристотелем еще во время пребывания в Академии. После смерти Платона в 349/347 г. ряд его учеников (в том числе, Аристотель и будущий схоларх Академии Ксенократ) уезжает преподавать в философскую школу в Ассосе (Малая Азия). Аристотель проводит там ок. 3 лет. Потом Аристотель, видимо, путешествует, возвращается в Стагиру и становится воспитателем Александра Македонского. После воцарения Александра и восстановления македонской гегемонии в Греции, в 335 г. до н.э. Аристотель возвращается в Афины и основывает при афинском гимнасии Ликей (в средневековом чтении - Лицей) собственную философскую школу. Помимо Ликея, другое название школы - "Перипата" - по одной версии, происходит от традиции проводить занятия во время прогулок, по другой, - от типа здания, где впоследствии стала размещаться школа (крытая галерея для прогулок). После смерти Александра Македонского в 323 г. до н.э. Аристотель уезжает в свое имение в Халкиду на о. Эвбея, где и умирает в 322 г.
Вскоре после смерти Аристотеля его работы выпадают из философского дискурса и вновь публикуются Андроником Родосским в I в. до н.э. Труды по логике, приписываемые Аристотелю ("Топика", "Категории", "Об истолковании", "Первая аналитика", "Вторая аналитика" и "Софистические опровержения"), в поздней античности были объединены под общим названием "Органон" (орудие, инструмент).
Аристотель создал логику как науку о правильных рассуждениях (хотя создателем логики как искусства рассуждать сам Аристотель называл Зенона из Элеи). В "Первой аналитике" описал систему модальной силлогистики (самая ранняя из известных нам дедуктивных теорий). Для модальной части аристотелевской силлогистики до сих пор не найдено адекватной формализации. Сингулярная и негативная силлогистика Аристотелем была дана лишь фрагментарно.
Согласно античным авторам (Александр, Филопон, Аммоний, мнение которых разделял и Лукасевич) первым в логике (и, видимо, в науке вообще) применил переменные (параметры) (для обозначения терминов).
Аристотель высказал тезис (как мы сегодня знаем, ложный) о соотношении полноты и разрешимости теорий: если теория семантически полна, то она разрешима относительно доказательства ("Первая аналитика", I 30, 46 a 24-27).
Некоторые использованные источники: Шичалин Ю.А. История античного платонизма в институциональном аспекте. Адо П. Что такое античная философия? Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики; Маркин В.И. Силлогистические теории в современной логике. М., 1991.

© Автор статьи.