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

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

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

3. Фундаментальное продвижением в проблеме, о которой здесь идет речь, было подготовлено изобретением в конце ХIХ и начале ХХ столетий для "сравнительно обширных" фрагментов естественных языков таких моделей, которые, абстрагируясь от весьма многих черт естественных языков и представляя собой "искусственные" языки с отчетливо определенными и сравнительно простыми синтаксисами, делали вполне обозримыми "смысловые аспекты" языковых конструкций (особенно при использовании деревьев синтаксического разбора). Здесь в первую очередь имеются в виду логико-предметные языки типа языка исчисления предикатов 1-й ступени (вообще говоря,с предметными константами и предметными переменными нескольких родов и с константами как для конкретных предикатов, так и для конкретных предметных функций).

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

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

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

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

Назов╦м ситуации этого типа вполне финитарными.

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

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

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

6. При вполне финитарных ситуациях распространенным способом выражения некоторых знаний о тех или иных введенных в рассмотрение объектах и процедурах является следующий процедурный способ: описывается некоторая, вообще говоря, многошаговая процедура, "составляемая" в том или ином смысле из исходных процедур и сформулированная применительно к выбранному набору предметных констант; это описание дополняется сообщением об ожидаемом результате.

В практике языкового выражения конкретных знаний сформировался определенный стандартный ожидаемый результат (вообще говоря, не произносимый, но подразумеваемый при сообщении собеседнику конкретного знания с утвердительной интонацией) - это сигнал  да (в некоторых контекстах - сигнал истина). Суждения - это языковые конструкции, приспособленные именно к такому способу сообщения знаний.

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

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

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

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

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