arrow-downcheckdocdocxfbflowerjpgmailnoarticlesnoresultpdfsearchsoundtwvkxlsxlsxyoutubezip

Категория

Сборники
Учебники
Монографии
Журналы

Дисциплина

Логика
История философии
Онтология
Философия культуры
Философия науки
Философия образования
Философия политики и права
Философия религии
Философия сознания
Эпистемология
Эстетика
Этика

Традиции

Прагматизм
Аналитическая философия
Античность
Возрождение
Восточная философия
Немецкая классическая философия
Новое время
Русская философия
Спиритуализм
Средние века
Структурализм
Феноменология
Экзистенциализм
Социальные сети
Вступайте в наши группы

Скачать

Герасимова И.А.

Формальная грамматика и интенсиональная логика

2000

Издательство:

Издательство Института философии РАН

ISBN 5-201-02024-0.
Для цитирования:

Герасимова И.А. Формальная грамматика и интенсиональная логика. М.: ИФ РАН, 2000. 156 с.

Источник:

Предоставлено Институтом философии РАН

  • Аннотация

  • Содержание

Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных грамматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и эпистемических контекстов русскою языка Дан анализ проблемы семантического статуса музыкальною события. Книга предназначается для логиков, лингвистов, математиков, программистов.

Введение. Интенсиональная логика и семантики естественных языков
Глава 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. Примечания к переводу
Заключение. Логика и лингвистика: пути сближения
Литература

Нашли ошибку на странице?
Выделите её и нажмите Ctrl + Enter