Онлайн школа

Услуга дает возможность дистанционно изучить иностранный язык. Услуга «Онлайн-школа иностранных языков» доступна после заполнения формы заявки

Заказ книги

Услуга дает возможность заказать книгу на нашем сайте не доступной для скачивания. Вы выбираете книгу и заполняете форму заявки

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

  • 1
  • 2
  • 3
  • 4
  • 5
(0 Голосов)

Posted in Книги - Грамматика

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

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

 

 

Автор: Герасимова И.А.
Название: Формальная грамматика и интенсиональная логика
Категория: грамматика
Тип издания: монография
Серия: -
Издательство: ИФРАН
Переплет: электронная книга
Год: 2000
Кол-во страниц: 156
Язык: русский
Формат: djvu
Размер: 2 mb
OCR: есть

 

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

Аннотация (описание)

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

Содержание (оглавление)

Введение. Интенсиональная логика и семантики естественных языков
Глава 1. Грамматика двух простых фрагментов русского языка
I. Язык L0R как простой фрагмент русского
1. Синтаксис Lor
2. Семантика L0r
3. Характеристические функции и альтернативные формулировки семантики L0r
4. Понятие истины относительно модели
II. Язык LpR - фрагмент русского с кванторными выражениями
1. Проблема квантификации в русском языке
2. Синтаксис LPR
3. Семантика LPR
Глава 2. Логики высших порядков и интенсиональные контексты
I. Теоретико-типовые языки
1. Понятие типа выражения формализованного языка
2. Синтаксис LIYpl
3. Семантика Liype
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. Перевод 135
3. Примечания к переводу
Заключение. Логика и лингвистика: пути сближения
Литература 

 
Программы для чтения этой книги можно скачать ЗДЕСЬ
 
Электронная библиотека предоставляет вам возможность скачать бесплатно и без регистрации электронные учебники, самоучители, монографии, сборники трудов, справочники, словари, энциклопедии, журналы, рефераты, курсовые работы, дипломные работы и многое другое по тематике лингвистика (языкознание, языковедение), филология, теория и практика перевода (переводоведение), теория коммуникации, иностранные языки, методика преподавания иностранных языков (лингводидактика).
 
Электронная книга Герасимова И.А. Формальная грамматика и интенсиональная логика скачать бесплатно и без регистрации
 
Скачать с Depositfiles | ifolder
 
Программы для чтения этой книги можно скачать ЗДЕСЬ 

Superlinguist – это электронная научная библиотека, посвященная теоретическим и прикладным вопросам лингвистики, а также изучению различным языков.

Как устроен сайт

Сайт состоит из разделов, в каждой из которых включены еще подразделы.

Главная. В этом разделе представлена общая информация о сайте. Здесь также можно связаться с администрацией сайта через пункт «Контакты».

Книги. Это самый крупный раздел сайта. Здесь представлены книги (учебники, монографии, словари, энциклопедии, справочники) по различным  лингвистическим направлениям и языкам, полный список которых представлен в разделе "Книги".

Авторефераты и диссертации. В этом разделе размещены авторефераты и диссертации на соискании ученой степени кандидата и доктора филологических наук по лингвистическим специальностям.

Для студента. В этом разделе находится множество полезных материалов для студентов: рефераты, курсовые, дипломные, конспекты лекций, ответы к экзаменам.

Наша библиотека рассчитана на любой круг читателей, имеющих дело с лингвистикой и языками, начиная от школьника, который только подступается к этой области и заканчивая ведущим ученым-лингвистом, работающим над своим очередным трудом.

Какова основная цель сайта

Основная цель проекта – это повышение научного и образовательного уровня лиц, интересующихся вопросам лингвистики и изучающих различные языки.

Какие ресурсы содержатся на сайте

На сайте выложены учебники, монографии, словари, справочники, энциклопедии, периодика авторефераты и диссертации по различным направлениям и языкам. Материалы представлены в форматах .doc (MS Word), .pdf (Acrobat Reader), .djvu (WinDjvu) и txt. Каждый файл помещен в архив (WinRAR).