Логика в образовании

Вид материала

Подобный материал:

logobraz.doc

В. И. Лобанов, кандидат технических наук , (ИТО-2002)

член РФО РАН, гл.спец., НПП «Редан», Москва

ЛОГИКА В ОБРАЗОВАНИИ.

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

Автор – действующий разработчик цифровых систем управления оборонного назначения с 30-летним стажем, инженер по призванию и образованию, кандидат технических наук, член Российского Философского Общества Российской Академии наук. Исторически сложилось так, что гуманитарии считают логику обязателным предметом и не мыслят без неё воспитания культурного человека. Представители естественно-научных дисциплин относятся к логике свысока. Я утверждаю, что эта наука необходима и «физикам», и «лирикам», причём «физикам», работающим в математике и информатике – в первую очередь. Убеждён, что ни один учёный не владеет дисциплиной мышления, поскольку не знает логики. Простые тесты по физике, химии и математике подтвердили это убеждение.

Дремучее невежество и вопиющая безграмотность классической логики породили пренебрежительное отношение к ней “технарей”, что свидетельствует с одной стороны о похвальной прагматичности “физиков”, а с другой - не только о низком культурном уровне “профессионалов”, но и о их математической безграмотности, т.е. профессиональной несостоятельности как “физиков”, так и “лириков”. Всё человечество (и «физики», и «лирики») со времён Аристотеля пыталось формализовать мышление. Однако с этой проблемой не справились даже такие гении как Лейбниц, Порецкий и Кэрролл. Всё это заставило меня разработать математическую логику здравого смысла, которую я назвал Русской в честь великих русских предшественников, заложивших её основы: Порецкого П.С., Давыдова И.И., Васильева Н.А., Кузичева А.С., Брусенцова Н.П. и др. Классическая логика убивает всякое мышление, вынуждает студентов зубрить десятки пустопорожних правил, законов и терминов, вызывает отвращение к самой важной на Земле науке. Эта дисциплина выродилась в болтологику. Ситуация усугубляется ещё и тем, что официальная «наука» не приемлет Русскую логику и плодит невежество.

Перечислим основные недостатки классической логики.

Классическая логика не использует минимизацию логических функций с помощью карт Карно в том числе и в связи с незнанием алгоритмов, разработанных автором. Карты Карно – необходимейший инструмент логика.
Классическая логика проявляет невежество при доказательстве законов логики суждений, поскольку не применяет аналитических методов, что катастрофически сужает круг рассматриваемых задач.
Отсутствие аналитического представления силлогистических функторов лишает фундамента логику предикатов.
Все законы и правила силлогистики либо некорректны, либо никчёмны по своей сути, поскольку в них не учитывается влияние универсума и конкретного содержания терминов.
Все фигуры и модусы силлогистики никчёмны, поскольку нельзя анализировать и синтезировать силлогизмы в общем виде без рассмотрения конкретного базиса, универсума и содержания каждого термина.
Классическая силлогистика оперирует лишь функторами Axy, Exy, Ixy, Oxy и не охватывает подавляющее большинство суждений любого другого типа.
Функтор Oxy является не только лишним, но и некорректным.
В классической логике до сих пор не решена проблема единичного множества.
Нет окончательного результата в проблеме решения логических уравнений и в синтезе обратных логических функций.
В связи с вышеперечисленным студенты и преподаватели обречены на унылую бестолковую зубрёжку и не умеют решать серьёзные задачи логики.
Искореняется всякое мышление.

Приведу основные результаты, полученные при создании русской логики.

Разработаны графические методы минимизации логических функций для большого числа аргументов с помощью карт Карно(алгоритм «НИИРТА»).
Создана 4-значная комплементарная логика и её алгебра с методами минимизации комплементарных функций.
Разработаны простые методы решения логических уравнений (алгоритм «Селигер») на основе комплементарной логики.
Применение метода при выводе обратных логических функций показало, что однозначное решение для двоичных аргументов может быть получено лишь в комплементарной логике.
Впервые получены все 16 обратных логических функций для двух аргументов, в том числе функции логического вычитания и деления.
Комплементарная логика при аппаратной реализации позволяет
значительно упростить решение проблемы самодиагностирования вычислительной техники: например появление j на любом выходе может свидетельствовать о сбое или отказе.
Синтезированы методы нахождения парных термов для равносильных преобразований логических равенств.
Предложен простой математический метод анализа и синтеза законов логики суждений (алгоритм «Импульс»).
Предложены диаграммы Лобанова, позволившие формализовать силлогистику и алгебру множеств.
Впервые создан аналитический базис силлогистики и определены его разновидности: русский, аристотелевский, базис Васильева и т.д.
Впервые показано, что даже общие суждения имеют неоднозначную структуру и аналитическое описание.
Впервые представлено все многообразие базиса частноутвердительного суждения и дано его аналитическое представление.
Впервые найдены аналитические выражения для всех частноутвердительных суждений, удовлетворяющих критерию Васильева.
Предложен простой и надежный способ графической и аналитической проверки силлогизмов и синтеза заключений для любых базисов(алгоритмы «Осташ»,«ИЭИ»)
Применение предложенного метода избавляет от необходимости запоминания множества логических правил и законов.
Руская логика оперирует суждениями любого типа.
Предложенный метод ставит под сомнение всё исчисление предикатов, кванторный аппарат которого не справился с задачами анализа и синтеза силлогизмов.
Впервые аналитически описан базис логики Аристотеля-Жергонна. Впервые на основе базиса Аристотеля-Жергонна разработана силлогистика, существенно отличающаяся от классической.
Впервые проверены все 64 модуса силлогистики Аристотеля-Жергонна. Доказано, что многие «правильные» модусы Аристотеля, в том числе и модус AAI 4-й фигуры, не корректны.
Впервые доказано, что ни силлогистика Аристотеля-Жергонна, ни классическая силлогистика не укладываются в прокрустово ложе 19 «правильных» модусов.
Разработаны графоаналитический алгоритм «Осташков» синтеза полисиллогизмов и графический алгоритм «Суздаль» синтеза соритов.
Разработан графический алгоритм «Редан» синтеза недостающей посылки.
Доказано, что ни силлогистика Аристотеля, ни силлогистика Аристотеля-Жергонна не имеют никакого отношения к логике здравого смысла.
Впервые обнаружена и учтена при синтезе силлогизмов зависимость заключения от объёма универсума и содержания терминов.
Впервые решена проблема единичного множества в силлогистике.
Доказано, что все 4 классических правила посылок не абсолютны.
Показано, что модусы не имеют смысла, поскольку не учитывают универсум и конкретное содержание посылок.
Отмечено, что аналитическое представление силлогистических функторов Axy, Exy впервые дано русским логиком П. С. Порецким, чего до сих пор не поняла отечественная наука.
Показано, что общеразговорная логика не является двоичной.

Подводя итог вышеизложенному, нельзя не придти к выводу, что впервые в мире создана истинно математическая логика, не противоречащая здравому смыслу. Фактически родилась совершенно новая наука. Впервые в мире реализованы мечты Аристотеля и Лейбница. Их мечты воплощены в русской логике, рождённой в России.

Требуется скорейшее внедрение русской логики в школьное и вузовское преподавание для искоренения недостатков и ошибок классической логики в связи с тем, что логика составляет фундамент Искусственного интеллекта, главного научного направления 3-го тысячелетия.

Я готов безвозмездно передать цикл лекций для преподавателей, собирающихся внедрить Русскую логику в образование. Если эта дисциплина вызовет повышенный интерес, то я готов сбросить в Internet файлы своих книг «Русская логика против классической» и «Решебник по Русской логике». Книги ещё не скоро выйдут из печати, если вообще выйдут. Кроме того, популяризаторские статьи по русской логике выставлены на моих сайтах ссылка скрыта и ссылка скрыта. Зарубежье активно осваивает Русскую логику – за Державу будет обидно, если наша логика вернётся на Родину в импортной упаковке.

Литература