В очерках, изложенных в этой книге, дается представление о том, что такое современная логика, каковы ее задачи, почему люди мыслят логично, не зная логики. Для тех, кто так или иначе связан с политологией, с историей, полезными будут очерки, посвященные возможным мирам, объективным основаниям плюрализма, контрфактическим предложениям. Своего читателя должно найти и исследование логической аргументации, представленной нашим выдающимся ученым П. Флоренским в пользу божественного происхождения Священного писания, несмотря па признаваемую этим мыслителем противоречивость последнего. В занимательной и развлекательной форме представлена проблема парадоксов. В первой части посвященного им очерка рассказывается о поэтических и жизненных парадоксах, специально или невольно изобретенных, две другие части очерка отданы исследованию одного из парадоксов Зенона и сравнительно мало еще известного парадокса «неожиданной казни». Дается представление о некоторых имеющих общезначимый интерес трудностях и проблемах современной символической логики, о паранепротиворечивых и релевантных логиках. Рассказывается о различных логических семантиках. Излагается принадлежащая автору оригинальная идея двухуровневой семантики возможных миров и ее прикладные возможности в философии и логике.
Книга рассчитана на широкий круг читателей, интересующихся логикой, философией и теорией познания. Может быть полезна специалистам в данных областях, а также студентам и школьникам старших классов.
Author(s): Сидоренко Е.А.
Publisher: УРСС
Year: 2002
Language: Russian
Pages: 311
City: Москва
Сидоренко Е.А. «Логика. Парадоксы. Возможные миры» (2002) ......Page 1
Оглавление ......Page 6
Предисловие ......Page 8
Введение ......Page 13
1.1. Что такое логика ......Page 21
1.2. Почему люди мыслят логично ......Page 22
1.3. Как говорим, так и мыслим ......Page 29
ОЧЕРК 2. О парадоксах вообще и о том, как Ахиллу догнать черепаху ......Page 43
2.1. Парадоксы и парадоксальность ......Page 44
2.2. Поможем Ахиллу догнать черепаху ......Page 81
2.3. Парадокс неожиданной казни ......Page 89
3.1. Мнения о возможности разных мнений ......Page 97
3.2. Актуальна ли проблема плюрализма ......Page 99
3.3. Почему обществу нужен плюрализм ......Page 100
3.4. Мнений много, а истина... у власти ......Page 104
3.5. Что стоит за плюрализмом мнений ......Page 112
3.6. Социальная детерминированность сознания ......Page 122
3.7. Плюрализм и идеология ......Page 128
3.8. Общественное бытие и общественное сознание ......Page 130
3.9. Нужна ли идеология? ......Page 135
3.10. Идеология и политическая система ......Page 137
3.11. Идеология и общечеловеческие ценности ......Page 145
Приложение к очерку 3. Из автобиографии ......Page 154
ОЧЕРК 4. Логистика и теодицея (Идеи немонотонной и паранепротиворечивой логики у П.Флоренского) ......Page 168
4.1. О паранепротиворечивой и немонотонной логиках ......Page 169
4.2. Задача Л.Кэрролла и проблема противоречивости Священного Писания и догматов веры ......Page 173
4.3. Идея немонотонности ......Page 177
4.4. Идея паранепротиворечивости ......Page 179
4.5. Реконструкция рассуждений Флоренского ......Page 181
ОЧЕРК 5. Дедуктивные выводы и доказательства ......Page 185
5.1. Дедуктивный вывод ......Page 186
5.1.1. Логически истинные предложения ......Page 189
5.1.2. Логические исчисления ......Page 190
5.1.3. Определения доказательства и вывода в исчислении ......Page 192
5.2. Как использовать исчисления в обычных рассуждениях ......Page 193
5.3. Принцип дедукции ......Page 196
5.4. Доказательство в теории ......Page 199
5.5 Доказательство и компьютер ......Page 200
6.1. Парадоксы вывода ......Page 202
6.2. Принцип непротиворечия и парадоксы следования ......Page 204
6.3. Слабые следствия и парадоксы следования ......Page 209
6.5. Релевантные выводы с метапринципом непротиворечия ......Page 218
ОЧЕРК 7. Теорема дедукции ......Page 224
7.1. Стандартные и нормализованные выводы ......Page 227
7.2. Обобщенная теорема дедукции ......Page 235
7.3. Универсальная теорема дедукции ......Page 243
7.4. Теорема дедукции для неклассических систем: два возможных подхода ......Page 250
8.1. Возможные миры ......Page 253
8.2.1. Семантика классической пропозициональной логики ......Page 256
8.2.2. Семантика модальной логики ......Page 259
8.2.3.1. Семантика классического следования ......Page 261
8.2.3.2. Семантика релевантного следования для классических пропозициональных формул ......Page 262
8.3. Семантика условных высказываний ......Page 263
8.4. Теоретические и идейные предпосылки двухуровневой семантики следования ......Page 266
8.5. Миры как модели знания ......Page 276
9.1. Сослагательные условные предложения ......Page 281
9.2. Проблема истинности контрфактуалов ......Page 287
9.3. Контрфактуалы и возможные миры ......Page 303
Вместо заключения ......Page 309
Сведения об авторе ......Page 311
