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

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

Автор: Микиртумов, Иван Борисович

Шифр специальности: 09.00.07

Научная степень: Докторская

Год защиты: 2006

Место защиты: Санкт-Петербург

Количество страниц: 392 с.

Артикул: 3319199

Автор: Микиртумов, Иван Борисович

Стоимость: 250 руб.

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

СОДЕРЖАНИЕ
Введение
Актуальность темы исследования.
Степень разработанности проблемы.
Цели и задачи исследования.
Основные методы и методологические принципы исследования.
Результаты исследования и их научная новизна.
Теоретическая и практическая значимость работы.
Апробация исследования.
Глава 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. Утверждение как речевое действие и локализация непропозиций
Аксиомы для прагматического предиката
Заключение.
Литература


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

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.199, запросов: 111