Логика - Страница 55

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Правильное, или, как обычно говорят, логичное мышление — это мышление по законам логики, по тем абстрактным схемам, которые фиксируются ими. Отсюда понятна вся важность данных законов.