Логика для юристов - [30]

Исходные суждения называются посылками умозаключения, а получаемое суждение — заключением.

В логике исследуются умозаключения, осуществляемые на основе или с использованием особенностей логических форм посылок и заключений. Эти умозаключения делятся на дедуктивные и индуктивные. Название “дедуктивные умозаключения” происходит от латинского слова “deductio” (“выведение”). В дедуктивных умозаключениях связи между посылками и заключением представляют собой формально-логические законы, в силу чего при истинных посылках (при истинных исходных знаниях) заключение всегда оказывается истинным. Название “индуктивные умозаключения” происходит от латинского слова “inductio” (“наведение”). Между посылками и заключением в этих умозаключениях имеют место такие связи по формам, которые обеспечивают получение только правдоподобного заключения при истинных посылках. Посредством дедуктивных умозаключений “выводят” некоторую мысль из других мыслей, а индуктивные умозаключения лишь “наводят” на мысль.

А. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

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

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

§ 1. ВЫВОДЫ ЛОГИКИ ВЫСКАЗЫВАНИЙ

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

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

Пример:

Если понятые не приглашены, то процессуальный порядок следственного действия не соблюден. Понятые не приглашены.

Процессуальный порядок следственного действия не соблюден.

Логическая форма этого умозаключения такова:

А → В, А,

________ .

В

Умозаключения такой формы относятся к утверждающему модусу (modus ponens), а умозаключения формы:

А → В,  В

__________

 А

— отрицающему модусу (modus tollens). Умозаключения этих логических форм являются правильными, а умозаключения, например, следующих форм:

А→ В, В,

________ ;

А

А → В,  А

__________

 В

— неправильными. Эти правильные и неправильные способы рассуждения следует запомнить и различать.

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

Примеры:

Если на хлебоприемном пункте систематически создастся неучтенный резерв зерна, то на нем имеет место хищение зерна.

На хлебоприемном пункте имеет место хищение зерна.

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

Форма этого умозаключения:

А→ В,В

________

А

Умозаключение неправильное.

Если человек умирает, не узнав, что такое любовь, то он уносит с собой в могилу свое горе. Человек умер, не полюбив.

____________________________________________________________________

Он унес в могилу свое горе.

Форма: А→ В,А

________

В

Умозаключение правильное.

Упражнение 1

Являются ли правильными следующие условно-категорические умозаключения?

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

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

В данном магазине не реализуются похищенные запчасти.

2. Если бы Косоротов совершил это убийство, то он был бы на месте преступления в ту ночь, когда оно было совершено. В ту ночь, когда оно было совершено, Косоротов не был на месте преступления, так как он был в другом месте. Следовательно, Косоротов не совершил этого убийства.