Информатика

Сегодняшние компьютеры мешают человеку видеть мир таким, какой он на самом деле есть

«Николай Петрович Брусенцов, старейшина Московского университета, заведующий научно-исследовательской лабораторией ЭВМ на факультете вычислительной математики и кибернетики МГУ, создатель первых в СССР троичных вычислительных машин «Сетунь» и «Сетунь 70», микрокомпьютерной системы обучения «Наставник», реализующей высокоэффективную дидактику Яна Коменского. По его мнению, сегодняшние компьютеры мешают человеку видеть мир таким, какой он на самом деле есть. Он упрекает в ущербности двухзначную «классическую» логику и двоичную информатику, препятствующие становлению творческого интеллекта. Логике надлежит быть трехзначной, а компьютерам – троичными.

Естественность и совершенство троичной симметричной системы счисления и базирующейся на ней арифметики обусловлены воплощенной в них трехзначной логикой. Современная, так называемая «классическая» логика двухзначна – «да»/«нет», третьего не дано. Простотой ее технической реализации оправдывается двоичность компьютеров и современной информатики. Но это логика искусственного дискретного мира, а не реального бытия и здравого смысла. В ней нет модальностей, нечеткости, неотобразима аристотелева силлогистика, диалектика. Ее не применяют для разрешения споров, а все попытки обучения логике в школе оказались безуспешными. Теперь же она внедрилась в школьное обучение как информатика. Ущербность двухзначной логики проявляется уже в том, что в ней отсутствует первостепенное логическое отношение – необходимое (содержательное) следование. В силлогистике Аристотеля это отношение представлено общеутвердительной посылкой «Все А суть Б» («Б содержится в А», «Из А следует Б»). Это значит, что в рассматриваемой совокупности различаемых относительно особенностей А и Б вещей всякая А – вещь непременно будет (не может не быть) Б-вещью, т.е. все А-вещи суть АБвещи. По Аристотелю такой совокупности необходимо принадлежат АБ-вещи и АўБў-вещи (не-А и не-Б вещи), но не могут принадлежать АБў-вещи, а принадлежность АўБвещей несущественна, у них привходящий статус – могут либо принадлежать, либо не принадлежать, благодаря чему совокупность оказывается нечеткой. Логика же нечетких совокупностей трехзначна: «есть»/«нет»/«может быть либо не быть». В двухзначной логике привходящая принадлежность вещей и нечеткость совокупности (множества, класса) непредставимы. Поэтому следование определено в ней как четкая совокупность, которой не принадлежат АБў-вещи. Но это не необходимое, а лишь возможное следование Б из А, так называемая «материальная импликация». Ей присущи парадоксы (нелепости), которые логики настойчиво пытаются устранить, изобретая «сильные», «строгие», «релевантные» и иные импликации, но тщетно – в двухзначной логике необходимое (содержательное) следование невыразимо. Поразительно, что ни одна из предложенных современными логиками трехзначных импликаций (Лукасевича, Гейтинга, Бочвара, Клини, Собочинского) также не выражает необходимого следования. Их изобрели, создавая неаристотелеву логику, тогда как реальности и здравому рассудку адекватна именно аристотелева при надлежащей трехзначной интерпретации.
Силлогистика Аристотеля базируется на несовместимом с принятым в «классической» логике «законом исключенного третьего» диалектическом постулате сосуществования противоположностей. Именно сосуществования, а не тождества или единства, как то полагал Гегель, ибо единство противоположностей немыслимо, противоречиво.

В 2003 году вышла книга Оппенгеймера «Мерцающий ум». Так вот, автор говорит о том вреде, который нанесли обучению современные компьютеры, он убедительно показывает пагубность современной компьютеризации учебного процесса и заключает, что обучение надо спасать возвратом к традиционным бескомпьютерным методам, едва ли осуществимым. Но поскольку компьютеры губительны не самим по себе, а принятой в них двухзначной логикой, то реальным решением проблемы представляется внедрение троичного компьютера, воплощающего живую, диалектическую логику Аристотеля»²¹⁷.