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

Содержание

§ 1. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. ВИДЫ УМОЗАКЛЮЧЕНИЙ. Логика: учебник для юридических вузов

§ 1. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. ВИДЫ УМОЗАКЛЮЧЕНИЙ. Логика: учебник для юридических вузов

ВикиЧтение

Логика: учебник для юридических вузов
Кириллов Вячеслав Иванович

Содержание

§ 1. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. ВИДЫ УМОЗАКЛЮЧЕНИЙ

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

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

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

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

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

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

} посылки.

Мошенничество наказуемо — заключение.

Посылки записываются над чертой, заключение — под чертой.

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

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

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

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

(от частного знания к частному).

Эта классификация будет положена в основу дальнейшего изложения.

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

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

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

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

Вопросы для самопроверки

1. Что такое умозаключение? Приведите определение.

2. Что называется посылкой, заключением, выводом?

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

направленности логического следования, по количеству посылок?

Данный текст является ознакомительным фрагментом.

2 ГЛАВА. Понятие как форма мышления

2 ГЛАВА. Понятие как форма мышления В современной логике, особенно математической, которая ориентируется на дедуктивные, доказательные рассуждения, проблема понятия утратила то значение, которая она имела в традиционной логике. Со времен Г. Фреге понятие рассматривается

§ 1. Понятие как форма мышления

§ 1. Понятие как форма мышления Окружающий нас мир предстает перед человеком не скоплением одинаковых предметов, а как множество предметов, явлений, процессов, наделенных различными свойствами. Любые свойства, черты, состояния, отношения предме­та, которые характеризуют

Понятие как форма мышления и его структура

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

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

3.2. Виды умозаключений Умозаключения, или опосредованные умозаключения делятся на три вида. Они бывают дедуктивными, индуктивными и умозаключениями по аналогии.Дедуктивные умозаключения или дедукция (от лат. deductio – выведение) – это умозаключения, в которых из общего

11. ФОРМА АРИЙСКОГО МЫШЛЕНИЯ

11. ФОРМА АРИЙСКОГО МЫШЛЕНИЯ Если нам даже здесь пришлось различать между формой и материей мышления — что было вызвано требованиями тогдашнего момента нашего исследования — то можно себе представить, как должно было пренебрежение этим формальным элементом повлиять на

§ 1. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ

§ 1. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ Понятие — это форма мышления, отражающая предметы в их существенных признаках. Признаком предмета называется то, в чем предметы сходны друг с другом или чем они друг от друга отличаются.Любые свойства, черты, состояния предмета, которые так

3. Содержание и форма мышления

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

Глава I. Понятие как форма мышления

Глава I. Понятие как форма мышления 1. Понятие и предмет Происхождение и сущность понятия1. Из следующих высказываний выделите все понятия и определите, что именно в них отражается — предмет (явление), свойство или отношение: «Земля — планета». «В России проводится

Глава I.

Суждение как форма мышления

Глава I. Суждение как форма мышления 1. Суждение и связь (отношение) предметов 1. Какие конкретно связи (отношения) между предметами действительности отражены в следующих суждениях: «Земля — планета». «Кит —не рыба, а млекопитающее». «Человек — существо

Глава I. Умозаключение как форма мышления

Глава I. Умозаключение как форма мышления 1. Умозаключение и взаимосвязь (взаимоотношение) предметов 1. Из приведенных примеров выделите умозаключения: «Таможня». «Правоохранительный орган». «Петров». «Таможня — правоохранительный орган». «Петров работает в таможне».

Глава I. Доказательство как форма мышления

Глава I. Доказательство как форма мышления 1. Доказательство и всеобщая обусловленность предметов Какова объективная основа следующего доказательства: «Поскольку римляне кремировали усопших, в распоряжении ученых было очень мало скелетов римской эпохи. Однако уже

10. Понятие как форма мышления

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

44. Виды индуктивных умозаключений

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

ЛЕКЦИЯ № 5 Понятие как форма мышления

ЛЕКЦИЯ № 5 Понятие как форма мышления 1. Общая характеристика понятий Понятие — это форма мышления, отражающая предметы и явления в их существенных признаках. Как уже говорилось выше, человек воспринимает тот или иной предмет, выделяя характерные свойства (признаки)

ЛЕКЦИЯ № 15 Умозаключение. Общая характеристика дедуктивных умозаключений

ЛЕКЦИЯ № 15 Умозаключение. Общая характеристика дедуктивных умозаключений 1. Понятие умозаключения Умозаключение — это форма абстрактного мышления, посредством которой из ранее имевшейся информации выводится новая. При этом не задействуются органы чувств, т. е. весь

3. Виды индуктивных умозаключений

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

Урок 6.

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

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

Содержание:

  • Критерии истинности умозаключений
  • Умозаключения по логическому квадрату
  • Операция обращения
  • Игра «Подбери ключ»
  • Упражнения
  • Проверочные вопросы на усвоение материала

Умозаключение – это непосредственный переход от одного или нескольких высказываний А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
  • Все 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 суждения, сколько засечек выбранной длины присутствуют в ключе (для простоты значение «наличие»), и сколько из выбранных находятся на своём месте (для простоты значение «на месте»). Скорректируйте своё решение и пробуйте, пока не подберёте ключ.

Тип вывода Описание Соображения
Дедуктивный Фокусируется на структуре аргументов Обеспечивает достоверные выводы, когда его структура гарантирует истинность его вывода Делает неверные выводы, когда, даже если посылки верны, вывод может быть ложным
Индуктивный Использует общие представления о мире для создания убеждений о конкретном опыте или для предсказания будущего опыта Сильный, если вывод, вероятно, верен при условии, что доказательства верны Слабо, если вывод, вероятно, неверен, даже если предлагаемые доказательства верны
Похищение Объяснение предлагается для обоснования и объяснения показаний Сильный, если объяснительный, простой, консервативный и глубокий Чрезвычайные заявления требуют экстраординарных доказательств