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