Онтология математического дискурса   ::   Гутнер Г Б

Логическийход, на который обращает внимание Кассирер, сводится к процедуре абстракции, т.е. отвлечения от единичной вещи ("первой сущности") ряда свойств, общих для нее с другими вещами. Образование понятий связано, следовательно, с последовательно проводимым обеднением содержания и увеличением степени общности понятий. При таком подходе всякое рассуждение должно рассматриваться как работа с общими (абстрактными) представлениями, описывающими классы сходных между собой сущностей. В таком рассуждении сущность, обладающая свойствами, должна неизбежно рассматриваться как отправная точка и как конечная цель мысли. Мышление в понятиях исходит из сущности, как из носителя свойств, которые должно абстрагировать. С другой стороны оно направлено на то, чтобы лучше понять эту сущность, т.е. высказать о ней наиболее достоверное суждение.(См. примечание 2)Альтернативный способ образования понятий, описанный Кассирером, исходит из той посылки, что "никакое суммирование отдельных случаев не может создать то специфическое единство, которое мыслится в понятии" ([32], c. 38). Такое единство дается не абстракцией, а специфической логической формой, позволяющей произвести любой подпадающий под это единство предмет. Например, "логическая определенность числа "четыре" дана благодаря его нахождению в ряду идеальной - и потому вневременно-значащей - совокупности отношений, благодаря его месту в математически определенной числовой системе" ([32], c.39).