§4. Логическая форма и правильность мышления

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

Например, если в предложении «Все люди смертны» мы отвле- чемся от конкретного содержания дескриптивных терминов «люди» и «смертны» и обозначим их соответственно S и P, то получим суж- дение «Все S есть P», которое и будет логической формой вышепри- веденного высказывания. Такую же логическую форму будут иметь и высказывания «Все законы обязательны для исполнения», «Все пла- неты вращаются вокруг Солнца» и т. п. Таким образом, мы получаем целый класс выражений, имеющих одинаковую логическую форму. Точно так же одна логическая форма соответствует высказываниям «Если ты был в Париже, то видел Эйфелеву башню» и «Если число четное, то оно делится на два». Эта форма – «Если р, то q», где сим- вол р заменяет простые суждения «ты был в Париже» и «это число четное», а символ q- соответственно «ты видел Эйфелеву башню» и «оно делится на два».

Логическая форма – это способ связи содержательных частей некоторого контекста, при отвлечении от конкретного содержа- ния этих частей.

Выявление логической формы позволяет нам обнаружить, что независимо от предмета, о котором мы говорим, схема нашего выска- зывания, а следовательно и мысли строится по определенным законам и правилам, не связанным с конкретным содержанием высказываний. Так, если мы имеем истинные посылки «Все А есть В» и «Все В есть С», то из этого следует, что «Все А есть С», что бы мы ни пони- мали под А, В, С.

Логическая форма записи приведенного умозаключения будет выглядеть так:

Все А есть В Все В есть С _{____________}

Все А есть С .

39 §4. Логическая форма и правильность мышления

Теперь мы можем различить такие важные понятия, как правиль- ность и истинность мысли.

Формальная правильность мысли – это соответствие структуры мысли определенным правилам и законам логики.

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

Истинность мысли – это соответствие результатов мышления дей- ствительности.

Логика определяет необходимые, но не достаточные условия истинности содержания мышления. Опираясь на истинные посылки и следуя правилам логики, Вы получите верный результат. Но если Вы в своих рассуждениях и доказательствах используете в качестве аргументов непроверенные факты, ложные утверждения, то следова- ние законам логики Вам вряд ли поможет.

В завершение приведем одну легенду, демонстрирующую разли- чие между формальной правильностью и истинностью мысли.

Легенда о халифе Омаре. Халиф Омар был одним из наиболее прославленных последова- телей создателя новой религии – пророка Мухаммеда. В VII в., вдох- новленные идеей джихада – священной войны против «неверных», воины ислама сокрушали великие некогда династии, завоевывали новые города и государства. Захватив Египет, под предлогом борьбы с язычеством, халиф Омар первым делом уничтожил бесценные сокровища Александрийской библиотеки. Легенда гласит, что отда- вая приказ, он сказал: «Если в этих книгах говорится то, что есть в Коране, то они бесполезны. Если же в них говорится что-нибудь другое, то они вредны. Поэтому и в том, и в другом случае их надо сжечь». Специалисты считают, что это лишь легенда, но нас она инте- ресует с точки зрения логического анализа. Умозаключение халифа Омара построено логически правильно. В его основе лежит двойная дилемма (о чем будет идти речь в главе, посвященной умозаключе- ниям). Но истинность посылок вызывает серьезные сомнения. Поэ- тому мы вряд ли согласимся с его заключением. В данном случае лож- ность заключения обусловлена ложностью посылок, хотя формальная правильность соблюдена.

40 ГЛАВА 1