Если человек соглашался и с первым и со вторым, то выходило, что ему надо признать и вывод. А поскольку вывод абсурден, возникал вопрос о смысле построения рассуждений: можно ли последовательно переходить от одной словесной формулировки к другой, не теряя при этом осмысленности своих суждений? Чтобы оправдать обычную практику произнесения связных текстов, философы были вынуждены сформулировать правила, при которых из истинных суждений делается безошибочный вывод. Эти правила получили название логики.
Законы логики обеспечивают возможность последовательного мышления. Один из них – закон тождества – позволяет расправиться с софизмом «Рогатый». Согласно закону тождества всякое высказывание значит лишь то, что оно значит. Правильно сказать: «то, что ты не потерял, ты не потерял», или же «то, что ты имел и не потерял, ты имеешь», а согласиться с софистом, что «то, что ты не потерял, ты имеешь», будет ошибкой.
Ещё один, не менее важный для логики закон – закон непротиворечия. Об одной и той же вещи нельзя одновременно высказать два противоположных суждения. Почему такой вот английский стишок вызывает у нас улыбку? —
Жила-была девчушка
С забавной завитушкой,
С забавной кучеряшкой,
Спадающей на грудь,
Она была хорошей —
Девчушка с завитушкой,
Но иногда бывала
Такой, что просто жуть!11
Девчушка, с которой здесь нас познакомили, очень симпатичное существо; и когда тебе говорят, что она хорошая, этому легко веришь. Но если стишок на этом оказался бы закончен, вряд ли нам было бы интересно его читать… Несмотря на свою хорошесть, девчушка оказывается такой, что «просто жуть». Новое утверждение разбивает уже сложившийся образ вдребезги, и нам смешно. Противоречие смешит, оно – что-то особенное. Обычное течение речи боится противоречий. Для человека, пытающегося высказать свои мысли, попасться на противоречии – значит попасть впросак. Философа, а тем более логика, противоречие может скорее довести до слёз, чем рассмешить. Идеальный с точки зрения логики, то есть правильно построенный текст должен быть непротиворечивым. Для чего были определены все допустимые способы производства новых суждений из уже имеющихся. Оказалось, содержание суждения не имеет значения, важно лишь знать – истинно оно или ложно; тогда и процедуру вывода новых суждений можно записать в виде формул. Именно поэтому логика в чистом виде получила название формальной логики.
Формальная логика имеет свои границы. Самая большая её беда – то, что она не способна сказать ничего нового по существу. Правильный логический вывод, будучи новым суждением по форме, не содержит в себе нового знания по сравнению с теми суждениями, из которых этот вывод был сделан. Получается, что логика – не орудие познания нового, а лишь инструмент для наведения порядка в уже имеющемся знании. Логики с болью в сердце признали это, когда выяснилось,