Введение | 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 докторов философских наук.