Теория смысла в общей интенсиональной логике : от принципа композициональности к эпистемическим установкам

• Автор: Микиртумов, Иван Борисович
• Шифр специальности: 09.00.07
• Научная степень: Докторская
• Год защиты: 2006
• Место защиты: Санкт-Петербург
• Количество страниц: 392 с.

СОДЕРЖАНИЕ
Введение

Актуальность темы исследования.

Степень разработанности проблемы.

Цели и задачи исследования.

Основные методы и методологические принципы исследования.

Результаты исследования и их научная новизна.

Теоретическая и практическая значимость работы.

Апробация исследования.

Глава 1. Общая интенсиональная логика и ее проблемы

1. Формирование общей интенсиональной логики

от Карнапа до Монтегю.
2. Вокруг интенсиональной логики Рассела
3. Айдукевич и Чрч о парадоксе отношения именования
4. Мягкая теория смысла и парафраз
5. Проблема интенсиональной иерархии
Интенсиональная иерархия как артефакт онтологии ЛСД.
Интенсиональная иерархия и косвенный смысл
Интенсиональная логика без интенсиональной иерархии.
Итоги рассмотрения вопроса об интенсиональной иерархии
Глава 2. Логика смысла и денотата и синонимический изоморфизм
1. Альтернатива 0 в ЛСД Чрча
Язык исчисления АО .
Аксиомы и правила вывода А0С
Семантика А0С.
2. Теорема С и парадокс Майхилла.
3. Другие парадоксы в А0С
Проблема константных функций на концептах.
4. Альтернатива 0 как логика синонимического изоморфизма.
5. Чему адекватна логика синонимического изоморфизма проблемы
и затруднения
Синонимический изоморфизм и критерии синонимии.
Синонимия и проблема концептов констант.
Адекватность предиката Соп целям дифференциации функций
интенсиональных типов.
Примитивный предикат Соп
6. Концепт функции в ЛСД.
Глава 3. Теория смысла в рамках Альтернативы 0.
1. Смысл как процедура задания денотата
и множественность смыслов.
2. Семантика Яопераций в естественном языке.
Яисчисление
Структура выражения как компонент смысла
Удвоение интерпретации
Яабстракция в естественном языке и компетентный
субъект.
Семантика метаязыковых переформулировок Явыражений.
Комбинированная семантика языкаобъкта и метаязыка
Оператор абстракции, вводимый по определению
Некоторые итоги.
3. Композициоиальный и некомпозициональный смысл
в системе А0СК
Расслоение интенсиональных типов
Композициональность и композициональные типы
Процедура построения композициональных концептуализаций атомарных выражений любых типов
и неинтенсиональных выражений.
Процедура построения композиционалъной концептуализации
замкнутого сложного выражения языка АО .
Композициональность и полиморфностъ концептов.
Расслоение концептов и парадокс Майхилла
4. Семантика А0СЯ
Система доменов основной модели.
Семантические программы и их композиции.
Определение значения
Определение отношения лоСК для основной модели
Работа семантических программ
Аксиомы системы АО
Композициональность и моделирование парадоксов.
Глава 4. Эпистемические установки, уровни компетентности
и прагматика утверждении.
1. Эпистемические установки и компетентность субъекта
2. Эпистемические состояния и эпистемическая модель
Эпистемическое состояние и эпистемическое поле.
Эпистемическая модель и эпистемическое означивание.
3. Концептуализация эпистемических операторов
и гетероэпистемические установки.
Интенсиональная характеристика эпистемических установок
Гетероэпистемические установки.
4. Эпистемическая динамика.
Модификация знания и семантический оракул
Модификация и уравновешивание эпистемического состояния
Динамическая достижимость
5. Доопределение отношения для 0
Эпистемические операторы и прагматические предикаты
Восхождения эпистемических операторов
Гетероэпистемические установки.
6. Аксиомы для теории эпистемических установок.
7. Утверждение как речевое действие и локализация непропозиций
Аксиомы для прагматического предиката
Заключение.
Литература


Известная дискуссия о способах существования объектов и классов в интенсиональной логике и семантике завершилась принятием точки зрения, поддерживавшейся еще Анри Пуанкаре и Алексиусом фон Мейнонгом существует все, что может непротиворечиво мыслиться. Но интенсиональные системы позволяют в языкеобъекте выражать модус существования. Следуя различению трех таких модусов, Скотт вводит два вида кванторов Скотт . Интенсиональные системы являются в этом отношении более богатыми, чем системы свободных логик. Виртуальные, возможные и действительные индивиды эта последовательность выделяет непротиворечиво мыслимое, возможное в мирах, альтернативных данному и действительное в данном мире. Принцип Скотта в онтологии состоит в том, что вещи существуют только тогда, когда подразумевается, что они существуют , и в свободных от экзистенциальных предпосылок логиках эго реализуется некоторыми синтаксическими модификациями, в частности, введением в семантику теоретических конструктов, например, всевозможных нульобъектов, жертвуя при этом общностью квантификации и подстановок. Интенсиональные логики Скотта, Монтепо, Канлана, Крипке достигают тех же целей, но более естественным образом, хотя и при различных ограничениях в семантике. В то же время в поздних вариантах ЛСД при интерпретации ее на струюуре точек соотнесения квантификация вообще ограничивается только теоретикотиповыми рамками и интенсиональными уровнями, хотя ранние варианты исчислений ЛСД содержат ограничения, принимаемые в свободных логиках. Индивидный концепт у Монтегю предстает как куст индивидов, что имело место уже у Карнапа. Как при таком подходе обеспечить возможность отождествления объектов в различных мирах Обычное понятие индивидного концепта при отсутствии общности индивидных областей различных миров, а это наиболее общий случай, приводит к тому, что концегггность как некоторая характеристика качества, позволяющая отождествлять индивид по некоторым его свойствам, теряется. Отбирая произвольные индивиды в возможных мирах, мы всегда можем сопоставить отобранному множеству функцию, определенную на этих мирах, считая ее интенсионалом некоторого имени в одной из возможных интерпретаций. Трансмировые линии проводятся в этом, стандартном, случае произвольно, и никакая идентификация не может быть гарантирована как осмысленная. Отсылаем читателя к показательной в этом смысле работе . Чрч и, повидимому, Фреге не согласились бы считать такую квантификацию осмысленной . Неограниченная квантификация в системе Монтепо освобождает от необходимости вводить различные кванторы для объектов с различными модусами существования. Становится прозрачной и квантификация по интенсиональным сущностям. В качестве индивидного концепта в эссенциалистском понимании берется предикат, который в каждом альтернативном множестве миров выполняется только для одного индивида, или же все индивиды, выполняющие данный предикат, отождествляются. Аналогичный метод, т. Каплан , когда ставит задачу свести подходы к квантификации Фреге и Чрча с подходом Монтегю. Главным при сопоставлении методов Чрча и Монтегю в интенсиональной логике является вопрос о том, что может быть выражено названо в языкеобъекте соответствующих исчислений, а что остается вынесенным в метаязык, в семантику. Онтологические предубеждения приводят к значительному увеличению семантических функций за счет обеднения выразительных средств языкаобъекга. Часть таких семантических функций воспринимается как введенные , без какоголибо состоятельного объяснения их соответствия естественным процессам формирования смысла. Логическая грамматика Монтепо видится как бесконфликтная система, поскольку она не является в полной мере логической. Однако трудно представить себе чтолибо принципиально отличное от логической грамматики и столь же эффективное в роли метода анализа значения выражений естественного языка. Если же посмотреть на интенсиональную логику со стороны логической грамматики, то последнюю можно рассматривать как поле эвристик, позволяющих унифицировать методы теории значения.