Что такое современная логика

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

Современная логика — одна из наук о знаках. Это не противоречит тому, что логика определяется как наука о рассуждениях, т.к. рассуждения с этой точки зрения представляют из себя соединения знаков, и, чем сложнее рассуждения, тем сложнее их знаковая структура. Логика занимается не любыми знаками, а лишь теми, которые важны для рассуждений. Чтобы добраться до таких знаков, сначала надо разобраться в природе знаков вообще и установить, какие виды знаков встречаются.

Поэтому в современной логике прибегают к приёму, широко распространенному в точных науках. Если для решения проблемы нужно решить задачу Q1, а затем задачу Q2, и при этом задача Q2 проще, чем Q1, то предположим, что мы уже решили задачу Q1. Тогда можно приступить к решению задачи Q2, с тем, чтобы позднее вернуться к первой задаче.

Эта логика не является, конечно, исследованием исключительно математического доказательства. Она представляет собой современную теорию всякого правильного рассуждения, «логику по предмету и математику по методу», как охарактеризовал ее когда-то известный русский логик П. С. Порецкий.

С тех пор логика сделала гигантский шаг вперед. Ее содержание и расширилось, и углубилось. И старый этот совет представляется теперь особенно полезным. Объекты и проблемы, рассматриваемые в логике, являются довольно абстрактными. У них нет эмоционального оттенка, они должны быть схвачены не чувством, а разумом. С ними не удается связать какие-то образы и представления о встречавшихся ранее ситуациях, обычно помогающие понять, хотя бы в первом приближении, что-то новое и необычное. Многие положения, гипотезы и выводы логики далеко не так легко воспринимаются, как, скажем, описания осеннего леса или картинки из жизни других цивилизаций. Чтобы уяснить тот или иной логический парадокс или закон, одно и то же место, оставшееся непонятным при первом чтении, нужно прочесть дважды, а то и трижды и лишь потом двигаться дальше. Только понимание каждого шага проводимого рассуждения может дать понимание рассуждения в целом, а с ним и интеллектуальное удовлетворение от познания.

«Современная логика» - это название школы (или набора школ) логиков. Этот термин относится конкретно к логикам с определенными антитрадиционными тенденциями; он не предназначен для включения всех логиков современности.

***

1.         Анисов А. М. Современная логика. — М., 2002. — 42 с.

2.         Гетманова А. Д. Логика. — М.: Изд-во «Омега-Л», 2007. — 87 с.;

3.         Ивлев Ю. В. Учебник логики: Семестровый курс: Учебник. — М.: Дело, 2003. — 63-94 с.