Category: лингвистика

Category was added automatically. Read all entries about "лингвистика".

диалектическая логика

Означивание

Вопрос:
[ При попытке означить, скажем, оценку "ложно" в качестве суждения приводит к парадоксу "Лжеца"] А если формально это расписать? Что такое означить, парадокс, оценка, ложно, суждение через буквы и цифры?

Ответ: "означить" - придать языковому выражению лексическое значение или логическое значение.

1. Лексическое значение слова — это содержание слова, отображающее в сознании и закрепляющее в нём представление о предмете, свойстве, процессе, явлении и т. д. (см. Лингвистический энциклопедический словарь). В парадоксе Лжеца высказыванию "ложно" (0) придается лексическое значение суждения, т.е. свойство "истинно" или "ложно".

2. Означивание (в традиционной формальной логике) - приписывание истинностных значений 'истина', 'ложь' суждениям и отрицаниям). В классической логике под означиванием понимают функцию, приписывающую каждой переменной значение Т или F:
Определение 1.3.1. (означивание и истинностные означивания).
Означиванием назовем произвольную функциюF: Q -> {t,f},где Q - множество атомов языка (суждений)
Таким образом означивание приписывает истинностные значения атомам языка.
(Метакидес Г.Б., Нероуд А. Принципы логики и логического программирования. — М., 1998. - С.18)
3. "Парадокс (в логике) — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса в отличие от паралогизма и софизма не обнаружена пока из-за несовершенства существующих методов логики", (с).

4. Оценка — форма мысли, отображающая рефлексивное отношение субъекта рассуждений к своим и чужим высказываниям, а также, к предметам (вещам, объектам, процессам) внешнего и внутреннего мира.

С цифрами. Каждому высказыванию сопоставляют переменную равную 1, если высказывание истинно и равную 0, если оно ложно.
Но сама переменная не является высказыванием. Поэтому абсурдно будет звучать вопрос: "Истинна или ложна переменная, скажем, "переменная 0" (ложно"). А ведь именно так ставится вопрос в парадоксе лжеца.

5. "Суждением - называется повествовательное предложение, о котором можно сказать в данный момент, что оно истинное или ложное, но ни то и другое в одно время".
Структура суждения

А: (s - p)                     (1)где
А - суждение
s - логический субъект
р - предикат.
--