Формальная грамматика и интенсиональная логика. |
Contents
Введение Интенсиональная логика и семантики естественных | 7 |
Логики высших порядков и интенсиональные | 43 |
Модальноэпистемические контексты | 79 |
Copyright | |
4 other sections not shown
Common terms and phrases
ає анализ аналитических деревьев возможных миров всех выражений категории выражений типа выражений языка герцог Орсино грамматики графиня Оливия данном Джон другими единорога естественного языка есть множество есть результат замены есть функция задается имеет тип индекс интенсионал интенсиональной логики интерпретации Каждая дама Каждый студент кванторных константа типа контекстов которые логики предикатов логические любит Оливию Мальволио спит мантическое МЕ множество возможных множество индивидов модальных модели может можно Монтегю музыкальной нотации Мэри наблюдателя Например натурального числа неверно-что некоторые необходимо непереходные глаголы нотации области обозначает образом объект одно октавы Оливия Виола-Цесарио Оливия танцует оператор определения Орсино относительно переменная типа понимать понятие построения предложения пример приписывания пропозиции прочтение Пусть рассматривать свойств звукового события семантики семантическое значение Синтаксические правила следующим словами случае смысле соответствии сочленение студент танцует существительного терм термин ТҮРЕ феМЕ Формальная грамматика формула фраз функтор характеристические функции Хинтикка Цесарио поет экстенсионал экстенсиональное эпистемических является языки логики Form LTYPE walk