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

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

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




Понятие истины относительно модели.
Идеи функционального подхода и принцип композициональности наиболее явно и четко реализованы в последней формулировке семантики для L0r (1-29). Семантическое значение предложения (истинностное значение) зависит от структурных свойств его составных частей (лингвистический аспект) и свойств и отношений в реальной ситуации, то есть, зависит от положения дел в мире (внелингвистический аспект). Например, предложение Мальволио спит истинно в силу того, что (а) имя Мальволио обозначает дворецкого Оливии Мальволио, (б) семантическое значение спит есть функция от индивидов к истинностным значениям и данная функция принимает значение 1 при аргументе дворецкий Мальволио; (в) имя Мальволио в сочетании с непереходным глаголом спит образует предложение, семантическое значение которого определяется приложением функции, которая есть семантическое значение переходного глагола к аргументу, который есть семантическое значение имени.

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

ОГЛАВЛЕНИЕ.
Введение. Интенсиональная логика и семантики естественных языков.
Глава 1. Грамматика двух простых фрагментов русского языка.
I. Язык Lor как простой фрагмент русского.
1. Синтаксис Lor.
2. Семантика Lor.
3. Характеристические функции и альтернативные формулировки семантики Lor.
4. Понятие истины относительно модели.
II. Язык Lpr - фрагмент русского с кванторными выражениями.
1. Проблема квантификации в русском языке.
2. Синтаксис LPR.
3. Семантика Lpr.
Глава 2. Логики высших порядков и интенсиональные контексты.
I. Теоретико-типовые языки.
1. Понятие типа выражения формализованного языка.
2. Синтаксис LTYPL.
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. Семантика ILmME-TYPE 112
3. Перевод фрагмента русского языка LRME в интенсиональную логику ILME-TYPE.
4. Примеры переводов.
Глава 4. Семантика музыкальной нотации.
I. Грамматика музыкальной нотации.
1. Категории музыкальной нотации NL.
2. Синтаксические правила NL.
II. Интенсиональная логика.
1. Синтаксические построения.
2. Семантика IL.
III. Перевод языка NL в IL.
1. Специальные средства IL.
2. Перевод.
3. Примечания к переводу.
Заключение. Логика и лингвистика: пути сближения.
Литература.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Формальная грамматика и интенсиональная логика, Герасимова И.А., 2000 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: учебник по языкознанию :: языкознание :: Герасимова :: лингвистика :: логика :: грамматика