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

Френкель и Бар-Хиллел указывают, что такими интуициями для Гильберта являются первичные представления о тождестве и различии, а именно о самотождественности знака, который должен быть опознан как один и тот же при разных вхождениях в формулы и при этом отлич?н от всякого другого знака. Действительно, всякое конструирование объекта, коль скоро оно сводится к комбинирований некоторых элементарных конфигураций, подразумевает, прежде всего, способность видеть различия между разными конфигурациями и уверенно опознавать одну и ту же в различных обстоятельствах. Здесь однако уместны следующие два замечания. Во-первых, названные элементарные конфигурации, строго говоря, не являются уже знаками. Точнее, они могут быть названы знаками в силу их происхождения, поскольку именно в качестве знака выступали для математического рассуждения. В нем они действительно обозначают нечто иное - математический объект, о котором ведется рассуждение. Но как только само математическое рассуждение превращается в объект, т.е. становится предметом метаматематического рассуждения, эти знаки уже ничего не обозначают. Они выступают лишь как первичные структурные элементы, из которых складывается, как из деталей конструктора, исследуемое математическое рассуждение.

Во-вторых, сами эти знаки (или псевдо-знаки) очевидно оказываются объектами. Они конструируются как некоторые графические конфигурации и в качестве таковых уже сами являются предметами рассуждения.