ЛОГИКА И ДИАГРАММЫ. ОПЫТ ПРЕПОДАВАНИЯ

В последние десятилетия университетские курсы логики довольно быстро сдают свои позиции. Исключением не являются и академические философские программы, для которых логика всегда являлась важной профильной дисциплиной. Логика оказывается слишком сложной, слишком абстрактной, а потому слишком оторванной от философии. В поисках выхода из сложившейся ситуации мы решили модифицировать курс, состоящий из привычных теорий, и включить в него диаграмматические подходы Венна, Лейбница, Пирса. Круговые схемы Эйлера при этом, разумеется, сохраняли свои позиции. Мы исходили из того, что студентам важно продемонстрировать задачи логики (те, которые предполагают вводные курсы): логика интересуется логическими отношениями, выводами и доказательствами, а не только тем, как они представлены через конкретные знаки конкретных теорий. В этой работе мы описываем результаты нашей коррекции. Безусловно, диаграммы не способны стать универсальным решением (они подходят далеко не всем), но для кого-то они могут показывать иконичность логических формул и процедуру вывода, приоткрывая тем самым природу логики. Такой вариант изложения материала обращает логику к философии и повышает ее привлекательность для ребят, которым не просто дается алгебра.

In recent years, logic courses are quickly losing ground. The introductory course of logic for philosophers, which has always been an integral part of their major, is not an exception. Logic turns out to be too complicated, too abstract, and too separated from philosophy. Trying to find a way out, we decided to modify the course by including diagrammatical approaches of Venn, Leibniz and Peirce. The set of known theories and the traditional functions of Euler’s diagrams were preserved. We reasoned that diagrams could highlight that it is more important to understand key goals of logic (logical relations, consequence, inferences, etc. studies) rather than the syntax (certain signs) of certain theories. This paper reports the results of our investigations. We agree that diagrams cannot be seen as a universal solution (they cannot be great for everyone), but they clarify both the inferential processes and essence of logic for some students. This approach can turn logic back to philosophy, and this step can increase the attraction of logic even for those who are not much of algebra fans.