Логика для юристов: Учебник.

2. Как можно квалифицировать призыв к набатному звону? «...Физиономия Совета вполне характеризуется воззванием, которое призывает: “Организуйтесь в союзы мирян, объединяйтесь повсеместно при реквизициях церковного имущества, в крайних случаях — бейте прямо в набат.” (Напомним, что 30 июля 1918 г. Совнаркомом было принято специальное постановление “О набатном звоне”, в котором говорилось, что виновные в созыве населения набатным звоном с контрреволюционными целями предаются революционному трибуналу.)» (Крыленко Н.В. Речь по делу бывшего обер-прокурора синода Самарина и других // Судебные речи советских обвинителей. М., 1965. С. 52)

Контрольные вопросы

1. В чем различие между суждениями, вопросами и норма-, ми? 2. Каков состав и каковы виды атрибутивных суждений?! 3. Каковы виды суждений об отношениях? 4. Каковы виды сложных суждений? 5. Как производится отрицание атрибутивных суждений и суждений об отношениях? 6. Как отрицаются сложные суждения? 7. Каковы основные виды отношений между суждениями? 8. Отношения между какими суждениями выражаются посредством логического квадрата и логического квазишестиугольника? 9. Какие вопросы являются некорректными? Каковы виды некорректности вопросов? 10. В чем различие между нормой и утверждением о норме? 11. Как соотносятся понятия “обязательно”, “разрешено” и “запрещено”?

ГЛАВА V УМОЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

Пример:

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

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

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

А -> В, А,

________ .

В

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

А -> В, В

__________

А

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

А-> В, В,

________ ;

А

А -> В, А

__________

В

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