ніцію: А в мові S володіє тим же змістом, що А в мові S тоді і тільки тоді, коли А є вираженням мови S, А - виразом мови S і існує відношення R, з урахуванням якого S перекладається в S і А знаходиться в відношенні R до А. p> Певне вище відношення равноосмисленності є відношенням рівності, тобто рефлексивним, симетричним і транзитивним; отже, на основі цього відносини можна визначити сенс як сімейство класів (властивостей) абстракції по відношенню равноосмисленності. На підставі цієї дефініції можна сказати: сенс А в мові S - це те властивість А в мові S, яке притаманне деякого А в мові S тоді і тільки тоді, коли А в S равноосмисленно з А в S. p> Оскільки можна взаємно відобразити матриці всіх взаємно перекладаються мов, то можна сказати, що всі такі матриці ізоморфні, або ж, що вони мають одну і ту ж структуру. З метою більш виразного представлення структури матриці позначимо послідовності виразів, що знаходяться в рядках матриці, номерами, і зробимо це таким чином: послідовності, що входять до рядка першої (Аксіоматичної) частини позначимо арабськими цифрами, починаючи з "1". Послідовності, що знаходяться в рядках другий (дедуктивної) частини, також позначимо, починаючи з "1", арабськими цифрами, але послідовність, що знаходиться в цьому рядку на першому місці, отримає цю цифру з одним штрихом (Наприклад, 2), тоді як послідовність, що знаходиться на другому місці, отримає цю ж цифру з двома штрихами (наприклад, 2). Послідовності виразів, знаходяться в третій (емпіричної) частини позначимо римськими цифрами, знову ж починаючи з "I". Що знаходиться на початку рядка дане досвіду отримає цю ж римську цифру з додаванням з правого боку нуля, відокремленого від римської цифри комою (наприклад, нехай "II, 0"). p> Крім цього, нехай вираження кожної послідовності будуть одне за іншим пронумеровані (Незалежно від залишилися послідовностей) арабськими цифрами, починаючи з "1". Для однозначної характеризації місця, займаного яких-небудь виразом в нашій матриці, досить привести номер відповідної послідовності (що містить цей вираз), а також номер, що відповідає цьому виразу у послідовності. Таким чином, кожна позиція в матриці однозначно визначена парою номерів. Якщо, наприклад, ми хочемо привести все позиції, які займає вираз е у вище наведеній матриці, то робимо це за допомогою наступних пар номерів:
(2, 6) (1, 1) (2, 6) (3, 1) (II, 1). p> З цього моменту ці пари номерів будемо називати позиціями матриці. Припустимо, що ми когось поінформували, як це зроблено вище, про сенс цих пар номерів. Проінформуємо ще, які позиції потрібно заповнити однаково звучать виразами. Це можна зробити наступним чином: поділимо всі позиції матриці на класи так, що позиції, що належать одному класу, повинні бути заповнені одним і тим же чином, тоді як дві позиції, що належать різним класам, повинні бути заповнені різним чином. По-друге, скажемо ще, якими досвідченими даними слід заповнювати позиції типу: "римська цифра, нуль". Проінформована таким чином ос...
