Логика

Множество тавтологий бесконечно.

Центральным понятием логики в целом и логики высказываний как её части являются понятия логического закона и логического следования. Они могут быть определены через понятие тавтологии.

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

(А → В)(~ В → ~ А).

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

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

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

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

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

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

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

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

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

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

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

Эти специфические особенности тавтологий пытались истолковать как несомненное доказательство отсутствия какой-либо связи законов логики с действительностью. Законы логики представляют собой априорные, известные до всякого опыта истины. Они не являются бессмысленными, но вместе с тем не имеют и содержательного смысла. Их невозможно ни подтвердить, ни опровергнуть ссылкой на опыт. Их функция – быть каркасом, строительными лесами нашего знания, указывать приемлемые преобразования выражений языка.