Логика - страница 70

В дальнейшем сложились и нашли интересное применение логика времени, описывающая логические связи высказываний, у которых временной параметр включается в логическую форму; паранепроти-воречивая логика, не позволяющая выводить из противоречий все, что угодно; эпистемическая логика, изучающая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» т. п.; логика предпочтений, имеющая дело с высказываниями, содержащими понятия «лучше», «хуже», «равноценно»; логика абсолютных оценок, описывающая логические связи высказываний с абсолютными оценочными понятиями «хорошо», «плохо» и «безразлично»; логика изменения, говорящая об изменении и становлении; логика причинности, изучающая логические связи утверждений о причинности, и др.

Экстенсивный рост логики не завершился и сейчас.

Непосредственным результатом революции, произошедшей в логике в конце XIX – начале XX в., было возникновение теории, получившей со временем название «классическая логика». В ней впервые была реализована идея перенесения в логику тех методов, которые обычно применяются в математике, и прежде всего методов символизации, аксиоматизации и формализации.

Классическая логика является, таким образом, исторически первым этапом в развитии современной логики.

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

Разнообразные направления в логике, возникшие позднее, составляют то довольно неопределенное и разнородное целое, которое получило название неклассическая логика.

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

В числе неклассических логических теорий – интуиционистская логика, многозначная логика, модальная логика и др. Далее рассматривается только модальная логика.