Такова одна из линий защиты мнения о невозможности строгого обоснования науки о морали, противопоставляющего ее всем другим наукам.

Интересно отметить, что это мнение сравнительно недавнего происхождения, и оно явно противоречит многовековой традиции. Еще не так давно, а именно в конце XVII века, столь же распространенным было прямо противоположное убеждение. Наиболее яркое выражение оно нашло в философии Б. Спинозы. Он был уверен в том, что в этике достижима самая высокая мера точности и строгости, и предпринял грандиозную попытку построить этику по образцу геометрии.

Современник Б. Спинозы английский философ Д. Локк тоже не сомневался в возможности научной этики, столь же очевидной и точной, как и математика. Он полагал, кроме того, что, несмотря на работы «несравненного мистера Ньютона», физика и вообще вся естественная наука невозможна.

Впрочем, отстаивая возможность строгой и точной этики, Б. Спиноза и Д. Локк не были оригинальны. Они только поддерживали и продолжали старую философскую традицию, у истоков которой стояли Сократ и Платон.

Конечно же, никакой реальной альтернативы здесь нет. Вопрос не стоит так, что либо этика без естествознания, либо естествознание без этики. Возможна научная трактовка как природы, так и морали. Одно никоим образом не исключает другого.

И это касается не только добра и долга в сфере морали, но и всех других ценностей и норм, в какой бы области они ни встречались. Несмотря на все своеобразие в сравнении с объектами, изучаемыми естественными науками, оценки и нормы вполне могут быть предметом научного исследования, ведущего к строгим и достаточно точным результатам. «Строгим» и «точным» в том, разумеется, смысле и в той мере, какие характерны именно для этики и наук, говорящих, подобно ей, о ценностях и долге.

Проблема возможности научной этики и подобных ей наук имеет и важный логический аспект.

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

Могут ли два человека, рассуждающие о хорошем и должном, противоречить друг другу? Очевидно, да, и мы постоянно сталкиваемся с таким несогласием мнений. Однако строго аргументированный ответ на этот вопрос предполагает создание особой теории таких рассуждений. Доказательство того, что можно быть логичным и последовательным в суждениях о добре и долге, требует построения логической теории умозаключений с такими суждениями.

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

В обычном языке слово «тавтология» означает повторение того, что уже было сказано; «Жизнь есть жизнь» или «Не повезет так не повезет».

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

Иногда, правда, случается, что тавтология наполняется вдруг каким-то чужим содержанием. Попадая в определенный контекст, она как бы принимается светить отраженным светом.

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

И тем не менее какая-то мысль, какое-то содержание за этой строкой стоит. Оно каким-то образом напоминает о бренности человеческой жизни и особенно жизни солдата, о случайности и, так сказать, неожидаемости момента смерти и о чем-то еще другом.

Один писатель сказал о своем герое: он дожил до самой смерти, а потом умер. Козьме Пруткову принадлежит афоризм: «Не будь цветов, все ходили бы в одноцветных одеяниях». Буквально говоря, это тавтологии и пустота. Но на самом деле смысл здесь все-таки есть, хотя это и не собственный смысл данных фраз, а отражаемый или навеваемый ими смысл.

С легкой руки Л. Витгенштейна слово «тавтология» стало широко использоваться для характеристики законов логики.

Став логическим термином, оно получило строгие определения применительно к отдельным разделам логики. В общем случае логическая тавтология — это выражение, остающееся истинным независимо от того, о какой области объектов идет речь, или «всегда истинное выражение».

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

Например, в формулу «А или не-А», представляющую закон исключенного третьего, вместо переменной А должны подставляться высказывания, то есть выражения языка, являющиеся истинными или ложными. Результаты таких подстановок: «Дождь идет или не идет», «Два плюс два равно нулю или не равно нулю», «Бог существует или его нет» и тому подобное. Каждое из этих сложных высказываний является истинным. И какие бы дальнейшие высказывания ни подставлялись вместо А — как истинные, так и ложные, — результат будет тем же — полученное высказывание будет истинным.

Аналогично в случае формул, представляющих закон противоречия, закон тождества, закон двойного отрицания и т. д. «Неверно, что бог существует и не существует; что дождь идет и не идет; что я иду быстро и не иду быстро» — все это высказывания, полученные из формулы: «Неверно, что А и не-А», и все они являются истинными. «Если бога нет, то его нет; если я иду быстро, то я иду быстро; если два равно нулю, то два равно нулю» — это результаты подстановок в формулу «Если А, то А» и опять-таки истинные высказывания.

Тавтологический характер законов логики послужил отправным пунктом для многих спекуляций по их поводу.

Из тавтологии «Дождь идет или не идет» мы ничего не можем узнать о погоде. Тавтология «Неверно, что бог есть и его нет» ровным счетом ничего не говорит о существовании бога. Ни одна тавтология не несет содержательной информации о мире.

Тавтология не описывает никакого реального положения вещей. Она совместима с любым таким положением. Немыслима ситуация, сопоставлением с которой можно было бы тавтологию опровергнуть.

Эти специфические особенности тавтологий были истолкованы как несомненное доказательство отсутствия какой-либо связи законов логики с действительностью.

Такое «исключительное положение» законов логики среди всех предложений подразумевает прежде всего, что законы логики представляют собой априорные, известные до всякого опыта истины. Они не являются бессмысленными, но вместе с тем не имеют и содержательного смысла. Их невозможно ни подтвердить, ни опровергнуть ссылкой на опыт.

Действительно ли законы логики не несут никакой информации?

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

Мысль об информационной пустоте логических законов является, конечно, ошибочной. В основе ее лежит крайне узкое истолкование опыта, способного подтверждать научные утверждения и законы. Этот опыт сводится к фрагментарным, изолированным ситуациям или фактам. Они достаточны для проверки истинности элементарных описательных утверждений типа «Идет дождь» или «Я иду быстро». Но явно недостаточны для суждения об истинности абстрактных теоретических обобщений, опирающихся не на отдельные, разрозненные факты, а на совокупный, систематический опыт. Даже законы опытных наук, подобных биологии или физике, нельзя обосновать простой ссылкой на факты и конкретику. Тем более это невозможно сделать в случае самых абстрактных из всех законов — законов логики. Они должны черпать свое обоснование из предельно широкого опыта мыслительной, теоретической деятельности. За законами логики стоит, конечно, опыт, и в этом они сходны со всеми иными научными законами. Но опыт не в форме каких-то изолированных, доступных наблюдению ситуаций, а конденсированный опыт всей истории человеческого познания.