Выбор такого отношения, как предикация, в качестве основы построения логики отнюдь не исчерпывает всех возможностей и, по-видимому, приводит к сильному обеднению ее содержания. А в рамках неевропейских культурных традиций известны логические системы, основанные на выделении других логических отношений в качестве базисных.

Особенно богатой в этом смысле является индийская логическая традиция 16 .

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

Естественно-языковую аргументацию можно рассматривать как средство трансформации знаний 17 , выраженных естественно-языковыми средствами [Сергеев, 1984]. Соответственно правила вывода в формальной системе трансформируют знания, выраженные средствами формальной системы, аксиомы же представляют из себя «базисное знание». Однако нетрудно заметить, что при таком подходе к формальной логике в центре внимания оказываются вопросы семантики и концептуального анализа (в смысле Р. Шенка), которую традиционная математическая логика вообще пыталась изгнать из рассмотрения.

Отсутствует в традиционной математической логике и понятие модальности, т.е. способа существования объекта. Между тем логика существования является весьма сложным и запутанным предметом, уже в древности порождавшим самые разнообразные взгляды 18 . Способ существования математических объектов – по сей день весьма темный вопрос; ведь именно с ним связаны столь острые дискуссии об основаниях математики – например, борьба между «интуиционистами» и «формалистами» [Representation… 1975]. Разрубание «гордиева узла» путем признания только двух способов существования оппозиций «истина» – «ложь» существенно примитивизирует эту проблему.

Задачей настоящей работы является исследование формальных логических систем, в также возникающих в этих системах парадоксов с точки зрения семиотики.

Как для современной математической логики так и для семиотики основополагающими являются работы Г. Фреге [Фреге, 1977; Фреге, 1978]. Именно в этих статьях и была произведена чрезвычайно важная работа по логической семантике, сделавшая возможной быстрый прогресс математической логики, здесь же были выработаны и обоснованы основные понятия семиотики. На основании анализа естественно-языковых примеров Фреге сумел привести ясные логические аргументы для различения смысла, имени и денотата слова, провести разделение в логическом употреблении слов «вещь» и «понятие», однако это разделение не нашло в полной мере отражения в формальной логике. Основой формализма, исчисления предикатов, и исчисления высказываний стала другая идея Фреге.

В работе «Смысл и денотат» Фреге рассмотрел вопрос о денотате предложения. Он писал: «Итак, мы установили, что вопрос о денотате предложения тесно связан с вопросом о денотатах его частей, а этот вопрос можно ставить тогда, когда нас интересует истинно предложение или ложно. Мы вынуждены, таким образом, признать, что денотатом предложения является его истинностное значение – “истина” или “ложь”, других истинностных значений не бывает» [Фреге, 1977, с. 190]. Эта идея, представлялась в высшей степени спорной уже в то время, когда Фреге писал свои статьи.

Другой немецкий логик В. Виндельбандт высказывал следующие, как представляется, незаслуженно забытые, мысли по поводу логического анализа предложений: «Все предложения, в которых мы выражаем наши взгляды, разделяются, несмотря на видимое грамматическое их тождество, на два резко различающихся класса: на суждения и оценки. В первых высказывается связь двух содержаний сознания, в последних выражается отношение оценивающего сознания к представляемому явлению…» Виндельбандт рассматривает оценку как приписывание суждению онтологического статуса. Кроме того, он обращает внимание на относительность различия между понятием и суждением: «Всякое соединение представлений, которое должно быть совершено в суждении, может в готовом виде быть сформулировано в понятии. А ведь в таком случае связующая функция в предложении и понятии одна и та же… При этих условиях традиционное деление на понятия и суждения оказывается несостоятельным с точки зрения обычной задачи логики, именно установления нормативной системы “форм мышления”: это есть грамматическое, а не логическое деление». [Виндельбандт, 1904, с. 364]. Несмотря на то, что Виндельбандт не делал некоторых тонких различий, введенных Фреге, высказанные им мысли в соединении с аргументацией самого Фреге относительно различения денотата, смысла и имени делают в высшей степени неестественным качественное различие между денотатом имени и денотатом предложения. В конце концов, предложение – это имя объектной ситуации, которую естественно считать его денотатом, в то время как утверждение об истинности или ложности предложения есть оценка. Забегая вперед, отметим, что в математической логике наблюдается тенденция игнорировать различие между двумя указанными выше типами суждений. Подобная ситуация как и наличие всякого логически значимого, но не эксплицированного семантического различения открывает дорогу разнообразным парадоксам.

И наоборот, экспликация семиотических элементов, скрытых в естественно-языковом высказывании, делает невозможным их смещение, часто происходящее даже в естественно-языковых текстах. В частности подобная экспликация существенно проясняет проблемы, связанные с «парадоксами математической логики», которые во многом оказываются следствием слишком простой семиотической модели, лежащей в основе математической логики, модели не производящей даже полученных Фреге семиотических различений.

Можно сформулировать следующий семиотический принцип, на который, как нам кажется, должно опираться любое логическое исчисление: каждое различение смыслов знака, считающееся существенным при семиотическом анализе логической системы, должно быть эксплицировано в обозначениях 19 .

В противном случае при формально логической записи не только не происходит прояснения естественно-языковых высказываний, но, напротив, смысл этих высказываний чрезвычайно затемняется. Дело в том, что в текстах на естественном языке правильное понимание смысла слова, включая и ту его часть, которая определяет логику умозаключения, достигается погружением слова в соответствующий контекст, либо в текст добавляется метатекст (естественно-языковые фрагменты, управляющие способом понимания высказывания). И то, и другое в формальных текстах отсутствует. В идеале они являются контекстно-свободными (хотя в действительности это не всегда так, иногда используются неэксплицированные правила понимания формальных текстов).