Вот два примера дедуктивных выводов из рассказа русского юмориста начала века В. Билибина.

“Если бы на свете не существовало солнца, то пришлось бы постоянно жечь свечи и керосин.

Если бы пришлось постоянно жечь свечи и керосин, то чиновникам не хватало бы их жалованья и они брали бы взятки.

Следовательно, чиновники не берут взяток потому, что на свете существует солнце”.

“Если бы быки и куры ходили зажаренными, то не нужно было бы разводить печи и, значит, было бы меньше пожаров.

Если бы было меньше пожаров, страховые общества не повысили бы так жестоко страховую премию.

Следовательно, страховые общества повысили так жестоко страховую премию потому, что быки и куры не ходят зажаренными”.

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

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

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

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

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

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

Вот некоторые из наиболее часто используемых схем.

“Если есть первое, то есть второе; есть первое, следовательно, есть второе”. Эта схема позволяет от утверждения условного высказывания и утверждения его основания, перейти к утверждению следствия. Для логически правильного перехода конкретное содержание посылок и заключения не имеет значения, важен только способ их связи. Поэтому в схеме вместо высказываний с определенным содержанием используются “бессодержательные” обороты “есть первое” и “есть второе”. По рассматриваемой схеме протекает, в частности, рассуждение: “Если лед нагревается, он тает; лед нагревается; значит, он тает”.

Это логически корректное движение мысли иногда путается со сходным, но логически неправильным ее движением от утверждения следствия условного высказывания к утверждению его основания: “если есть первое, то есть второе, есть второе; значит, есть первое”. Последняя схема не является логическим законом, от истинных посылок она может привести к ложному заключению. Скажем, идущее по этой схеме рассуждение “Если у человека повышенная температура, он болен; человек болен; следовательно, у него повышенная температура” ведет к ошибочному заключению, что болезнь протекает всегда с повышением температуры.

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

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

“Если есть первое, то есть второе; следовательно, если нет второго, то нет и первого”. Эта схема позволяет, используя отрицание, менять местами высказывания. К примеру, из высказывания “Если есть следствие, есть также причина” получается высказывание “Если нет причины, нет и следствия”.

“Есть по меньшей мере первое или второе; но первого нет; значит, есть второе”. Например: “Бывает день или ночь; сейчас ночи нет; следовательно, сейчас день”.

“Неверно, что есть и первое, и второе; следовательно, нет первого или нет второго”; “есть первое или есть второе; значит, неверно, что нет первого и нет второго”. Эти и близкие им схемы позволяют переходить от утверждений с союзом “и” к утверждениям с союзом “или”, и наоборот. Используя данные схемы, от утверждения “Неверно, что изучение логики трудно н бесполезно” можно перейти к утверждению “Изучение логики не является трудным или же оно не бесполезно” н от утверждения “Амундсен или Скотт был первым на Южном полюсе” перейти к утверждению “Неверно, что ни Амундсен, ни Скотт не является первым человеком, побывавшим на Южном полюсе”.

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