Логика. Парадоксы. Возможные миры: Размышления о мышлении в девяти очерках

Сидоренко Е.А. «Логика. Парадоксы. Возможные миры» (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