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