39. Семантическое кодирование. Одноаргументные (постоянные признаки): истинность, ложность.

Истинность/ложность.

Указанные признаки характеризуют не языковые явления, а логические построения. Они не являются по отдельности явлениями языка. Язык как отражающе-информационая система наз. истинные и неистинные высказывания. Можно предположить, что чтобы определить заведомых лжецов и случайно ошибшихся и развилась логика как специальная наука доказательств.

Поэтому указанные одноаргументные признаки нуждаются в более тщательной логико-математической интерпретации. Связь языковой единицы (предложение) и логической единицы (суждение) проста. Любой суждение является предложение. Но не любое предложение является суждением. Имеются общеутвердительные, частноутвердительные, общеотрицательгные и частноотриц. Их комбинаторика по 2 позволяет сделать непротиворечивый вывод. Т.о. создаются модусы простых категорических силлогизмов (их 19) и считаются слабыми.

Пример:

Все металлы электропроводны (общеутвердительные суждения в силу формального наличия квантора общности все, любой).

Ртуть- металл (частноутвердительное суждение).

Для автоматизации вывода предложены след. разраб. форм. характера.

1. Утверждение противопоставления отрицанию

2. Общее<->частное

Если 1-ый символ «+» будет означать общее, а первый символ «-» частное, 2-ой «+» будетобозначать утверждение, а 2-ой «-» отрицание, то мы можем представить это математически в виде группы 4-го порядка.

Столбец слева представляет 1-ое суждение, 1-ая строка-2-ое суждение. Пересечение столбца и строки – вывод.

В примере со ртутью:

+ + ОУ

- + ЧУ

---------

- + ЧУ – новое ЧУ

Определять формальные типы суждений легко по кванторам:

• Общеутвердительные кванторы: все, любые.

• Частноутвердительные кванторы: некоторые

• Общеотрицательные кванторы: ни один, не

• Частноотрицательные кванторы: некоторые не