Обложка Смирнова Е.Д. Основы логической семантики
Id: 268384
599 руб.

Основы логической семантики. Изд. 2

URSS. 2021. 144 с. ISBN 978-5-9710-8427-3.
  • Твердый переплет

Аннотация

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

Книга адресована студентам философских факультетов университетов, аспирантам и преподавателям.


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