English Version Русская версия
ОПИСАНИЕ

Vladimirova Yulia
MSU, мнс, ramil@cs.msu.su

Троичная диалектическая информатика

Базирующаяся на двухзначной логике компьютерная информатика лишена способности осмысленной (интеллектуальной) обработки данных. Отношение содержательного следова-ния, представленное в логике Аристотеля общеутвердительной посылкой, характеризующей нечеткий класс вещей, деградировало в материальную импликацию, которая не отображает взаимосвязи по смыслу: «если 2x2 = 4, то снег бел», и не удовлетворяет силлогизму подчи-нения: из общего «Все A суть B» не следует частное «Некоторое A есть B». Неполноценно-стью двухзначности обусловлена противоестественность компьютерного интеллекта [Gu-osong Liu, http://web.mit.edu/newsoffice/2004/liu.html], пагубность компьютеризации образо-вания [Oppenheimer T. The Flickering Mind], явная бесполезность формальной логики в ре-альных проблемах. Попытки на протяжении веков, особенно в 20-м веке, устранить парадок-сы импликации были тщетными – в двухзначной логике они неизбежны. Логика же Аристо-теля трехзначна. Однако из современных трехзначных импликаций ни одна не отображает следования. Трехзначность – необходимое, но не достаточное условие здравости логики. Адекватность достигается подчинением диалектическому постулату сосуществования про-тивоположностей, лежащему в основе силлогистики Аристотеля. Верно истолкованная (не-извращенная) силлогистика и есть диалектическая логика, но она не совместима с двухзначностью, с «законом исключенного третьего».
В трехзначной алгебре содержательное следование отобразимо нечетким подмножеством декартова произведения взаимосвязанных терминов, кодируемым четверкой трехзначных элементов (тритов). Все правильные модусы категорической силлогистики устанавливаются применением к заданным посылкам стандартной компьютерной процедуры извлечения со-держащихся в пересечении этих посылок заключений. Осуществленная таким путем аристо-телева непарадоксальная дедукция есть безупречное начало троичной диалектической ин-форматики.

©2006 PetrSU | Copyright
information
sponsors:
 
sponsors: