Аристотель как «создатель формальной логики»: что же именно было сделано?

Шиян Т.А. Аристотель как «создатель формальной логики»: что же именно было сделано? (резюме выступления на XXVII Ежегодной богословской конференции ПСТГУ. Секция «Философия Аристотеля и ее значение для христианского богословия»)

В докладе подверглась критическому рассмотрению общепринятая характеристика Аристотеля как "создателя формальной логики". Докладчик проанализировал наследие Аристотеля с точки зрения того, что же именно из его многочисленных открытий и нововведений можно трактовать как "создание" логики. С учетом того, что как сам термин "логика", так и соответствующая область античных философских исследований появляются достаточно позднее написания "логических" работ Аристотеля, и с учетом современных исследований по динамике научного знания, автор приходит к выводу, что "конституирующим вкладом" могут быть только методологические новации Аристотеля. Среди аристотелевских методологических новаций автор выделяет одну, ключевую новацию - использование буквенных обозначений терминов атрибутивных высказываний. Именно эта новация в качестве непосредственных эффектов дает описание логических форм атрибутивных высказываний и категорических силлогизмов, что позволяет Аристотелю в "Первой Аналитике" построить первую из известных нам формализованных теорий. Ключевая роль буквенных обозначений в аристотелевской логике была отмечена еще в античности (Александр Афродисийский, Аммоний Гермий, Иоанн Филопон). В докладе было также проанализировано, к какому типу буквенных обозначений, использующихся в современной логике и математике, ближе всего буквенные обозначения Аристотеля. По мнению автора доклада, это "параметры" - обозначения, используемые в качестве "констант" при задании логических языков, и в качестве "известных" величин в буквенной алгебре.


© Шиян Т.А., 2016.