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

Обращение к категории структуры позволяет выделить в идее языка две составляющие. Прежде всего заметим, что как и в "чувственной" сфере, т.е. сфере конструкций, здесь возможно безграничное расширение структур. Каждая объемлющая конструкция, создаваемая для решения задачи о конструкции, построенной ранее, имеет свою структуру. Причем именно эта структура должна быть установлена (найдена) рефлектирующей способностью суждения. Последняя обнаруживает не конструкцию - ее затем строит воображение в соответствии с уже имеющейся структурой. Но также не находит она и понятие, поскольку одного понятия или общего правила явно недостаточно. Как мы уже говорили, наряду с общим правилом должна быть угадана связь его с уже построенной конструкцией. Нужно суметь, например, не приступая еще к выведению, предвидеть возможность вывода частных высказываний из общего постулата.

Следовательно, наряду с расширением дискурса происходит и расширение структур. Последнее, на наш взгляд позволяет распознать в идее языка две составляющие: синтаксис и семантику. Язык, существующий в "синтактическом измерении"(См. примечание 2) есть горизонт, очерчивающий возможности расширения дискурса или языковых конструкций. Понятия синтаксиса позволяют описать процедуру конструирования при наличии заданных правил. Проблема состоит в том, чтобы построить правильную языковую конструкцию, т.е. подвести единичный объект под данный общий закон. Синтаксис содержит определенные, на данный момент установленные, структуры, которые в виде общих правил предписываются рассудком способности воображения. Следовательно, говоря о синтактическом измерении языка, мы говорим о действии определяющей способности суждения.

Но каждая конструкция, будучи языковой, должна быть также рассмотрена как языковой знак.(См. примечание 3) Последнее означает, что конструкции может быть придан некоторый смысл. Если мы имеем в виду математический дискурс, то последнее легко показать на любом тексте математической задачи. Этот текст вполне можно проинтерпретировать в терминах, определяемых треугольником Фреге, поскольку он всегда указывает на некоторый единичный объект, называемый решением. Последнее есть референт данного знака. В частности алгебраическое уравнение указывает, как на референт, на свои корни, неравенство - на множество чисел, ему удовлетворяющих, и т.д. Заметим, что формулировка недоказанной еще теоремы также есть знак, который указывает, как на референт, на конструкцию, создаваемую в ходе построения (kataskeuh). При этом важно иметь в виду, что как знак следует рассматривать не только утверждение теоремы, но (по преимуществу) экспозицию и детерминацию. Но если действительная конструкция, создаваемая при решении задачи (при доказательстве теоремы), составляет референт этого знака, то структуру, актуализируемую в процессе ее построении, совершенно естественно назвать смыслом. Именно структура должна занимать место в третьей вершине треугольника Фреге.

Поскольку речь здесь идет о решении задачи, т.е. о построении новой структуры (а не о подведении объекта под уже имеющуюся и предписываемую рассудком в виде общего правила), то вся сфера смысла должна быть связана с действием рефлектирующей способности суждения. Под смыслом следует понимать еще не данное, но лишь искомое правило. Если же задача решена и правило установлено, то всякое последующее обращение к ней будет производится уже определяющей способностью суждения. Решение задачи означает, следовательно, переход рассмотрения языкового знака из семантического измерения в синтактическое, поскольку именно синтаксис является сферой использования предписанных правил. Именно таким правилом является, например, ранее доказанная теорема.

Указанное различие синтактического и семантического измерений позволяет различить понятия структуры и трансцендентальной схемы, вводимой в "Критике чистого разума". Схему, на наш взгляд, уместно рассматривать как коррелят готового правила. Схема всегда задана вместе с понятием рассудка и использование схем есть задача определяющей способности суждения. Структура еще не задана, а должна быть угадана рефлектирующей способностью суждения, однако будучи раз угадана, она становится схемой.

Рассмотрев, таким образом, онтологические категории, мы видим, что математическая онтология имеет естественную лингвистическую (или, по крайней мере, семиотическую) интерпретацию. Ранее мы говорили, что решение задачи, рассматриваемое как построение объемлющего дискурса, есть способ установить существование некоторого объекта. Теперь мы видим, что решение вопроса о существовании связано с переменой семиотического статуса языкового знака, переход их сферы семантики в сферу синтаксиса. Объект, существование которого установлено, сам может быть предъявлен в виде знака. Если до построения речь шла об отношении знака к смыслу (к невыявленной еще структуре), то после него это же самое отношение уже может быть рассмотрено как отношение знаков.