Единое ничто. Эволюция мышления от древности до наших дней

Рассмотрим импликацию сужений «я не получил зарплату» и «я купил машину». Допустим, что «я не получил зарплату» есть неубедительное отрицание, а «я купил машину» есть неубедительное утверждение. Тогда выражение «если я не получил зарплату, то я купил машину» окажется убедительным утверждением (см. рис. 9). Аналогично и любое другое неубедительное отрицание в начале импликации приводит к убедительному утверждению в результате. Заметим, однако, что если мы выберем другое направление для отрицания (против часовой стрелки), то окажется, что неубедительное утверждение как первый член импликации всегда приводит к убедительному утверждению в его результате. В этом случае отрицание было бы эквивалентно умножению на мнимую единицу со знаком минус.

Подобная четверичная логика, несомненно, не может использоваться для выведения строгих логических суждений об истинности или ложности чего-либо, но может быть базой для моделирования поведения в ситуации оценки некоей характеристики убеждённости, например субъективной убеждённости в чём-то. В этом смысле очень важно учитывать, что каждый человек имеет свои представления о критериях убедительности получаемых сведений, поэтому логика убеждённости – это инструмент математического описания более сложных интуитивных суждений, нежели классические бинарные.

Важно отметить, что четверичная логика по сути двухмерна. А это означает, что она допускает более сложные модели, чем нечёткая вероятностная логика, оперирующая в рамках одной оси, например, оси истинности (вероятности) от 0 до 1. В четверичной логике, как отмечалось, есть ось степени убеждённости и ось степени утвердительности. Суждения здесь могут быть не только убедительными или неубедительными, но и утверждающими и отрицающими, или антиутверждающими. (Поэтому здесь, в частности, открывается путь для разработки двухмерной нечёткой вероятностной логики.)

Ранее мы привели пример суждения «я не получил зарплату» как суждения антиутверждающего типа, однако его отрицательная форма была выбрана только для наглядности. По сути, антиутверждением в смысле характеристики «отрицательность» может обладать любое суждение, в том числе и «я получил зарплату». Отрицательность суждения здесь означает, что оно, например, внутренне противоречиво или обладает интонацией смысла. В целом введение второй логической оси связано с расширением интуитивных описательных возможностей для формальной логики. Например, говоря «да» или «конечно», с помощью интонации человек может обогащать смысл этих суждений вплоть до «нет», «никогда», «ни в коем случае».

Интересно заметить, что четверичная логика является полной в том смысле, что допускает естественную математическую интерпретацию. Здесь имеет место полнота набора интерпретаторов, в отличие, например, от тернарной логики. При этом каждое измерение задаётся парой полюсов «убедительно – неубедительно», «утвердительно – антиутвердительно» (или, скажем, «противоречиво – непротиворечиво»). Классическая двоичная логика тоже полна и определена на оси «истинно – ложно», но, например, троичная логика не обладает полнотой. Следующей полной логикой, которая бы ещё больше приблизила математику машин к математике интуитивных логических суждений человека, была бы, видимо, восьмеричная (или трёхмерная). Мы бы назвали её, например, логикой надежды в соответствии с идеями развития форм человеческого мышления, изложенными в статье[108].

Не вызывает сомнений тот факт, что человек, в отличие от машины, использует более гибкие математические модели. Причём не только для решения тех или иных общих задач (artificial general intelligence)

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

Идея двухмерной и более-мерной логики, обсуждаемая в статье, пересекается с двухаспектной теорией Дэвида Чалмерса или с двумерной семантикой в модальной логике[109]. Однако обе концепции обладают слабостью, а точнее, необходимостью выводить связь двух аспектов или измерений. Логика, обсуждаемая в данной статье, вводит оба измерения органически, поэтому их связь является здесь исходной позицией.

Часть 3. Сознание – это не-информация

По каким принципам работает мозг