I). За наявності правил III, тобто при заданому розумінні логічних констант, що визначають тип мови, різні інтерпретації породжують із заданої синтаксичної системи фактично різні мови даного типу (у яких використовується щоразу лише якась частина вихідних дескриптивних символів).
На закінчення даного розділу, що стосується семантики мови, важливо помітити, що хоча правила приписування значень виразів мови, складових у сукупності цю семантику, орієнтовані на приписування значень в якихось конкретних випадках, їх основне значення полягає в тому, що вони вказують загальні принципи, загальні способи перетворення формул мови в осмислені вирази. При такому тлумаченні зазначених правил семантика являє собою теорію означування виразів даної мови (яку називають також теорією референції).
Дані вище роз'яснення щодо тих смислів, які формули отримують при інтерпретації, вказують на принципи перекладу висловлювань мови логіки предикатів на природну мову. Однак у них можна угледіти рішення і зворотного завдання - переклад з природного на мову логіки предикатів, хоча тут потрібні і певні додаткові роз'яснення. Насамперед вони пов'язані з відсутністю у формулах ЯЛП загальних імен. Загальні імена тут використовуються тільки для характеристики задається кожен раз при вираженні деякого висловлювання області D значень предметних змінних. У складі самих формул загальні імена - в пропозиціях звичайної мови - замінюються предікаторамі. Так, пропозиція В«Всі студенти педінституту готуються стати викладачами В»може бути переведено на мову логіки предикатів двояко в Залежно від вибору значень змінних. Ми можемо взяти в якості такої В«Безліч студентів педінститутуВ». Позначивши тоді через P1 властивість В«Готуються стати викладачамиВ», отримаємо В«в€Ђ x P '(x)В». З урахуванням заданої області це має бути прочитане як В«всякий студент педінституту х готується стати викладачем В». Для більш повного вираження змісту висловлення можемо взяти в якості області В«студентиВ» взагалі, а загальне ім'я В«студент педінститутуВ» витлумачити як предікатори, взявши для нього, наприклад, знак (предікатори) S1 отримаємо в€Ђ x (S1 (x) вЉѓ P1 (x). Пропозиція звучить тепер так: В«Для всякого студента х вірно, що якщо він навчається в педінституті, то він готується стати викладачем В». Висловлювання В«Деякі студенти педінституту готуються стати викладачамиВ» при тому ж виборі області D і предікаторов запишеться у вигляді в€ѓ x (S (x) & P (x))
Зверніть увагу, коли висловлювання передує квантор спільності (тобто оригінал висловлювання є загальним), то далі використовується логічна зв'язка вЉѓ; в разі, коли таким є квантор існування (висловлювання є приватним), то для його запису на ЯЛП вживається зв'язка &.
Для повного запису пропозиції В«У всякому державі мається місто, який є його столицею В»напрошується необхідність ввести предікатори: держава з аргументом - х (візьмемо для позначення з вихідних символів предікатори P...
