Взаимосвязь знака, значения и интерпретатора может быть графически представлена в виде семиотического треугольника:
знак
значение интерпретатор
В семиотике выделяется три раздела: синтаксис, семантика и прагматика.
Синтаксис изучает отношения между знаками, т.е. правила построения языка.
Отношение знаков к обозначаемым ими объектами и ситуациями (т.е. знака к значению) является предметом семантики.
Прагматика занимается проблемами понимания и интерпретации знаков людьми – носителями языка, а также отношениями, возникающими между людьми в процессе знакового общения.
В логической семантике помимо понятий знак и значение вводится также понятие смысл знака.
Смысл – это способ указания на объект, та информация, с помощью которой мы выделяем данный объект. Различие смысла и значения знака становится особенно важным в выражениях, предающих чужие мнения, знания или намерения.
Принципы отношения именования:
1. Принцип предметности, согласно которому в высказываниях должно утверждаться или отрицаться нечто о значениях имен, входящих в предложения, а не о самих именах.
|
|
2. Принцип однозначности указывает, что выражение, используемое в качестве имени, должно быть именем только одного объекта.
3. Принцип взаимозаменимости: если в предложении заменить имя, входящее в него на другое, с тем же самым значением, то значение самого предложения от этого не изменится, то есть истинное предложение останется истинным, а ложное ложным.
Алфавит языка логики предикатов включает следующие виды знаков(символов):
1) а, Ь, с,... — символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, или константами;
2) х, у, z,... — символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;
3) Р', Q', R',... — символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;
4) р, q, r,... — символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского propositio — «высказывание»);
5) V, 3 — символы для количественной характеристики высказываний; их называют кванторами: V — квантор общности; он символизирует выражения — все, каждый, всякий, всегда и т.п.; 3 — квантор существования; он символизирует выражения — некоторый, иногда, бывает, встречается, существует и т.п.;
6) логические связки:
л — конъюнкция (союз «и»);
V — ДИЗЪЮНКЦИЯ (СОЮЗ «ИЛИ»);
—> — импликация (союз «если..., то...»);
•= — эквиваленция, или двойная импликация (союз «если и только если..., то...»);
"1 — отрицание («неверно, что...»). Технические знаки языка: (,) — левая и правая скобки.
|
|
Других знаков данный алфавит не включает. Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами — ППФ.
Понятие ППФ вводится следующими определениями:
1. Всякая пропозициональная переменная—p,q, r,... есть ППФ.
2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А' (х), А2 (х, у), А^х, у, z), А" (х, у,..., п), где А1, А2, А3,..., А" — знаки метаязыка для предикаторов.
3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения V хА (х) и Э хА(х) также будут ППФ.
4. Если А и В — формулы (А и В — знаки метаязыка для выражения схем формул), то выражения:
А л В,
AvB,
А->В,
А=В,
-I А, -1 В также являются формулами.
5. Любые иные выражения, помимо предусмотренных в п. 1—4, не являются ППФ данного языка.
С помощью приведенного логического языка строится формализованная логическая система, называемая исчислением предикатов. Элементы языка логики предикатов будут использованы в дальнейшем изложении для анализа отдельных фрагментов естественного языка.