1) "p q . . p q", 2) " ", 3) "p q", 4) " ", 5) "p", 6) "q", 7) " p q", 8) " ",
9) " p", 10) " ", 11) "p", 12)"q".
Вторая часть матрицы, соответствующая дедуктивным правилам смысла, состоит из строк, каждая из которых является упорядоченной парой последовательностей. Вместе с тем, эти последовательности определены на области, или же соответственно кообласти, дедуктивных правил смысла так же, как строки, образующие первую часть нашей матрицы, определены на области аксиоматических правил смысла.
Третья часть матрицы состоит из пар, каждая из которых содержит в качестве первого члена данное опыта, тогда как в качестве второго - последовательность выражений предложения (а также само предложение), подчиненного этому данному опыта посредством эмпирического правила смысла.
Привести пример матрицы фактически существующего языка было бы чрезвычайно трудно. Однако мы изобразим язык, в котором существует небольшое количество выражений (допустим, одиннадцать), обозначенных первыми одиннадцатью литерами алфавита. Ограничим количество данных опыта, существенных для этого языка, до трех и обозначим их , , ?. Тогда матрица этого языка могла бы иметь такой вид:
Из этой таблицы видно, что в этом языке имеется только пять предложений, а именно - a, d, e, h, i; при этом предложение а содержит выражения b, c; предложение e - выражения f, g; h является предложением, образованным из одного слова, d является предложением, соединяющим предложение а с предложением е при помощи функтора k; наконец предложение i содержит выражения j и b.
Из этой матрицы также видно, что 1) аксиоматические правила смысла содержат в своей области два предложения, в частности а и d, т.е. нужно быть готовым признать эти два предложения, невзирая на обстоятельства, если нет намерения нарушать подчинения смыслов, присущих этому языку; 2) дедуктивные правила смысла требуют готовности выведения предложения e из предложения а, предложения i из предложения d и предложения h из предложения e, если не должно быть нарушено присущее языку подчинение смыслов; и наконец 3) эмпирические правила смысла требуют готовности признать предложение h равно как относительно данных опыта , так и ?, а также признания предложения е относительно данных опыта , если имеющиеся в языке смыслы не должны быть нарушены.
Сейчас мы устанавливаем дефиницию переводимости двух языков, причем для упрощения не будем принимать во внимание такие языки, в которых имеются синонимы. Дефиницию, принимающую во внимание такие языки, мы приведем ниже мелким шрифтом.
Языки S и S являются взаимно переводимыми посредством отношения R тогда и только тогда, когда R есть одно-однозначное отношение, которое каждому выражению S ставит в соответствие выражение S , и наоборот таким образом, что матрица S (или же S ) переходит в матрицу S (или же S), если в ней заменить все выражения выражениями, подчиненными им посредством R.
Два выражения языка мы называем синонимами, когда они являются изотопами в матрице языка, т.е. когда матрица [с точностью] до порядка строк остается неизменной, если мы совершим взаимный обмен обоих этих выражений.
Дефиниция переводимости, принимающая во внимание также и языки, содержащие синонимы, звучала бы так: S и S взаимно переводимы с учетом R тогда и только тогда, когда 1) S и S суть языки и классы всех их выражений можно поделить на два подкласса так, что выражения из первого подкласса ни в коем случае не являются между собой синонимами, а каждое выражение второго подкласса (который может оказаться пустым классом) является синонимом какого-то выражения первого подкласса; 2) R является одно-однозначным отношением, которое каждому выражению первого подкласса языка S ставит в соответствие выражение первого подкласса языка S таким образом, что если в матрице языка S (или же S ) заменить каждое принадлежащее области отношения R выражение языка S (или же S ) выражением языка S (или же S), сопоставленное ему R, то получится матрица, которая отличается от матрицы языка S (или же S) не более, чем изотопными выражениями. Мы говорим, что матрица отличается от другой матрицы не более чем изотопными элементами, если обе матрицы можно преобразовать в одну матрицу следующей операцией: выбираем в каждом классе взаимно изотопных элементов один из них, положим а, и вычеркиваем в матрице все строки, содержащие изотопный с а элемент , но оставляем незачеркнутыми те строки, которые содержат а, но не содержат ни одного изотопного с а элемента.
Сейчас мы приводим дефиницию: А в языке S обладает тем же смыслом, что А в языке S тогда и только тогда, когда А является выражением языка S, А - выражением языка S и существует отношение R, с учетом которого S переводимо в S и А находится в отношении R к А .
Определенное выше отношение равноосмысленности является отношением равенства, т.е. рефлексивным, симметричным и транзитивным; следовательно, на основе этого отношения можно определить смысл как семейство классов (свойств) абстракции по отношению равноосмысленности. На основании этой дефиниции можно сказать: смысл А в языке S - это то свойство А в языке S, которое присуще некоторому А в языке S тогда и только тогда, когда А в S равноосмысленно с А в S.
Поскольку можно взаимно отобразить матрицы всех взаимно переводимых языков, то можно сказать, что все такие матрицы изоморфны, или же, что они имеют одну и ту же структуру. С целью более выразительного представления структуры матрицы обозначим последовательности выражений, находящиеся в строках матрицы, номерами, и сделаем это следующим образом: последовательности, входящие в строки первой (аксиоматической) части обозначим арабскими цифрами, начиная с "1". Последовательности, находящиеся в строках второй (дедуктивной) части, также обозначим, начиная с "1", арабскими цифрами, но последовательность, находящуюся в этой строке на первом месте, получит эту цифру с одним штрихом (например, 2 ), тогда как последовательность, находящаяся на втором месте, получит эту же цифру с двумя штрихами (например, 2 ). Последовательности выражений, находящиеся в третьей (эмпирической) части обозначим римскими цифрами, опять же начиная с "I". Находящееся в начале строки данное опыта получит эту же римскую цифру с добавлением с правой стороны нуля, отделенного от римской цифры запятой (например, пусть "II,0").
Кроме этого, пусть выражения каждой последовательности будут одно за другим пронумерованы (независимо от оставшихся последовательностей) арабскими цифрами, начиная с "1". Для однозначной характеризации места, занимаемого каким-либо выражением в нашей матрице, достаточно привести номер соответствующей последовательности (содержащей это выражение), а также номер, соответствующий этому выражению в последовательности. Таким образом, каждая позиция в матрице однозначно определена парой номеров. Если, например, мы хотим привести все позиции, которые занимает выражение е в выше приведенной матрице, то делаем это при помощи следующих пар номеров:
(2, 6) (1 , 1) (2 , 6) (3 , 1) (II, 1).
С этого момента эти пары номеров будем называть позициями матрицы. Допустим, что мы кого-то проинформировали, как это сделано выше, о смысле этих пар номеров. Проинформируем еще, какие позиции нужно заполнить одинаково звучащими выражениями. Это можно сделать следующим образом: поделим все позиции матрицы на классы так, что позиции, принадлежащие одному классу, должны быть заполнены одним и тем же образом, тогда как две позиции, принадлежащие разным классам, должны быть заполнены различным образом. Во-вторых, скажем еще, какими опытными данными следует заполнять позиции типа : "римская цифра, ноль". Проинформированная таким образом особа сможет запроектировать различные матрицы, которые однако будут между собой разниться не более, чем словесным звучанием отдельных выражений и которые можно будет взаимно свести друг к другу посредством соответствующего одно-однозначного словарного отношения. На основании приведенной информации можно запроектировать матрицу всех языков, переводимых на данный язык. Такая информация содержала бы всё и только то, что обще матрицам всех языков, переводимых на данный язык, но умалчивала бы исключительно их индивидуальные свойства.
То, что обще всем таким матрицам, мы назовем их структурой. Что содержит наша информация? Мы привели класс позиций, которые должны быть заполнены одинаково звучащими выражениями и подчиненность некоторых данных опыта позициям типа "римская цифра, ноль". Итак, можно сказать: "совокупность[9] (Zusammenfassung) всех классов позиций выражений, которые должны быть заполнены одинаково звучащими выражениями (короче: классы равных позиций), и соответствий между данными опыта и позициями типа "римская цифра, ноль" - это структура матрицы. Смыслом А в S мы назвали то свойство, которое имеет А в S общим со всеми равноосмысленными А в S и только с ними. Из того, что сказано выше ясно, что это свойство заключается в занятии в матрице с данной структурой одной из тех позиций, которые принадлежат к данному классу равных позиций. Данный смысл однозначно определен заданием класса равенств позиций и структурой матрицы. Можно было склоняться к высказыванию, что смысл - это пара "класс равенств (Gleichklasse), структура". Если приведена структура матрицы, то тем самым однозначно очерчен класс всех пар "класс равенств, структура", а тем самым - класс всех смыслов, присущих выражениям языка с этой структурой. Но [верно] также и обратное.
Выше мы ввели термин "понятийный аппарат", понимая под этим класс всех смыслов, принадлежащих выражениям замкнутого и связного языка. Относительно того, что сказано выше, можно сформулировать следующее: структура матрицы и понятийный аппарат взаимно определимы.
Сейчас напрашивается вопрос, который мог бы кто-нибудь задать в отношении матрицы, если ему действительно предъявили бы все классы позиций выражений, которые следует соответствующим образом заполнить, но вместо соответствий между местами типа "римская цифра, ноль" и данными опыта предъявить только классы позиций типа "римская цифра, ноль", которые следует заполнить таким же образом. Матрицы, которые могли бы быть образованы на основе этих данных, отличались бы не только словесным звучанием выражений, но могли бы на одних и тех же местах типа "римская цифра, ноль" содержать иные опытные данные. Тогда это не были бы матрицы взаимно переводимых языков. Однако все эти языки отличались бы между собой не более, чем эмпирическими правилами смысла, тогда как в дискурсивных правилах смысла (так были названы, как уже упоминалось, все неэмпирические правила смысла) они были бы согласованы. Класс всех классов, к которым принадлежат позиции выражений, которые должны быть единообразно заполнены, т.е. класс классов равенств будем называть дискурсивной структурой языка. В отличие от этого класс всех классов позиций типа "римская цифра, ноль", которые должны быть одним и тем же образом заполнены, мы назовем эмпирической структурой языка.