![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
В «Первой Аналитике» Аристотель применил семиотический прием, порождающий знаки особого вида, называемые в современной логике параметрами. Этот прием состоит в использовании букв (или иных значков и их сочетаний) для замещения частей анализируемого выражения. В «Первой Аналитике», как известно, в качестве анализируемых выражений выступали атрибутивные высказывания, а в качестве выражений, замещаемых при помощи букв греческого алфавита, — термины. Такой шаг позволил Аристотелю записывать атрибутивные высказывания в обобщенном виде (в современной терминологии, логические формы атрибутивных высказываний) и благодаря этому построить первое в истории учение о формальном выводе (о рассуждениях между атрибутивными высказываниями). Уже Александр Афродисийский, Аммоний, Фило- пон указывают на использование букв как на характерную черту перипатетической логики. Традиционное для историков математики неразличение параметров и переменных, а также параметров и условных имен приводит историков математики и логики к непониманию вклада, который Аристотель внес в приемы логических и математических обозначений. В докладе предполагается (1) более детально разобрать отличие параметров как знаков особого вида от неизвестных и переменных, с одной стороны, и от условных имен, с другой, и, благодаря этому, (2) более точно выделить вклад именно Аристотеля в развитие европейской семиотической культуры.