ВЗАИМОСВЯЗЬ ИНФОРМАТИКИ С КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИМИ ЛОГИКАМИ
Гетманова А.Д., МГПУ, г. Москва
1. Логика - философская наука о законах и формах правильного мышления, - составляет фундамент всех других наук (общественных, естественных, технических), педагогической деятельности, обыденного мышления и повседневного общения людей. Логика подразделяется на классическую (двухзначную), развивающуюся со времен Аристотеля и по настоящее время, и разные виды неклассических логик, возникших в XIX - XX веках.
Логика лежит и в основе информатики. Классическая логика позволяет и предполагает точное, однозначное определение таких понятий, как “информатика” (хотя их значительно больше десяти), “алгоритм”, “команда алгоритмического языка” и мн. др. Операции с объемами понятий (пересечение, объединение, вычитание классов), отношения между понятиями, дихотомическое деление и классификация понятий, формулы сложных суждений, элементы исчисления высказываний и исчисления предикатов, структуры умозаключений логики высказываний, моделирование текстов естественного языка с помощью ЭВМ и мн. др. - далеко не полный перечень теоретических разделов, общих для двух наук - классической логики и информатики, лежащих на стыке этих наук.
2. В практической плоскости взаимосвязь классической логики и информатики проявляется в следующих направлениях: а) Составление программ для ЭВМ для обучения и контроля знаний по логике (программы в системе Logos, руководитель к.ф.н. Г.И. Бузук, программы, созданные д.ф.н. Б.Л. Яшиным, более тридцати программ, созданных студентами МПГУ им. Ленина под руководством д.ф.н. А.Д. Гетмановой и др.); б) прием зачетов и экзаменов по логике с помощью компьютеров; в) использование ЭВМ в процессе преподавания логики (напр., в Люблинском лицее г. Москвы, в Лобнинском лицее Моск. обл. и др.).
3. Взаимосвязь неклассической логики и информатики видна в следующих ветвях. Многозначные логики (трехзначные, n-значные, бесконечно-значные логики А.Д.Гетмановой) могут быть использованы в процессе обработки социологической информации с помощью ЭВМ. Создана программа для ЭВМ, с помощью которой, исходя из бесконечно-значной “логики истины” А.Д.Гетмановой (Gx0), строится любая конечнозначная “логика истины” - системы G3, G4, G5,G6, ... ,Gn, т.е. трехзначная логика, четырехзначная логика, пятизначная логика, ... , двенадцатизначная логика и т.д. Конструктивная логика А.А.Маркова используется в теории алгорифмов. Паранепротиворечивые логики, отражающие переходные состояния, отвергающие закон непротиворечия (см. Н.Белнап, “Как нужно рассуждать компьютеру”, 1976), посвящены формализации общения с информационными системами, в которых содержится противоречивая информация. Что в таком случае должен делать компьютер, особенно если в системе содержится необнаруженное противоречие? Формулы законов исключенного третьего и непротиворечия во многих неклассических логических системах не являются тавтологиями.
4. Открытыми остаются вопросы: 1) Должно ли преподавание логики предшествовать преподаванию информатики?; 2) Должен ли появиться новый интегрированный предмет преподавания - “Информатика с элементами логики”? Я придерживаюсь первой точки зрения.
