| СОДЕРЖАНИЕ | 5
|
| Введение | 4
|
| Глава I. Понятие истинности в референциальной семантике, выразительные и дедуктивные возможности формализмов | 15
|
| § 1. Искусственные и естественные языки | 15
|
| § 2. Классическое понятие истинности и его роль в логике | 23
|
| § 3. Референциальная семантика для первопорядковых языков | 29
|
| § 4. Выразительные и дедуктивные возможности формализмов | 36
|
| § 5. Философский смысл теорем о выразительных и дедуктивных возможностях формализмов | 45
|
| Глава II. Аналитическая истинность | 55
|
| § 1. Цроблема аналитической истинности в истории философии | 55
|
| § 2. Логическая истинность и аналитическая истинность. Постулаты значения | 63
|
| § 3. Аналитическая истинность как истинность во всех допустимых интерпретациях | 65
|
| Глава III. Рост знания, конкретность истинности и семантика возможных миров | 72
|
| § 1. Проблема истинности утверждений о будущем, возможном и необходимом | 72
|
| § 2. Реляционная семантика интуиционистской логики и проблема роста и накопления знания | 78
|
| § 3. Проблемы смысла в семантике возможных миров | 81
|
| § 4. Проблема конкретности истинности в логической семантике. Точки соотнесения и контексты использования | 85
|
| § 5. Возможные миры, описания состояний и ситуации | 87
|
| Глава IV. Нестандартные семантики и проблема семантических парадоксов | 91
|
| § 1. Расширение нестандартной семантики и ее альтернативы | 91
|
| § 2. Семантика с не всюду определенным понятием истинности | 93
|
| § 3. Семантика с пресыщенными оценками. Невозможные возможные миры | 101
|
| § 4. Модальные и релевантные импликации в системах с истинностными провалами и пресыщенными оценками | 105
|
| § 5. Нестандартные рассмотрения семантических антиномий | 107
|
| Глава V. Теория семантических категорий, структура формализованных языков и проблемы обоснования логики | 120
|
| § 1. Теория семантических категорий и понятие логической формы | 121
|
| § 2. Теория семантических категорий, структура формализованных языков и онтологические допущения | 131
|
| § 3. Методы обоснования вводимых идеализации и финитная установка Д. Гильберта | 140
|
| § 4. Логическая семантика и обоснование логики | 152
|
| Примечания | 155
|
Смирнова Елена Дмитриевна Выдающийся философ-логик, создатель отечественной школы логической семантики. Доктор философских наук, профессор. Окончила философский факультет Московского государственного университета. Работала учителем логики и психологии в московских школах. В 1963 г. окончила аспирантуру кафедры логики философского факультета МГУ и осталась работать на кафедре. В 1965 г. защитила кандидатскую диссертацию, в 1986 г. — докторскую диссертацию «Логическая семантика и философские основания логики». В 1996–1999 гг. также возглавляла сектор логики Института философии РАН, а в последние годы жизни совмещала работу в МГУ с чтением лекций по логике в Свято-Филаретовском институте. В 2000 г. получила почетное звание Заслуженного профессора Московского университета.
В область научных интересов Е. Д. Смирновой входили фундаментальные проблемы философской логики и логической семантики, в том числе логический анализ естественного языка, интенсиональная логика, теория познания, философские основания логики. Ею были разработаны теория семантических категорий для языков с операторами, обобщающий подход к построению логической семантики. Ее труды по логической семантике внесли заметный вклад в развитие исследований в области философских оснований логики в России и за рубежом. Итогом ее педагогической деятельности в МГУ стали несколько поколений высококвалифицированных логиков; она подготовила более 20 кандидатов и 9 докторов философских наук.
