Умозаключения. Виды умозаключений

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

Умозаключение - это непосредственный переход от одного или нескольких высказываний А 1 , А 2 , …, А n к высказыванию В. А 1 , А 2 , …, А n называют посылками. Посылка может быть одна, их может быть две, три, четыре, в принципе - сколько угодно. В посылках содержится известная нам информация. В - это заключение. В заключении находится уже новая информация, которую мы извлекли из посылок с помощью специальных процедур. Эта новая информация уже содержалась в посылках, но в скрытом виде. Так вот задача умозаключения сделать это скрытое явным. Кроме того, иногда посылки называют аргументами, а заключение - тезисом, а само умозаключение в этом случае называют обоснованием. Разница между умозаключением и обоснованием состоит в том, что в первом случае, мы не знаем, к какому заключению мы придём, а во втором - тезис нам уже известен, мы просто хотим установить его связь с посылками-аргументами.

В качестве иллюстрации умозаключения можно взять рассуждения Эркюля Пуаро из «Убийства в восточном экспрессе» Агаты Кристи:

Но я почувствовал, что он перестроился на ходу. Предположим, он хотел сказать: «А разве ее не сожгли?» Следовательно, Маккуин знал и о записке, и о том, что ее сожгли, или, говоря другими словами, он был убийцей или пособником убийцы.

Над чертой располагаются посылки, под чертой - заключение, а сама черта обозначает отношение логического следования.

Критерии истинности умозаключений

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

Второй аспект - это правильность самого умозаключения с точки зрения его логической формы. Дело в том, что истинность посылок - это важное, но недостаточное условие для того, чтобы заключение было правильным. Нередки ситуации, когда посылки истинны, но заключение неверно. В качестве примера неправильного умозаключения при истинности посылок можно привести умозаключение голубки из «Алисы в стране чудес» Кэрролла. Голубка обвиняет Алису, в том, что она не змея. Вот как она приходит к этому выводу:

Змеи едят яйца.
Девочки едят яйца.
Значит, девочки - это змеи.

Хотя посылки правильные, заключение абсурдно. Умозаключение в целом сделано неверно. Чтобы избежать подобных ошибок, логики выявили такие умозаключения, логические формы которых при истинности посылок гарантируют истинность заключения. Их принято называть правильными умозаключениями. Таким образом, чтобы умозаключение было сделано верно, нужно следить за истинностью посылок и за правильностью самой формы умозаключения.

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

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

Начнём с отношений подчинения . Мы уже сталкивались с ними в четвёртом уроке, когда рассматривали условия истинности для частно-утвердительных и частно-отрицательных высказываний. Мы говорили, что из высказывания «Все S есть P» будет логичным вывести высказывание «Некоторые S есть P», а из высказывания «Ни один S не есть P» - «Некоторые S не есть P». Таким образом, возможны следующие типы умозаключений:

• Все S есть P
• Некоторые S есть P
• Все птицы имеют клюв. Следовательно, некоторые птицы имеют клюв.
• Ни один S не есть P
• Некоторые S не есть P
• Ни один гусь не хочет быть пойман и зажарен. Следовательно, некоторые гуси не хотят быть пойманными и зажаренными.

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

• Неверно, что все S есть P
• Неверно, что некоторые автомобили не имеют колёс. Поэтому неверно, что все автомобили не имеют колёс.
• Неверно, что все S не есть P
• Неверно, что некоторые вина не являются спиртными напитками. Таким образом, неверно, что все вина не являются спиртными напитками.

Отношение контрарности (противоположности) означает, что высказывания типа «Все S есть P» и «Ни один S не есть P» не могут быть одновременно истинными, но они могут быть одновременно ложными. Это хорошо видно из таблицы истинности для категоричных атрибутивных высказываний, которую мы построили в прошлом уроке. Отсюда можно вывести так называемый закон контрарного противоречия: Неверно, что все S есть P и в то же время ни один S не есть P.

По закону контрарного противоречия будут истинными следующие виды умозаключений:

• Все S есть P
• Все яблоки - это фрукты. Следовательно, неверно, что ни одно яблоко не является фруктом.
• Ни один S не есть P
• Неверно, что все S есть P
• Ни один кит не умеет летать. Поэтому неверно, что все киты умеют летать.

Отношения субконтрарности (подпротивоположности) означают, что высказывания типа «Некоторые S есть P» и «Некоторые S не есть P» не могут быть одновременно ложными, хотя могут быть одновременно истинными. На этом основании может быть сформулирован закон субконтрарного исключённого третьего: Некоторые S не есть P или Некоторые S есть P.

• Согласно этому закону правильными будут следующие умозаключения:
• Неверно, что некоторые S есть P
• Некоторые S не есть P
• Неверно, что некоторые продукты полезны для здоровья. Поэтому некоторые продукты не полезны для здоровья.
• Неверно, что некоторые S не есть P
• Некоторые S есть P
• Неверно, что некоторые ученики из нашего класса не являются двоечниками. Таким образом, некоторые ученики из нашего класса являются двоечниками.

Отношения противоречия (контрадикторности) говорят о том, что высказывания, находящиеся в них, не могут быть одновременно истинными или ложными. На основании этих отношений можно сформулировать два закона противоречия и два закона исключённого третьего. Первый закон противоречия: Неверно, что все S есть P и некоторые S не есть P. Второй закон противоречия: Неверно, что ни один S не есть P и некоторые S есть P. Первый закон исключённого третьего: Все S есть P или некоторые S не есть P. Второй закон исключённого третьего: Ни один S не есть P или некоторые S есть P.

На этих законах строятся умозаключения следующих видов:

• Все S есть P
• Неверно, что некоторые S не есть P
• Все дети нуждаются в заботе. Следовательно, неверно, что некоторые дети не нуждаются в заботе.
• Некоторые S не есть P
• Неверно, что все S есть P
• Некоторые книги не являются скучными. Поэтому, неверно, что все книги являются скучными.
• Неверно, что все S есть P
• Некоторые S не есть P
• Неверно, что все сотрудники нашей фирмы усердно работают. Таким образом, некоторые сотрудники нашей фирмы не работают усердно.
• Неверно, что некоторые S не есть P
• Все S есть P
• Неверно, что некоторые зебры не имеют полосок на коже. Следовательно, все зебры имеют полоски на коже.
• Ни один S не есть P
• Неверно, что некоторые S есть P
• Ни одна картина в этом зале не относится к XX веку. Поэтому неверно, что некоторые картины в этом зале относятся к XX веку.
• Некоторые S есть P
• Неверно, что ни один S не есть P
• Некоторые студенты занимаются спортом. Таким образом, неверно, что ни один студент не занимается спортом.
• Неверно, что ни один S не есть P
• Некоторые S есть P
• Неверно, что ни один учёный не интересуется искусством. Следовательно, некоторые учёные интересуются искусством.
• Неверно, что некоторые S есть P
• Ни один S не есть P
• Неверно, что некоторые коты курят сигары. Таким образом, ни один кот не курит сигары.

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

Ещё одним видом однопосылочных умозаключений является обращение. Это такой тип умозаключений, при которых субъект посылки совпадает с предикатом заключения, а субъект заключения совпадает с предикатом посылки. Грубо говоря, в заключении S и P просто меняются местами.

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

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

Итак, существует два вида обращения: чистое и с ограничением. Чистое обращение происходит тогда, когда количественная характеристика не изменяется, то есть если в посылке было слово «все», то и в заключении тоже будет слова «все»/«ни один», если в посылке слово «некоторые», то и в заключении «некоторые. Соответственно, при обращении с ограничением количественная характеристика меняется: были «все», а стали «некоторые». Для высказываний типа «Ни один S не есть P» и «Некоторые S есть P» правильным будет следующее чистое обращение:

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

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

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

Упражнение «Подберите ключ»

В этой игре вам нужно создать ключ правильной формы. Для этого установите засечки нужной длины (от 1 до 3, 0 – быть не может), а затем нажмите кнопку «Попробовать». Вам будут даны 2 суждения, сколько засечек выбранной длины присутствуют в ключе (для простоты значение «наличие»), и сколько из выбранных находятся на своём месте (для простоты значение «на месте»). Скорректируйте своё решение и пробуйте, пока не подберёте ключ.

Упражнения

Сделайте все возможные умозаключения из следующих высказываний по логическому квадрату:

• Все медведи на зиму залегают в спячку.
• Неверно, что все люди завистливы.
• Ни один гном не достигает роста в два метра.
• Неверно, что ни один человек не был на Северном полюсе.
• Некоторые люди никогда не видели снега.
• Некоторые автобусы ходят по расписанию.
• Неверно, что некоторые слоны летали на луну.
• Неверно, что некоторые птицы не имеют крыльев.

Сделайте обращения с теми, высказываниями, с которыми это возможно:

• Никто ещё не построил машину времени.
• Некоторые официанты очень назойливы.
• Все профессионалы опытны в своём деле.
• Некоторые книги не имеют твёрдой обложки.

Проверьте, правильно ли сделаны следующие умозаключения:

• Некоторые кролики не носят белые перчатки. Следовательно, некоторые кролики носят белые перчатки.
• Неверно, что никто не был на Луне. Таким образом, некоторые люди были на Луне.
• Все люди смертны. Поэтому все смертные - это люди.
• Некоторые птицы не умеют летать. Следовательно, некоторые существа, не умеющие летать, это птицы.
• Ни один ягнёнок не имеет пристрастия к виски. Следовательно, ни одно существо, имеющее пристрастие к виски, не является ягнёнком.
• Некоторые морские животные млекопитающие. Таким образом, неверно, что ни одно морское животное не является млекопитающим.

Проверьте свои знания

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

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

Изучением этих основ занимается логика.

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

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

Исследование форм мышления

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

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

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

Этот вид познавательной деятельности не сможет установить ничего нового про понятие, суждение, умозаключение.

Что касается абстрактного мышления, то для своих исследований оно использует такие инструменты:

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

Презентация: "Основные понятия логики. Логика-наука о формах мышления"

Что подразумевают под понятием

Понятие – это определение предмета при помощи одного или нескольких признаков.

Как формируются в человеческом сознании понятия, было известно еще Аристотелю.

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

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

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

Исследование процессов формирования понятий

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

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

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

Презентация: "История науки алгебры логики"

• признаки предметов, по которым формируется понятие;
• виды понятий;
• интенсиональность и экстенсиональность понятий;
• отношения между понятиями;
• обобщение понятий.

Признаки предметов для определения понятий

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

Самый простой подход к выявлению понятия – слово. Одно слово – одно понятие.

Есть, конечно, и сложные понятия, для формирования которых требуется несколько слов, а то и предложений. Однако основные понятия все-таки эквивалентны слову.

При упоминании слова «соль» человек автоматически вводит в свой текущий мыслительный процесс все основные свойства, присущие соли (соленая, белая, сыпучая). В данном случае соль – понятие, а соленая, белая, сыпучая – признаки.

Признак – характерная черта предмета, по которой определяется сходство этого предмета с другими, или их различие.

В связи с тем, что каждый предмет имеет массу признаков, для удобства эти признаки разделены на:

• основные признаки – выражают сущность предмета (соль – соленая);
• второстепенные признаки – дают второстепенную характеристику (соль – белая).

Презентация: "Основы логики"

Виды понятий

Классифицируются не только признаки, но и сами понятия. При этом практически не существует классификаций понятий по признакам. Считается, что это очень громоздкая и неинформативная классификация.

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

Основные виды:

• очевидные;
• единичные;
• конкретные;
• безотносительные.

Интенсиональность и экстенсиональность понятий

Чтобы отличать часть от целого, род от вида, а свойство от отношения, понятия характеризуются такими качествами как суть (интенсиональность) и объем (экстенсиональность).

1. Суть понятия представляет собой множество всех существенных признаков его предмета, при этом каждый признак может быть выделен как отдельное понятие. Пример: Государство – суверенная организация, которая имеет собственную территорию и специальный аппарат для управления и принуждения. Понятие «государство» охарактеризовано целым рядом признаков, которые могут выступать самостоятельными понятиями: организация, территория, аппарат управления, аппарат принуждения.

1. Экстенсиональность понятия – совокупность других понятий, для которых это понятие может быть их существенным признаком. Пример: Понятие треугольник является существенным признаком для всего множества треугольников (прямоугольные, равнобедренные).

Отношения между понятиями

Многообразие понятий и взаимосвязей, существующих между ними, обусловило необходимость создания системы отношений. На данный момент самыми употребляемыми являются две следующие системы:

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

Обобщение

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

Основа обобщения – это абстрагирование от характерных признаков предмета понятия и пошаговое распределение понятий по видам, по родам, классам и т.д.

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

Суждение

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

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

Истинность суждения состоит в том, что оно достоверно отражает все явления окружающей действительности, на которые направлено.

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

• состав такой формы мышления;
• виды именно этих форм мышления;
• истинность таких форм мышления.

Состав суждений

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

Данное описание повествования в точности отражает состав суждения:

1. Субъект мысли – его предмет – то, о чем повествуется или что отрицается.
2. Предикат – признак или совокупность признаков предмета. Причем речь идет только о тех признаках, которые содержатся в суждении.
3. Логическая связка, которая в зависимости от утверждения, может выражаться словами «есть», «это» и т.д. Пример: Корова – это травоядное животное. Корова – субъект, травоядное животное – предикат, это – связка. В отрицании мысль формируется с участием частицы «не» или наречия «неверно». Неверно, что комар – это рептилия.

Виды суждений

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

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

В свою очередь, и простые, и сложные мысли имеют более детальное разделение на виды.

Презентация: "Логика"

Виды простых суждений

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

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

Виды сложных суждений

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

Существует шесть видов логических связок и, соответственно, шесть видов сложных суждений.

1. Отрицание характеризуется наличием между простыми суждениями логической связки «не» или «неверно». Пример: Тот, кто работает, не является бездельником.
2. Соединений или умножение. Это сложное суждение состоит из простых мыслей, которые соединены умножающей логической связкой «и». Пример: кошка ловит мышей и складывает их у порога.
3. Суждение нестрогой дизъюнкции. Сложная мысль, где простые находятся между собой в логической связке «или». Пример: он мог выбрать мясо или приобрести рыбу.
4. Суждение строгой дизъюнкции, в его составе простые мысли соединяются связкой «либо». Пример: Он мог взять либо красный свитер, либо желтые штиблеты.
5. Эквивалентное суждение, определяется уравнением его составных частей при помощи логической связки. Пример: Торт весит два килограмма, так же, как и большой арбуз.

1. Импликационное суждение предполагает наличие мысли-посылки, из которой сделан вывод. Пример: Если я не высплюсь, то завтра у меня будет болеть голова.

Истинность суждений

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

Причины, которые затрудняют установление истинности суждения:

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

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

1. Критерии истинности для отрицания – если хотя бы одно суждение в отрицающей конструкции ложно, то вся конструкция ложна.
2. Критерии истинности соединительного суждения – если хотя бы одно из суждений соединяющей конструкции ложно, то вся конструкция ложна.
3. Критерий истинности нестрогого разделения (неисключающего) – конструкция истинна во всех случаях, но только не тогда, когда оба суждения в ней ложны.
4. Критерий истинности разделительного исключающего суждения – конструкция истинна тогда, когда одно из суждений ложно, а ложна, когда все суждения истинны, либо все суждения ложны.
5. Критерии истинности тождества – конструкция ложна, когда хотя бы одно из суждений в ней ложно. Кроме того, конструкция истинна, когда оба утверждения в ней ложны.
6. Критерий истинности условного суждения – конструкция ложна только тогда, когда выведенное из истинной посылки заключение – ложно. Во всех остальных случаях, такая конструкция истинна.

Умозаключение

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

Презентация: "Умозаключение"

Преимущества:

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

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

Виды умозаключений

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

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

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

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

Силлогизм

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

Построение силлогизма имеет свои правила подбора посылок.

1. Нельзя вывести правильный вывод из двух неопределенных утверждений (некоторые цветы – лютики, некоторые птицы – вороны)
2. Из отрицательных утверждений невозможно получить вывод.

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

Пример: У всех млекопитающих есть желудок. У червей нет желудка. Черви – не млекопитающие.

Субъектный термин – тот, который определяет субъект заключения (черви).

Предикатный – определяет предикат заключения (млекопитающие).

Понятие-пересечение – область пересечения (желудок).

Умозаключение - это форма мышления, в которой из двух или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением (выводом). Например:

Все живые организмы питаются влагой.

Все растения - это живые организмы.

=> Все растения питаются влагой.

В приведенном примере первые два суждения являются посылками, а третье - выводом. Посылки должны быть истинными суждениями и должны быть связаны между собой. Если хотя бы одна из посылок ложна, то и вывод ложен:

Все птицы - это млекопитающие животные.

Все воробьи - это птицы.

=> Все воробьи - это млекопитающие животные.

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

Все планеты - это небесные тела.

Все сосны являются деревьями.

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

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

В непосредственных умозаключениях вывод делается из одной посылки. Например:

Все цветы являются растениями.

=> Некоторые растения являются цветами.

Верно, что все цветы являются растениями.

=> Неверно, что некоторые цветы не являются растениями.

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

В опосредованных умозаключениях вывод делается из нескольких посылок. Например:

Все рыбы - это живые существа.

Все караси - это рыбы.

=> Все караси - это живые существа.

Опосредованные умозаключения делятся на три вида: дедуктивные, индуктивные и умозаключения по аналогии.

Дедуктивные умозаключения (дедукция) (от лат. deductio - «выведение») - это умозаключения, в которых из общего правила делается вывод для частного случая (из общего правила выводится частный случай). Например:

Все звезды излучают энергию. Солнце - это звезда.

=> Солнце излучает энергию.

Как видим, первая посылка представляет собой общее правило, из которого (при помощи второй посылки) вытекает частный случай в виде вывода: если все звезды излучают энергию, значит, Солнце тоже ее излучает, потому что оно является звездой.

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

Объемы трех понятий: звезды (3); тела, излучающие энергию (Т) и Солнце (С) схематично расположатся следующим образом (рис. 33).

Если объем понятия звезды включается в объем понятия тела, излучающие энергию , а объем понятия Солнце включается в объем понятия звезды, то объем понятия Солнце автоматически включается в объем понятия тела, излучающие энергию, в силу чего дедуктивный вывод и является достоверным.

Несомненное достоинство дедукции заключается в достоверности ее выводов. Вспомним, известный литературный герой Шерлок Холмс пользовался дедуктивным методом при раскрытии преступлений. Это значит, что он строил свои рассуждения таким образом, чтобы из общего выводить частное. В одном произведении, объясняя доктору Ватсону сущность своего дедуктивного метода, он приводит такой пример. Около убитого полковника Эшби сыщики Скотланд-Ярда обнаружили выкуренную сигару и решили, что полковник выкурил ее перед смертью. Однако Шерлок Холмс неопровержимо доказывает, что полковник нс мог выкурить эту сигару, потому что он носил большие, пышные усы, а сигара выкурена до конца, т. е., если бы ее курил полковник Эшби, то он непременно подпалил бы свои усы. Следовательно, сигару выкурил другой человек.

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

Любой человек с большими, пышными усами не может

выкурить сигару до конца.

Полковник Эшби носил большие, пышные усы.

=> Полковник Эшби не мог выкурить сигару до конца.

Индуктивные умозаключения (индукция) (от лат. inductio - «наведение») - это умозаключения, в которых из нескольких частных случаев выводится общее правило. Например:

Юпитер движется.

Марс движется.

Венера движется.

Юпитер, Марс, Венера - это планеты.

=> Все планеты движутся.

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

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

Умозаключения по аналогии (аналогия) (от греч. analogia - «соответствие») - это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Например:

Планета Земля расположена в Солнечной системе, на ней есть атмосфера, вода и жизнь.

Планета Марс расположена в Солнечной системе, на ней есть атмосфера и вода.

=> Вероятно, на Марсе есть жизнь.

Как видим, сопоставляются два объекта (планета Земля и планета Марс), которые сходны между собой в некоторых существенных, важных признаках (находиться в Солнечной системе, иметь атмосферу и воду). На основе данного сходства делается вывод о том, что, возможно, эти объекты сходны между собой и в других признаках: если на Земле есть жизнь, а Марс во многом похож на Землю, то не исключено наличие жизни и на Марсе. Выводы аналогии, как и выводы индукции, вероятностны.

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

Логической формой получения выводных знаний является умозаключение.

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

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

Например: «Судья не может принимать участие в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, судья Н. не может принимать участие в рассмотрении дела (3)». В этом умозаключении (1) и (2) суждения – посылки, а (3) – заключение.

При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу (значит, поэтому и др.) под чертой обычно не пишутся. В соответствии с этим приведенный нами пример выглядит так:

Судья не может принимать участие в рассмотрении дела, если он является потерпевшим.

Судья Н. – потерпевший.

Судья Н. не может принимать участие в рассмотрении дела.

Отношение логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. Например, из суждений: «Судья не может принимать участие в рассмотрении дела, если он является потерпевшим» и «Обвиняемый имеет право на защиту» нельзя получить заключения, так как эти суждения не имеют общего содержания и, следовательно, логически не связаны друг с другом.

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

Умозаключения делятся на следующие виды:

1) в зависимости от строгости правил вывода: демонстративные – заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон; недемонстративные – правила вывода обеспечивают лишь вероятностное следование заключения из посылок.

2) по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении: дедуктивные – от общего знания к частному; индуктивные – от частного знания к общему; умозаключения по аналогии – от частного знания к частному.

Дедуктивные умозаключения – это такая форма абстрактного мышления, в которой мысль развивается от знания большей степени общности к знанию меньшей степени общности, а заключение, вытекающее из посылок, с логической необходимостью носит достоверный характер. Объективной основой ДУ является единство общего и единичного в реальных процессах, предметах окр. мира.

Процедура дедукции имеет место в том случае, когда информация посылок содержит информацию, выраженную в заключении.

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

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

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

По характеру логического следования все умозаключения делятся на необходимые (демонстративные) иправдоподобные (недемонстративные, вероятные). Необходимые умозаключения — такие, в которых истинное заключение обязательно следует из истинных посылок (т. е. логическое следование в таких выводах представляет собой логический закон). К необходимым умозаключениям относятся все виды дедуктивных умозаключений и некоторые виды индуктивных («полная индукция»).

Правдоподобные умозаключения — такие, в которых заключение следует из посылок с большей или меньшей степенью вероятности. Например, из посылок: «Студенты первой группы первого курса сдали экзамен по логике», «Студенты второй группы первого курса сдали экзамен по логике» и т. п. следует «Все студенты первого курса сдали экзамен по логике» с большей или меньшей степенью вероятности (что зависит от полноты наших знаний обо всех труппах студентов первого курса). К правдоподобным умозаключениям относятся индуктивные и умозаключения по аналогии.

Дедуктивное умозаключение (от лат. deductio — выведение) — такое умозаключение, в котором переход от общего знания к частному является логически необходимым.

Путем дедукции получаются достоверные выводы: если истинны посылки, то будут истинны и заключения.

Пример:

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

Петров совершил преступление.

Петров должен быть наказан.

Индуктивное умозаключение (от лат. inductio — наведение) — такое умозаключение, в котором переход от частного знания к общему осуществляется с большей или меньшей степенью правдоподобности (вероятности).

Например:

Кража — уголовное преступление.

Грабеж — уголовное преступление.

Разбой - уголовное преступление.

Мошенничество — уголовное преступление.

Кража, грабеж, разбой, мошенничество — преступления против собственности.

Следовательно, все преступления против собственности – уголовные преступления.

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

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

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

2. Непосредственные умозаключения

Непосредственные умозаключения — такие, в которых заключение выводится из одной посылки. Например, из суждения «Все адвокаты — юристы» можно получить новое суждение «Некоторые юристы — адвокаты». Непосредственные умозаключения дают нам возможность выявить знание о таких сторонах предметов, которое уже содержалось в исходном суждении, но не было явно выражено и явно осознано. В этих условиях мы делаем неявное — явным, неосознанное — осознанным.

К непосредственным умозаключениям относятся: превращение, обращение, противопоставление предикату, умозаключение по «логическому квадрату».

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

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

Если посылка записана в форме суждения «Не все S суть Р» , то его надо преобразовать в частноотрицательное: «Некоторые S не суть Р».

Примеры и схемы превращения:

А:

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

Ни один студент первого курса не изучает не логику.

Схема:

Все S суть Р.

Ни одно S не суть не-Р.

Е: Ни одна кошка не является собакой.

Всякая кошка является не-собакой.

Ни один S не есть Р.

Все S есть не-Р.

I: Некоторые адвокаты суть спортсмены.

Некоторые адвокаты не суть не-спортсмены.

Некоторые S суть Р.

Некоторые S не суть не-Р.

О: Некоторые адвокаты не суть спортсмены.

Некоторые адвокаты суть не-спортсмены.

Некоторые S не суть Р.

Некоторые S суть не-Р.

Обращение — такое непосредственное умозаключение, в котором происходит перемена мест субъекта и предиката при сохранении качества суждения.

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

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

Примеры и схемы обращения:

А: Общеутвердительное суждение обращается в частноутвердительное.

Все адвокаты — юристы.

Некоторые юристы — адвокаты.

Все S суть Р.

Некоторые Р суть S.

Общеутвердительные выделяющие суждения обращаются без ограничения. Всякое правонарушение (и только правонарушение) суть противоправное деяние.

Всякое противоправное деяние суть правонарушение.

Схема:

Все S, и только S, суть Р.

Все Р суть S.

Е: Общеотрицательное суждение обращается в общеотрицательное (без ограничения).

Ни один адвокат не судья.

Ни один судья не адвокат.

Ни один S не есть Р.

Ни один Р не есть S.

I: Частноутвердительные суждения обращаются в частноутвердительные.

Некоторые юристы — спортсмены.

Некоторые спортсмены — юристы.

Некоторые S суть Р.

Некоторые Р суть S.

Частноутвердительные выделяющие суждения обращаются в общеутвердительные:

Некоторые юристы, и только юристы, являются адвокатами.

Все адвокаты суть юристы.

Некоторые S, и только S, суть Р.

Все Р суть S.

О: Частноотрицательные суждения не обращаются.

Логическая операция обращения суждения имеет большое практическое значение. Незнание правил обращения приводит к грубым логическим ошибкам. Так, довольно часто общеутвердительное суждение обращается без ограничения. Например, суждение «Все юристы должны знать логику» обращается в суждение «Все изучающие логику — юристы». Но это неверно. Верно суждение «Некоторые изучающие логику — юристы».

Противопоставление предикату — это последовательное применение операций превращения и обращения — преобразование суждения в новое суждение, в котором субъектом становится понятие, противоречащее предикату, а предикатом — субъект исходного суждения; меняется качество суждения.

Например, из суждения «Все адвокаты — юристы» можно, противопоставляя предикат, получить «Ни один не-юрист не является адвокатом». Схематически:

Все S суть Р.

Ни одно не- Р не есть S.

Умозаключение по «логическому квадрату». «Логический квадрат» — это схема, выражающая истинностные отношения между простыми суждениями, имеющими один и тот же субъект и предикат. В данном квадрате вершины символизируют известные нам по объединенной классификации простые категорические суждения: А, Е, О, I.Стороны и диагонали можно рассматривать как логические отношения между простыми суждениями (кроме эквивалентных). Так, верхняя сторона квадрата обозначает отношение между А и Е — отношениепротивоположности; нижняя сторона -отношение между О и I — отношение частичной совместимости. Левая сторона квадрата (отношение между А и I) и правая сторона квадрата (отношение между Е и О) — отношение подчинения. Диагонали обозначают отношения между А и О, Е и I, которые называются противоречием.

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

Но если ложно суждение «Все студенты нашего курса раньше изучали логику», то противоположное ему «Ни один студент нашего курса раньше не изучал логику» будет неопределенным, т. е. оно может оказаться как истинным, так и ложным.

Отношение частичной совместимости имеет место между суждениями частноутвердительными и частноотрицательными (I — О). Такие суждения не могут быть одновременно ложными (по крайней мере одно из них истинно), но могут быть одновременно истинными. Например, если ложно суждение «Иногда можно опаздывать на урок», то суждение «Иногда нельзя опаздывать на урок» будет истинным.

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

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

Но если подчиненное суждение ложно, то подчиняющее будет тем более ложным. Обратное опять-таки необязательно: при ложности подчиняющего суждения подчиненное может оказаться как истинным, так и ложным.

Например, при истинности подчиняющего суждения «Все адвокаты — юристы» подчиненное суждение «Некоторые адвокаты — юристы» будет тем более истинным. Но при истинности подчиненного суждения «Некоторые адвокаты входят в Московскую коллегию адвокатов» подчиняющее суждение «Все адвокаты входят в Московскую коллегию адвокатов» будет ложным или истинным.

При ложности подчиненного суждения «Некоторые адвокаты не входят в Московскую коллегию адвокатов» (О) будет ложным подчиняющее суждение «Ни один адвокат не входит в Московскую коллегию адвокатов» (Е). Но при ложности подчиняющего суждения «Ни один адвокат не входит в Московскую коллегию адвокатов» (Е) подчиненное суждение «Некоторые адвокаты не входят в Московскую коллегию адвокатов» (О) будет истинным или ложным.

Отношения противоречия существует между общеутвердительными и частноотрицательными суждениями (А — О) и между общеотрицательными и частноутвердительными суждениями (Е — I). Сущность этого отношения состоит в том, что из двух противоречающих суждений одно обязательно истинно, другое — ложно. Два противоречивых суждения не могут быть ни одновременно истинными, ни одновременно ложными.

Умозаключения, основанные на отношении противоречия, называются отрицанием простого категорического суждения. С помощью отрицания суждения из исходного суждения образуется новое суждение, являющееся истинным, когда исходное суждение (посылка) ложно, и ложным, когда исходное суждение (посылка) истинно. Например, отрицая истинное суждение «Все адвокаты — юристы» (А), мы получим новое, ложное, суждение «Некоторые адвокаты не есть юристы» (О). Отрицая ложное суждение «Ни один адвокат не юрист» (Е), мы получим новое, истинное, суждение «Некоторые адвокаты — юристы» (I).

Знание зависимости истинности или ложности одних суждений от истинности или ложности других суждений помогает делать правильные выводы в процессе рассуждения.

3. Простой категорический силлогизм

Наиболее широко распространенным видом дедуктивных умозаключений являются категорические умозаключения, из-за своей формы получившие название — силлогизм (от греч. sillogismos – сосчитывание).

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

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

Структурно силлогизм состоит из трех основных элементов — терминов. Рассмотрим это на примере.

Каждый гражданин Российской Федерации имеет право на образование.

Новиков — гражданин Российской Федерации.

Новиков — имеет право на образование.

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

Третье понятие «гражданин Российской Федерации», посредством которого устанавливается связь между большим и меньшим терминами, называется средним термином силлогизма и обозначается символом М (Medium — посредник). Средний термин входит в каждую посылку, но не входит в заключение. Назначение среднего термина — быть связующим звеном между крайними терминами — субъектом и предикатом вывода. Эта связь осуществляется в посылках: в большей посылке средний термин связан с предикатом (М — Р), в меньшей посылке — с субъектом вывода (S — М). В результате получается следующая схема силлогизма.

М — Р S — М

S — М или М — Р Р — М — S

S — Р S — Р

При этом необходимо иметь в виду следующее:

1) наименование «большая» или «меньшая» посылка зависит не от местоположения в схеме силлогизма, а только от наличия в ней большего или меньшего термина;

2) от перемены места любого термина в посылке обозначение его не меняется — больший термин (предикат заключения) обозначается символом Р, меньший (субъект заключения) — символом S, средний — М;

3) от перемены порядка посылок в силлогизме вывод, т.е. логическая связь между крайними терминами, не зависит.

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

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

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

Меньшим термином силлогизма называется понятие, которое в заключении является субъектом.
Большим термином силлогизма называется понятие, которое в заключении является предикатом («имеет право на защиту»). Меньший и больший термины называются
крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин).

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

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

Посылки различаются не их местом в силлогизме, а входящими в них терминами.

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

Средний термин связывает два крайних термина. Отношение крайних терминов (субъекта и предиката) устанавливается благодаря их отношению к среднему термину. В самом деле, из большей посылки нам известно, отношение большего термина к среднему (в нашем примере отношение понятия «имеет право на защиту» к понятию «обвиняемый») из меньшей посылки - отношение меньшего термина к среднему. Зная отношение крайних терминов к среднему, мы можем установить отношение между крайними терминами.

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

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

Фигуры и модусы категорического силлогизма

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

В первой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылках.

Во второй фигуре - место предиката в обеих посылках. В третьей фигуре - место субъекта в обеих посылках. В четвертой фигуре - место предиката в большей и место субъекта в меньшей посылке.

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

Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I) и частноотрицательные (О).

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

Из истинных посылок не всегда можно получить истинное заключение. Его истинность обусловлена правилами силлогизма. Этих правил семь: три относятся к терминам и четыре - к посылкам.

Правила терминов.

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

2-е правило: средний термин должен быть распределен хотя бы в одной из посылок. Если средний термин не распределен ни в одной из посылок, то связь между крайними терминами остается неопределенной. Например, в посылках «Некоторые преподаватели (М- ) - члены Союза преподавателей (Р )», «Все сотрудники нашего коллектива (S ) - преподаватели (М- )» средний термин (М ) не распределен в большей посылке, так как является субъектом частного суждения, и не распределен в меньшей посылке как предикат утвердительного суждения. Следовательно, средний термин не распределен ни в одной из посылок, поэтому необходимую связь между крайними терминами (S и Р ) установить нельзя.

3-е правило: термин, не распределенный в посылке, не может быть распределен и в заключении.

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

Правила посылок.

1-е правило: хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует. Например, из посылок «Студенты нашего института (М) не изучают биологию (Р)», «Сотрудники НИИ (S) не являются студентами нашего института (М)» нельзя получить необходимого заключения, так как оба крайних термина (S и Р) исключаются из среднего. Поэтому средний термин не может установить определенного отношения между крайними терминами. В заключении меньший термин (М) может полностью или частично входить в объем большего термина (Р) или полностью исключаться из него. В соответствии с этим возможны три случая: 1) «Ни один сотрудник НИИ не изучает биологию (S 1); 2) «Некоторые сотрудники НИИ изучают биологию» (S 2); 3) «Все сотрудники НИИ изучают биологию» (S 3) (рис.).

2-е правило: если одна из посылок - отрицательное суждение, то и заключение должно быть отрицательным.

3-е и 4-е правила являются производными, вытекающими из рассмотренных.

3-е правило: хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует.

Если обе посылки - частноутвердительные суждения (II), то вывод, сделать нельзя согласно 2-му правилу терминов: в частноутвердительном. суждении ни субъект, ни предикат не распределены, поэтому и средний термин не распределен ни в одной из посылок.

Если обе посылки - частноотрицательные суждения (00), то вывод сделать нельзя согласно 1-му правилу посылок.

Если одна посылка - частноутвердительная, а другая - частнотрицательная (I0 или 0I), то в таком силлогизме распределенным будет только один термин - предикат частноотрицательного суждения. Если этим термином будет средний, то вывода сделать нельзя, так, согласно 2-му правилу посылок, заключение должно быть отрицательным. Но в этом случае предикат заключения должен быть распределен, что противоречит 3-му правилу терминов: 1) больший термин, не распределенный в посылке, окажется распределенным в заключении; 2) если же больший термин распределен, то вывода не следует согласно 2-му правилу терминов.

1) Некоторые М(-) суть Р(-) Некоторые S(-) не суть (М+)

2) Некоторые М(-) не суть Р(+) Некоторые S(-) суть М (-)

Ни один из этих случаев не дает необходимых заключений.

4-е правило: если одна из посылок - частное суждение, то и заключение должно быть частным.

Если одна посылка общеутвердительная, а другая - частноутвердительная (АI, IА), то в них распределен только один термин - субъект общеутвердительного суждения.

Согласно 2-му правилу терминов, это должен быть средний термин. Но в таком случае два крайних термина, в том числе меньший, не будут распределены. Поэтому в соответствии с 3 правилом терминов меньший термин не будет распределен в заключении, которое будет частным суждением.

4. Умозаключения из суждения с отношениями

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

Например:

Петр - брат Ивана. Иван - брат Сергея.

Петр - брат Сергея.

Посылки и заключение в приведенном примере - суждения с отношениями, имеющие логическую структуру xRy, где х и у - понятия о предметах, R - отношения между ними.

Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых - 1) симметричность, 2) рефлексивность и 3) транзитивность.

1. Отношение называется симметричным (от греческого simmetria-«соразмерность»), если оно имеет место как между предметами х и у, так и между предметами у и х. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения равенства (если а равно Ь, то и b равно а), сходства (если с сходно с d, то и d сходно с с), одновременности (если событие х произошло одновременно с событием у, значит, и событие у произошло одновременно с событием х), различия и некоторые другие.

Отношение симметричности символически записывается:

xRy - yRx.

2. Отношение называется рефлексивным (от латинского reflexio - «отражение»), если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства (если а = Ь, тоа = аиЬ = Ь)иодновременности (если событие х произошло одновременно с событием у, значит, каждое из них произошло одновременно с самим собой).

Отношение рефлексивности записывается:

xRy -+ xRx Л yRy.

3. Отношение называется транзитивным (от латинского transitivus - «переход»), если оно имеет место между х и z тогда, когда оно имеет место между х и у и между у и z. Иначе говоря, отношение является транзитивным (переходным) тогда и только тогда, когда из отношения между х и у и между у и z следует такое же отношение между х и z.

Транзитивными являются отношения равенства (если а равно b и b равно с, то а равно с), одновременности (если событие х произошло одновременно с событием у и событие у одновременно с событием z, значит, событие х произошло одновременно с событием z), отношения «больше», «меньше» (а меньше b, b меньше с, значит, а меньше с), «позднее», «находиться севернее (южнее, восточнее, западнее)», «быть ниже, выше» и т. п.

Отношение транзитивности записывается:

(xRy Л yRz) -* xRz.

Для получения достоверных заключений из суждений с отношениями необходимо опираться на правила:

Для свойства симметричности (xRy -* yRx): если суждение xRy истинно, то суждение yRx тоже истинно. Например:

А подобно В. В подобно А.

Для свойства рефлексивности (xRy -+ xRx л yRy): если суждение xRy истинно, то истинными будут суждения xRx и yRy. Например:

а = Ь. а = а и b = b.

Для свойства транзитивности (xRy л yRz -* xRz): если суждение xRy истинно и суждение yRz истинно, то суждение xRz также истинно, Например:

К. был на месте происшествия раньше Л. Л. был на месте происшествия раньше М.

К. был на месте происшествия раньше М.

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

Задачи и упражнения

1. Укажите, какие из следующих выражений – Следствие, «следствие», «»следствие»» – можно подставить вместо Х в приведенные ниже выражения, чтобы получить истинные предложения:

б) Х – слово русского языка;

в) Х – выражение, обозначающее слово;

г) Х – зашло в «тупик».

Решение

а) «следствие » – философская категория;

Вместо Х можно подставить слово «следствие», взятое в кавычки. Получаем: «Причина» – философская категория.

б) «следствие» – слово русского языка;

в) «»следствие»» – выражение, обозначающее слово;

г) следствие –зашло в «тупик»

2. Какие из следующих выражений истинны, а какие ложны:

а) 5 × 7 = 35;

б) «5 × 7» = 35;

в) «5 × 7» ≠ «35»;

г) «5 × 7 = 35».

Решение

а) 5 х 7 = 35 ИСТИННО

б) «5 х 7» = 35 ИСТИННО

в) «5 х 7» ¹ «35» ЛОЖНОЕ

г) «5 х 7 = 35» не может быть оценено, так как является кавычковым именем

б) Мать Лао-дзы.

Решение

а) Если ни один член семьи Гавриловых не является честным человеком, и Семен – член семьи Гавриловых, то Семен не является честным человеком.

В этом предложении «если…, то…» – логический термин, «ни один» («все») – логический термин, «член семьи Гавриловых» – общее имя, «не» – логический термин», «является» («есть») – логический термин, «честный человек» – общее имя, «и» – логический термин, «Семен» – едичное имя.

б) Мать Лао-дзы.

«Мать» – предметный функтор, «Лао-Дзы» – единичное имя.

4. Обобщите следующие понятия:

а) Исправительно-трудовые работы без заключения под стражу;

б) Следственный эксперимент;

в) Конституция.

Решение

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

а) Исправительно-трудовые работы без заключения под стражу – исправительно-трудовые работы;

б) следственный эксперимент – эксперимент;

в) Конституция –Закон.

а) Минск – есть столица;

Решение

а) Минск – есть столица. * Относится к категории вещи. В данном случае термин «столица» выступает предикатов суждения, так раскрывает признаки суждения.

б) Столица Азербайджана – древний город.

В данном случае термин «столица» имеет смысловое суждение.

В данном случае термин «столица» выступает субъектом суждения, так как в указанном суждении раскрываются его признаки.

6. О каких методологических принципах говориться в следующем тексте?

В статье 344 УПК РФ указано условие, при котором приговор признается не соответствующим деянию: «при наличии противоречивых доказательств…».

Решение

В данном тексте говорится о принципе непротиворечия.

7. Переведите на язык логики предикатов следующее суждение: «Каждый юрист знает какого-нибудь (некоторого) журналиста».

Решение

Это суждение по качеству – утвердительное, а по количеству – общечастное.

¬(А˄ В) <=> ¬(А¬В)

8. Переведите на язык логики предикатов следующее выражение: «Население Рязани больше населения Кореновска».

Решение

Население Рязани больше населения Кореновска

Здесь следует говорить о суждении об отношении между предметами.

Записать данное суждение можно следующим образом:

xRy

Население Рязани (x) больше (R) населения Кореновска (x)

9. В местах лишения свободы провели выборочный опрос совершивших тяжкие преступления (опросили 10 % таких лиц). Почти все они ответили, что строгие меры наказания не влияли на их решение совершить преступление. Сделали заключение, что строгие меры наказания не являются сдерживающим фактором при совершении тяжких преступлений. Обосновано ли это заключение? Если не обосновано, то какие методические требования, предъявляемые к научной индукции, не выполнены?

Решение

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

В указанном сообщении зафиксирована следующая информация:

образец случаев – 10%


число случаев, в которых присутствует интересующий признак – почти все;


частота появления интересующего признака – почти 1.


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


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


10. Ограничить следующие понятия:


а) государство;


б) суд;


в) революция.


Решение


а) государство –– российское государство;


б) суд –– Верховный суд


в) революция – Октябрьская революция – мировая революция


11. Дать полную логическую характеристику понятиям:


а) Народный суд;


б) рабочий;


в) бесконтрольность.


Решение


а) Народный суд – единичное, несобирательное, конкретное понятие;


б) рабочий – общее, несобирательное, конкретное, безотносительное понятие;


в) бесконтрольность – единичное, несобирательное, абстрактное понятие.
Понятие дедуктивного умозаключения. Простой категорический силлогизм Форма права

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

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

Лит.: Челпанов Г. И., Учебник логики, М., 1946; Асмус В. Ф., Логика, М., 1947; его же, Учение логики о доказательстве и опровержении, М., 1954; Τарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Горский Д. П., Логика, 2 изд., М., 1963; Чёрч Α., Введение в математическую логику, пер. с англ., т. 1, М., 1960.

А. Субботин. Москва.

Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .

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

УМОЗАКЛЮЧЕНИЕ - процедура непосредственного выведения некоторого высказывания из одного или нескольких высказываний. Высказывания, из которых делается вывод, называют посылками умозаключения, а , которое выводится из посылок, - заключением. Умозаключение представляет собой познавательный прием, с помощью которого осуществляется преобразование содержащейся в посылках информации. Оно является простейшей разновидностью рассуждения - процедуры обоснования высказывания посредством пошагового выведения его из других высказываний; в умозаключении переход от аргументов (их роль играют посылки) к обосновываемому тезису (заключению) происходит в один шаг. В логике умозаключение принято формулировать следующим образом: Αι,Α2,...,Αη

В--- где над чертой записываются посылки, под чертой - заключение, а сама черта выражает выведения заключения из посылок.

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

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

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

Среди недемонстративных умозаключений наибольший представляют т. н. правдоподобные умозаключения, к которым относятся, напр., обратная , неполная индукция, нестрогая аналогия, статистические выводы. Правдоподобные умозаключения характеризуются наличием отношения логического подтверждения между посылками и заключением. Данное отношение имеет в современной логике множество различных экспликаций. Так, широкое распространение получила трактовка отношения подтверждения в соответстыш с критерием позитивной релевантности: посылки подтверждают заключение, если и только если истинности заключения возрастает (но не становится равной единице) при условии одновременной истинности посылок. Основной сферой применения дедуктивных умозаключений являются точные науки (прежде всего и логика), в которых особые требования предъявляются к строгости доказательств. Правдоподобные умозаключения, гл. о., используются в эмпирических науках для выдвижения и верификации гипотез, получения законоподобных утверждений, относящихся к исследуемой предметной области.

В. И. Маркин

Новая философская энциклопедия: В 4 тт. М.: Мысль . Под редакцией В. С. Стёпина . 2001 .

Антонимы :

Смотреть что такое "УМОЗАКЛЮЧЕНИЕ" в других словарях:

Умозаключение … Орфографический словарь-справочник

См. вывод строить умозаключение... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. умозаключение заключение, традукция, энтимема, дедукция, рассуждение, силлогизм, софизм, паралогия,… … Словарь синонимов

УМОЗАКЛЮЧЕНИЕ, умозаключения, ср. 1. Логический процесс выведения из двух суждений заключения, силлогизм (филос.). Дедуктивное умозаключение. 2. Заключение, вывод (книжн.). Сделать умозаключение. Правильное умозаключение. Толковый словарь Ушакова … Толковый словарь Ушакова

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

Умственное действие на основе присущих индивидуальному сознанию норм выводов, во многом совпадающих с правилами и законами логики … Большой Энциклопедический словарь

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

Форма мышления, посредством которой получают новое суждение на основе одного или более уже принятых суждений. Исходные суждения, на основании которых получается новое суждение, называются посылками У., а новое суждение, полученное в результате… … Новейший философский словарь

УМОЗАКЛЮЧЕНИЕ, я, ср. (книжн.). Вывод, заключение (в 3 знач.). Сделать, вывести у. Правильное у. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова

Англ. conclusion/deduction; нем. Schlu?folgerung. Рассуждение, в ходе к рого из одного или нескольких суждений, называемых посылками У., выводится новое суждение, логически вытекающее из посылок. Antinazi. Энциклопедия социологии, 2009 … Энциклопедия социологии