Ответ на этот вопрос не представляет, однако, труда. Ни одно из двух утверждений: "Дух — зеленый" и "Дух — не зеленый" не является истинным, поскольку оба они бессмысленные. Закон исключенного третьего приложим только к осмысленным высказываниям. Только они могут быть истинными или ложными. Бессмысленное же не истинно и не ложно.

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

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

Допустим, что утверждается существование объекта с определенным свойством. Если множество, в которое входит этот объект, конечно, то можно перебрать все объекты. Это позволит выяснить, какое из следующих двух утверждений истинно: "В данном множестве есть объект с указанным свойством" или же "В этом множестве нет такого объекта". Закон исключенного третьего здесь справедлив.

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

Ограничение Брауэром сферы действия этого закона существенно сужало круг тех способов рассуждения, которые применимы в математике. Это сразу же вызвало резкую оппозицию многих математиков, особенно старшего поколения. "Изъять из математики принцип исключенного третьего, — заявлял немецкий математик Д. Гильберт, — все равно, что запретить боксеру пользоваться кулаками.

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

С законом исключенного третьего косвенно связан следующий методологический принцип: анализ каждого объекта должен вестись до тех пор и быть настолько полным, чтобы относительно любого утверждения об этом объекте можно было решить, истинно оно или нет. Это требование полноты и всесторонности исследования не относится, конечно, к законам логики. Оно полезно, но нередко оказывается невыполнимым. В случае рассуждений о бесконечных и неопределенных совокупностях объектов, об изменяющихся, текущих состояниях и т. п. изучение объекта не всегда способно достичь такой полноты, чтобы на любой вопрос о нем удалось ответить однозначно "да" или "нет".

4. Логические законы тождества, двойного отрицания и другие

Закон тожества

Внешне самым простым из логических законов является закон тождества. Он говорит: если высказывание истинно, то оно истинно. Иначе говоря, каждое высказывание вытекает из самого себя и является необходимым и достаточным условием своей истинности. Символически:

А → А,

если А, то А. Например: "Если дом высокий, то он высокий", "Если трава черная, то она черная" и т. п.

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