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