Название: Формальная грамматика и интенсиональная логика
Автор: Герасимова И.А.
Издательство: М.: ИФРАН
ISBN 5-201-02024-0 Год: 2000
Страниц: 156
Формат: DjVu
Размер: 2,07 Мб
Качество: отличное (отсканированные страницы, OCR, содержание)
Язык: Русский
Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных грамматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и эпистемических контекстов русскою языка Дан анализ проблемы семантического статуса музыкальною события. Книга предназначается для логиков, лингвистов, математиков, программистов.
СОДЕРЖАНИЕ
Введение. Интенсиональная логика и семантики естественных языков
Глава 1. Грамматика двух простых фрагментов русского языка
I. Язык Lor как простой фрагмент русского
1. Синтаксис Lor
2. Семантика Lor
3. Характеристические функции и альтернативные формулировки семантики Lor
4. Понятие истины относительно модели
II. Язык Lpr - фрагмент русского с кванторными выражениями
1. Проблема квантификации в русском языке
2. Синтаксис Lpr
3. Семантика Lpr
Глава 2. Логики высших порядков и интенсиональные контексты
I. Теоретико-типовые языки
1. Понятие типа выражения формализованного языка
2. Синтаксис Ltype
3. Семантика Ltype
4. Оператор абстракции лямбда
5. Войшвилло Е.К.: исчисление предикатов, приближенное к естественному языку
II. Семантики возможных миров и интенсиональные логики
1. Интенсиональные контексты
2. Понятие интенсионалау Монтегю
III. Интенсиональные логики в PTQ
1. Синтаксис IL
2. Семантика IL
IV. Особенности грамматики в PTQ
1. Операция перевода
2. Синтаксические категории
3. Перевод категорий в логические типы
Глава 3. Модально-эпистемические контексты и интенсиональная логика
I. Обсуждение проблемы интенсиональности
1. Интерпретация глагола "believe" ("полагать") в PTQ
2. Дилемма экстенсиональности-интенсиональности
3. Эпистемические ситуации
II. Принципы семантики возможных миров
1. Структурный подход к конструированию возможных миров
2. Фразовая интерпретация эпистемических модальностей
3. Речевые ситуации с оборотом "необходимо"
III. Грамматика модально-эпистемического фрагмента русского языка
1. Множество основных выражений
2. Синтаксические правила
3. Примеры применения синтаксических правил
IV. Интенсиональная логика ILme-type
1. Синтаксис ILme-type
2. Семантика ILme-type
3. Перевод фрагмента русского языка LRMe в интенсиональную логику ILme-type
4. Примеры переводов
Глава 4. Семантика музыкальной нотации
I. Грамматика музыкальной нотации
1. Категории музыкальной нотации NL
2. Синтаксические правила NL
II. Интенсиональная логика
1. Синтаксические построения
2. Семантика ILe
III. Перевод языка NL в ILe
1. Специальные средства ILe
2. Перевод
3. Примечания к переводу
Заключение. Логика и лингвистика: пути сближения
Литература | 
