| Введение | 3
|
| § 1. Знаковые системы. Прагматический, семантический и синтаксический аспекты языковых систем | 3
|
| § 2. Искусственные и естественные языки | 7
|
| § 3. Предмет и задачи логической семантики | 10
|
| Глава первая. Исходные понятия и принципы логической семантики | 13
|
| § 1. Классическое понятие истинности | 13
|
| § 2. Семантические парадоксы | 18
|
| § 3. Логический синтаксис и логическая семантика | 23
|
| Глава вторая. Дедуктивные и выразительные возможности первопорядковых теорий | 29
|
| § 1. Синтаксис формальной арифметики | 30
|
| § 2. Семантика формальной арифметики | 36
|
| § 3. Свойства класса общезначимых формул системы Р | 39
|
| § 4. Уточнение понятий определимости предикатов и функций в прикладных первопорядковых теориях | 42
|
| § 5. Свойства К-определимых предикатов и функций | 45
|
| § 6. Теоремы об ограниченностях формализмов | 46
|
| § 7. Конструктивное семантическое доказательство теоремы о неполноте | 53
|
| § 8. Философский смысл теорем о выразительных и дедуктивных возможностях формализмов | 56
|
| Глава третья. Формализация логики предикатов первого порядка | 60
|
| § 1. Основные понятия Л-семантики для прикладных исчислений предикатов первого порядка | 60
|
| § 2. Формализация Л-понятий первопорядковой логики. Непротиворечивость и полнота | 67
|
| Глава четвертая. Элементы теории моделей | 78
|
| § 1. Первопорядковые теории и их модели | 78
|
| § 2. Сохранение свойства истинности высказываниями некоторых видов | 83
|
| § 3. Метод ультрапроизведений | 88
|
| § 4. Характеризуемость класса реляционных структур | 93
|
| § 5. Полнотаи категоричность теории | 96
|
| § 6. Разрешимые и неразрешимые элементарные теории | 105
|
| Глава пятая. Семантика возможных миров | 109
|
| § 1. Проблема модальностей в логике | 109
|
| § 2. Нормальные модальные системы. Реляционные семантики Крипке | 111
|
| § 3. Теоремы полноты относительно реляционных семантик | 116
|
| § 4. Окрестностные семантики для пропозициональных логик | 124
|
| § 5. Содержательное истолкование модальных операторов | 128
|
| Глава шестая. Проблемы смысла и значения и анализ интенсиональных контекстов | 134
|
| § 1. Понятия интенсионала и экстенсионала в семантике «возможных миров» | 134
|
| § 2. Семантика для интенсиональных контекстов | 137
|
| Литература | 140
|
Смирнова Елена Дмитриевна Выдающийся философ-логик, создатель отечественной школы логической семантики. Доктор философских наук, профессор. Окончила философский факультет Московского государственного университета. Работала учителем логики и психологии в московских школах. В 1963 г. окончила аспирантуру кафедры логики философского факультета МГУ и осталась работать на кафедре. В 1965 г. защитила кандидатскую диссертацию, в 1986 г. — докторскую диссертацию «Логическая семантика и философские основания логики». В 1996–1999 гг. также возглавляла сектор логики Института философии РАН, а в последние годы жизни совмещала работу в МГУ с чтением лекций по логике в Свято-Филаретовском институте. В 2000 г. получила почетное звание Заслуженного профессора Московского университета.
В область научных интересов Е. Д. Смирновой входили фундаментальные проблемы философской логики и логической семантики, в том числе логический анализ естественного языка, интенсиональная логика, теория познания, философские основания логики. Ею были разработаны теория семантических категорий для языков с операторами, обобщающий подход к построению логической семантики. Ее труды по логической семантике внесли заметный вклад в развитие исследований в области философских оснований логики в России и за рубежом. Итогом ее педагогической деятельности в МГУ стали несколько поколений высококвалифицированных логиков; она подготовила более 20 кандидатов и 9 докторов философских наук.
