Обложка Смирнова Е.Д. Логическая семантика и философские основания логики
Id: 273445
659 руб.

Логическая семантика и философские ОСНОВАНИЯ ЛОГИКИ. Изд. 2
Логическая семантика и философские основания логики

URSS. 2021. 168 с. ISBN 978-5-9519-2042-3.
  • Твердый переплет

Аннотация

В монографии в систематической форме излагаются философские основания классической и неклассической логик. Подробно исследован философский смысл теорем об ограниченности формализмов. Проведены новые исследования логических систем, позволившие изучить нестандартные способы преодоления семантических парадоксов. Детально разработана теория семантических категорий и уточнено понятие логической формы. Исследуются концептуальный аппарат, абстракции ...(Подробнее)и научные идеализации, лежащие в основе логических систем различного типа, выявляются способы и пути их обоснования.

Для логиков, философов, всех интересующихся читателей.


Содержание
Введение . 4
Глава I. Понятие истинности в референциальной семантике, выразительные и дедуктивные возможности формализмов 15
§ 1. Искусственные и естественные языки 15
§ 2. Классическое понятие истинности и его роль в логике 23
§ 3. Референциальная семантика для первопорядковых языков 29
§ 4. Выразительные и дедуктивные возможности формализмов 36
§ 5. Философский смысл теорем о выразительных и дедуктивных возможностях формализмов 45
Глава II. Аналитическая истинность 54
§ 1. Цроблема аналитической истинности в истории философии 54
§ 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 докторов философских наук.