Логика, Парадоксы, Возможные миры, Сидоренко Е.А., 2002

Логика, Парадоксы, Возможные миры, Сидоренко Е.А., 2002.

   В очерках, изложенных в этой книге, дается представление о том, что такое современная логика, каковы ее задачи, почему люди мыслят логично, не зная логики. Для тех, кто так или иначе связан с политологией, с историей, полезными будут очерки, посвященные возможным мирам, объективным основаниям плюрализма, контрфактическим предложениям. Своего читателя должно найти и исследование логической аргументации, представленной нашим выдающимся ученым П. Флоренским в пользу божественного происхождения Священного писания, несмотря на признаваемую этим мыслителем противоречивость последнего. В занимательной и развлекательной форме представлена проблема парадоксов. В первой части посвященного им очерка рассказывается о поэтических и жизненных парадоксах, специально или невольно изобретенных, две другие части очерка отданы исследованию одного из парадоксов Зенона и сравнительно мало еще известного парадокса «неожиданной казни». Дается представление о некоторых имеющих общезначимый интерес трудностях и проблемах современной символической логики, о паранепротиворечивых и релевантных логиках. Рассказывается о различных логических семантиках. Излагается принадлежащая автору оригинальная идея двухуровневой семантики возможных миров и ее прикладные возможности в философии и логике.
Книга рассчитана на широкий круг читателей, интересующихся логикой, философией и теорией познания. Может быть полезна специалистам в данных областях, а также студентам и школьникам старших классов.




Что такое логика.
Первое, что приходит в голову при ответе на вопрос: что такое логика? — это назвать ее наукой, исследующей законы, правила и нормы корректных рассуждений. В каком-то отношении это верно. Но, во-первых, логика касается не всяких рассуждений и касается рассуждений только в определенном аспекте. А, во-вторых, она имеет дело не только с рассуждениями, но и с множеством других вопросов. Они относятся к проблемам построения теорий и языков, с помощью которых эти теории строятся. К проблемам сравнимости и взаимопереводимости теорий. Правилам и приемам определений. Способам выдвижения гипотез и обзоров следствий. Приемам аргументации, доказательства и опровержения. Или, скажем, правилам деления понятий, следуя которым, журналист не мог бы сказать своим слушателям, что во время своего визита президент посетит Китай, Японию и Иркутск, или что Россия, в том числе Татарстан и Мордовия, выступают за сотрудничество с некоторой иностранной державой.

Перечисление проблем, которыми занимается логика, могло бы быть еще достаточно длинным и длительным. И после этого все равно пришлось бы сказать, что лучший способ понять, что такое логика, это — заняться ею. И после этого, в конечном счете, определить логику как тот предмет, которым занимаются логики. А что? Представители столь строгой и точной дисциплины как математика практически именно так и поступили, определив свой предмет как то, чем заняты математики.

ОГЛАВЛЕНИЕ.
Предисловие.
Введение.
ОЧЕРК 1. Почему люди мыслят логично, не зная логики.
1.1. Что такое логика.
1.2. Почему люди мыслят логично.
1.3. Как говорим, так и мыслим.
ОЧЕРК 2. О парадоксах вообще и о том, как Ахиллу догнать черепаху.
2.1. Парадоксы и парадоксальность.
2.2. Поможем Ахиллу догнать черепаху.
2.3. Парадокс неожиданной казни.
ОЧЕРК 3. Объективные основания плюрализма.
3.1. Мнения о возможности разных мнений.
3.2. Актуальна ли проблема плюрализма.
3.3. Почему обществу нужен плюрализм.
3.4. Мнений много, а истина. у власти.
3.5. Что стоит за плюрализмом мнений.
3.6. Социальная детерминированность сознания.
3.7. Плюрализм и идеология.
3.8. Общественное бытие и общественное сознание.
3.9. Нужна ли идеология?.
3.10. Идеология и политическая система.
3.11. Идеология и общечеловеческие ценности.
Приложение к очерку 3. Из автобиографии.
ОЧЕРК 4. Логистика и теодицея (Идеи немонотонной и паранепротиворечивой логики у П. Флоренского).
4.1. О паранепротиворечивой и немонотонной логиках.
4.2. Задача Л. Кэрролла и проблема противоречивости Священного Писания и догматов веры.
4.3. Идея немонотонности.
4.4. Идея паранепротиворечивости.
4.5. Реконструкция рассуждений Флоренского.
ОЧЕРК 5. Дедуктивные выводы и доказательства.
5.1. Дедуктивный вывод.
5.1.1. Логически истинные предложения.
5.1.2. Логические исчисления.
5.1.3. Определения доказательства и вывода в исчислении.
5.2. Как использовать исчисления в обычных рассуждениях.
5.3. Принцип дедукции.
5.4. Доказательство в теории.
5.5. Доказательство и компьютер.
ОЧЕРК 6. Неклассический вывод.
6.1. Парадоксы вывода.
6.2. Принцип непротиворечия и парадоксы следования.
6.3. Слабые следствия и парадоксы следования.
6.4. Логики паранепротиворечивые и релевантные.
6.5. Релевантные выводы с метапринципом непротиворечия.
ОЧЕРК 7. Теорема дедукции.
7.1. Стандартные и нормализованные выводы.
7.2. Обобщенная теорема дедукции.
7.3. Универсальная теорема дедукции.
7.4. Теорема дедукции для неклассических систем: два возможных подхода.
ОЧЕРК 8. Семантика возможных миров.
8.1. Возможные миры.
8.2. Возможные миры и логическая семантика.
8.2.1. Семантика классической пропозициональной логики.
8.2.2. Семантика модальной логики.
8.2.3. Семантика следования.
8.2.3.1. Семантика классического следования.
8.2.3.2. Семантика релевантного следования для классических препозиционных формул.
8.3. Семантика условных высказываний.
8.4. Теоретические и идейные предпосылки двухуровневой семантики следования.
8.5. Миры как модели знания.
ОЧЕРК 9. Контрфактические высказывания.
9.1. Сослагательные условные предложения.
9.2. Проблема истинности контрфактуалов.
9.3. Контрфактуалы и возможные миры.
Вместо заключения.
Сведения об авторе.

Купить .





Теги: учебник по философии :: философия :: Сидоренко