Тема: «Множественность логических систем»

Введение    3
1. Множественность логических систем    4
2. Проблема альтернативы теоретико-множественному подходу к построению логических систем    8
Заключение    14
Список литературы    15

Часть работы

Развитие логики к концу ХХ века поставило такие вопросы как «Что есть логика?» или «Что есть логическая система?» Цель данной работы выявить и проанализировать те феномены (порой парадоксальные), которые привели к постановке столь неожиданных вопросов. Во-первых, это континуальная множественность логических систем; во-вторых, это расширение логической системы как результат её ограничения; в-третьих, погружение (перевод) более богатых логических систем в более слабые; в-четвертых, тенденция к изучению не отдельных логических систем, а целых их классов; в-пятых, завершение алгебраизации логики; в шестых, потребности компьютерной революции, и т.д. Две математические конструкции: оператор замыкания, введенный в начале века, и понятие категории, появившееся в середине века, в результате их логической конкретизации привели к тому, что различные совокупности логических систем стали сами изучаться в виде той или иной решеточной или категорной конструкции. Логика всё более становится не наукой о правильности рассуждений (и в этом проявился кризис в моделировании истинно человеческой логики), а наукой о конструкциях, логическая природа которых в высшей степени абстрагирована. В этом смысле логика превращается именно в металогику в её совершенном новом назначении.

Цель данной работы изучить проблему множественности логических систем.

Задачи работы – показать множественность логических систем;

Охарактеризовать проблему альтернативы теоретико-множественному подходу к построению логических систем.