37. Семантическое кодирование. Двухаргументные (временные признаки): соответствие, управление, подчинение, зависимость.
- Соответствие (это, есть).
Это частично выравненный код, а частично толковательный. Страдать = испытывать страдание = находится в сост. отриц. эмоций. Первая часть является выравнивающей, а вторая – толковательно-оценочной.
Если на основании выравнивающей части текстовый глагол превращается или приравнивается к текстовому содержимому, то на основании второй части делается вывод.
- Управление, подчинение, зависимость.
Здесь прямая связь с иерархичностью-неиерархичностью, что видно на разных типах отношений (временные (раньше, сейчас, позже), качественные (лучше, норм, хуже), количественные) и иерархий (от большего к меньшему, указывая на большую степень подчинения и зависимости). Рядовому приказывают все от маршала до сержанта. Причем движение в обратную сторону является нарушением нормы.
38. Семантическое кодирование. Одноаргументные (постоянные признаки):свойство, необходимость, возможность, вероятность, есть, нет.
- Свойство = вещь = свойство = отношение.
Свойство имеет групповой характер и создает систему своего рода.
- Необходимость, возможность, вероятность.
Грамматически это будущие события и они связаны с будущим временем и могут рассматриваться со словами должно, нужно, надо, можно в рамках самых частых синтаксических моделей.
- Есть / нет (наличие / отсутствие)
Эти параметры частично грамматические, выраженные частицей не, словом нет и частицей ни. Они то и представляют отрицание действий, признаков, существование самих анализируемых объектов. Эти частицы указывают неявно на негативность ситуации, оценочный момент.
Само же существование как идея в чистом вид передается определенным числом глаголов: быть, существовать, сосуществовать, иметься и практически всеми глаголами в настоящем времени. Горит = имеется огонь, высокая температура. Даже безличные глаголы типа смеркаться, темнеет могут рассматриваться как темнеет = становится темнее. Имеют выравненное значение.
В другом случае о том, что объект существует вообще может косвенно говорить большая группа глаголов разного семантического типа: сломаться (был целый), испортиться, сгореть, исчезнуть. Т.о. показали нарушение представленного состояния.
39. Семантическое кодирование. Одноаргументные (постоянные признаки): истинность, ложность.
Истинность/ложность.
Указанные признаки характеризуют не языковые явления, а логические построения. Они не являются по отдельности явлениями языка. Язык как отражающе-информационая система наз. истинные и неистинные высказывания. Можно предположить, что чтобы определить заведомых лжецов и случайно ошибшихся и развилась логика как специальная наука доказательств.
Поэтому указанные одноаргументные признаки нуждаются в более тщательной логико-математической интерпретации. Связь языковой единицы (предложение) и логической единицы (суждение) проста. Любой суждение является предложение. Но не любое предложение является суждением. Имеются общеутвердительные, частноутвердительные, общеотрицательгные и частноотриц. Их комбинаторика по 2 позволяет сделать непротиворечивый вывод. Т.о. создаются модусы простых категорических силлогизмов (их 19) и считаются слабыми.
Пример:
Все металлы электропроводны (общеутвердительные суждения в силу формального наличия квантора общности все, любой).
Ртуть- металл (частноутвердительное суждение).
Для автоматизации вывода предложены след. разраб. форм. характера.
Утверждение противопоставления отрицанию
Общее<->частное
Если 1-ый символ «+» будет означать общее, а первый символ «-» частное, 2-ой «+» будетобозначать утверждение, а 2-ой «-» отрицание, то мы можем представить это математически в виде группы 4-го порядка.
Столбец слева представляет 1-ое суждение, 1-ая строка-2-ое суждение. Пересечение столбца и строки – вывод.
В примере со ртутью:
+ + ОУ
- + ЧУ
---------
- + ЧУ – новое ЧУ
Определять формальные типы суждений легко по кванторам:
Общеутвердительные кванторы: все, любые.
Частноутвердительные кванторы: некоторые
Общеотрицательные кванторы: ни один, не
Частноотрицательные кванторы: некоторые не