Дедуктивные+умозаключения

Дедуктивные умозаключения
Пример: "Ни один смертный не может до конца постичь замысел Бога. Все люди смертны. Ни один человек не может до конца понять замысел Бога". Силлогизмы, в свою очередь, делятся по характеру составляющих их суждений на категорический, условный, разделительный и их комбинации: условно-категорический, разделительно-категорический и условно-разделительный силлогизмы. По составу и полноте речевого выражения выделяют простые, сложные, сокращённые и сложносокращённые силлогизмы. __**Непосредственные умозаключения**__ Чтобы превратить суждение, нужно изменить его связку на противоположную, а предикат – на противоречащее понятие. При этом частноутвердительное суждение превращается в частноотрицательное, и наоборот, а общеутвердительное суждение превращается в общеотрицательное, и наоборот. (Е) Ни одно S не есть не-Р || "Все волки – хищные животные". – "Ни один волк не является нехищным животным". || (А) Все S есть не-Р || "Ни один многогранник не является плоской фигурой". – "Все многогранники являются неплоскими фигурами". || (О) Некоторые S не есть не-Р || "Некоторые грибы съедобные". – "Некоторые грибы не являются несъедобными". || (I) Некоторые S есть не-Р || "Некоторые преступления не являются умышленными". – "Некоторые преступления являются неумышленными". || Обращение подчиняется правилу распределённости терминов в суждении. Различают простое (чистое) обращение и обращение с ограничением. Обращение будет простым, если субъект и предикат исходного суждения или оба распределены, или оба не распределены. Обращение с ограничением бывает тогда, когда в исходном суждении субъект распределён, а предикат не распределён или, наоборот, субъект не распределён, а предикат распределён. (Е) Ни одно Р+ не есть S+ || __"Ни один невиновный не должен быть осуждён".__ "Ни один осуждённый не должен быть невиновен". || а) Чистое обращение при совпадении объёмов субъекта и предиката:
 * Дедуктивные умозаключения** – вид умозаключений, в котором из посылок, выражающих знания большей степени общности, необходимо следует заключение, выражающее знание меньшей степени общности. Дедукция в переводе с латинского означает "выведение".
 * Виды дедуктивных умозаключений**
 * 1) непосредственные умозаключения
 * 2) силлогизмы – умозаключения, в которых из двух суждений выводится третье.
 * Непосредственные умозаключения** – это заключения, выводимые из одной посылки. Этот вид умозаключений позволяет уточнить отношения объёмов понятий, входящих в суждения. Непосредственные умозаключения – это превращение, обращение, противопоставление предикату и умозаключение по логическому квадрату.
 * Превращение** – вид непосредственного умозаключения, при котором изменяется качество посылки без изменения её количества, при этом предикат заключения является отрицанием предиката посылки.
 * 1. Общеутвердительное суждение превращается в общеотрицательное || __(А) Все S есть Р__
 * 2. Общеотрицательное суждение превращается в общеутвердительное || __(Е) Ни одно S не есть Р__
 * 3. Частноутвердительное суждение превращается в частно-отрицательное || __(I) Некоторые S есть P__
 * 4. Частноотрицательное суждение превращается в частно-утвердительное || __(О) Некоторые S не есть Р__
 * Обращение** – непосредственное умозаключение, в котором происходит перемена мест субъекта и предиката при сохранении качества суждения, т.е. в заключении субъектом является предикат, а предикатом – субъект исходного суждения.
 * 1. Общеотрицательные суждения (Е) всегда обращаются чисто || __(Е) Ни одно S+ не есть Р+__
 * 2. Общеутвердительные суждения (А):

б) Обращение с ограничением, когда предикат не распределён: || __(А) Все S+ есть Р+__ (А) Все Р+ есть S+

__(А) Все S+ есть Р-__ (I) Некоторые Р- есть S+ || __"Все преступления – общественно опасные деяния".__ "Все общественно опасные деяния – преступления".

__"Все ели – деревья".__ "Некоторые деревья – ели". || а) Простое обращение при нераспределённости обоих терминов:
 * 3. Частноутвердительные суждения (I):

б) Обращение с изменением объёма, если предикат распределён: || __(I) Некоторые S- есть Р-__ (I) Некоторые Р- есть S-

__(I) Некоторые S- есть Р+__ (А) Все Р+ есть S- || __"Некоторые растения – ядовитые организмы".__ "Некоторые ядовитые организмы – растения".

__"Некоторые музыканты – композиторы".__ "Все композиторы – музыканты". || 4. Частноотрицательные суждения (О) не обращаются, поскольку нельзя установить, исходя из распределённости предиката, как относится его объём к объёму нераспределённого субъекта. __(О) Некоторые S- не есть Р+__ Все? Некоторые? Р не есть S Противопоставление предикату может быть рассмотрено как результат последовательно выполненных операций превращения и обращения. (Е) Ни одно не-Р не есть S || __"Все следователи – юристы".__ "Ни один не юрист не является следователем". || (I) Некоторые не-Р есть S || __"Ни один красный мухомор не является съедобным грибом".__ "Некоторые несъедобные грибы есть красные мухоморы". || (I) Некоторые не-Р есть S || __"Некоторые юристы не являются следователями".__ "Некоторые не следователи являются юристами". || 4. Частноутвердительные суждения (I) не преобразуются противопоставлением предикату, т. к. определённый вывод сделать невозможно.
 * Противопоставление предикату** – непосредственное умозаключение, в результате которого предикатом становится субъект, а субъектом – понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную.
 * 1. Общеутвердительное суждение || __(А) Все S есть Р__
 * 2. Общеотрицательное суждение || __(Е) Ни одно S не есть Р__
 * 3. Частноотрицательное суждение || __(О) Некоторые S не есть Р__

__**Простой категорический силлогизм**__ Понятия, входящие в состав силлогизма, называются терминами силлогизма. В простом категорическом силлогизме только 3 термина: Структуру простого категорического силлогизма составляют две посылки и заключение. Все жидкости (М) – упруги (Р) – большая посылка __Ртуть (S) – жидкость (М) – меньшая посылка__ Ртуть (S) – упруга (Р) – заключение Фигурами категорического силлогизма называются формы силлогизма, различающиеся по положению среднего термина (М) в посылках.
 * Умозаключения по логическому квадрату** также являются видом непосредственных умозаключений. Опираясь на логический квадрат, можно строить выводы, устанавливать следование истинности или ложности суждений в зависимости от свойств отношений между ними.
 * Категорический силлогизм** – вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, связанных средним термином, при соблюдении правил вывода необходимо следует заключение.
 * больший термин (Р)** – предикат заключения; большая посылка
 * меньший термин (S)** – субъект заключения; меньшая посылкака
 * средний термин (М)** – связывает в посылках Р и S, в заключении отсутствует.
 * Фигуры и модусы простого категорического силлогизма**
 * 1 фигура || [[image:1ф.gif]] || Большая посылка – общая,

меньшая посылка – утвердительная. || Все злаки (М) – растения (Р) __Рожь (S) – злак (М)__ Рожь (S) – растение (P) ||
 * 2 фигура || [[image:2ф.gif]] || Большая посылка – общая,

одна из посылок – отрицательная. || Все ужи (Р) – пресмыкающиеся (М) __Это животное (S) – не пресмыкающееся (М)__ Это животное (S) – не уж (Р) ||
 * 3 фигура || [[image:3ф.gif]] || Меньшая посылка – утвердительная,

заключение – частное. || Все углероды (М) – простые тела (Р) __Все углероды (М) – электропроводники (S)__ Некоторые электропроводники (S) – простые тела (Р) || __Ни одно млекопитающее (М) – не рыба (S)__ Ни одна рыба (S) – не кит (Р) || В каждой фигуре возможно несколько допустимых (правильных) сочетаний посылок и заключения. Такие сочетания называются модусами. 1. В силлогизме должно быть только три термина (S, P, M). 2. Средний термин должен быть распределён по крайней мере в одной из посылок. 3. Термин в заключении может быть распределён только тогда, когда он распределён в посылке. 1. Из двух отрицательных посылок вывод не производится. 2. Если одна из посылок отрицательная, то и заключение должно быть отрицательным. 3. Из двух частных посылок нельзя сделать вывод. 4. Если одна из посылок частная, то заключение должно быть частным. Правильность силлогизма можно легко проверить без знания фигур, модусов и даже общих правил простого категорического силлогизма можно определить с помощью кругов Эйлера. Это называется **методом круговых схем для отбора правильных силлогизмов.** общеутвердительный || || Все М есть Р
 * 4 фигура || [[image:4ф.gif]] || Заключение не может быть общеутвердительным суждением. || Все киты (Р) – млекопитающие (М)
 * Модусы** фигур категорического силлогизма – разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключений.
 * Общие правила простого категорического силлогизма**
 * Правила терминов
 * Правила посылок
 * Анализ простых категорических силлогизмов с помощью круговых схем**
 * 1. Вывод А

__Все S есть М__

Все S есть Р || общеотрицательный || || Ни одно М не есть Р __Все S есть М__
 * 2. Вывод Е

Ни одно S не есть Р || частноутвердительный || || Все М есть Р __Некоторые S есть М__
 * 3. Вывод I

Некоторые S есть Р || частноотрицательный || || Ни одно М не есть Р __Некоторые S есть М__
 * 3. Вывод О

Некоторые S не есть Р || __**Умозаключения, содержащие сложные суждения**__ В этих умозаключениях суждения не расчленяются на субъект и предикат, а рассматриваются как простые суждения, из которых с помощью логических союзов образуются сложные суждения. Выводы, таким образом, делаются не на основе отношения понятий (терминов), а на основе правил отношений суждений. Чисто условный силлогизм – умозаключение, в котором обе посылки являются условными суждениями.
 * Условные умозаключения**
 * Если а, то b || a --> b ||
 * Если b, то c || b --> c ||
 * Если a, то с || а --> c ||
 * Условно-категорический силлогизм** – умозаключение, в котором одна посылка – условное суждение, а другая посылка и вывод – категорические суждения.
 * 1. Утверждающий модус

Если во второй посылке утверждается следствие первой посылки, то вывод может быть только вероятным. || a-->b a b

a-->b b вероятно, а || Не знаешь - молчи. __Не знаешь.__ Молчи.

Не знаешь - молчи. __Молчишь.__ Вероятно, не знаешь. ||
 * 2. Отрицательный модус

Если отрицается основание условной посылки, то вывод может быть только вероятным. || a-->b

__b__ а

a-->b

__a__ вероятно, b || Если на улице светит солнце, то предметы отбрасывают тень. __Предметы не отбрасывают тень.__ На улице не солнечно.

Если число делится на четыре, то оно делится на два. __Число не делится на четыре.__ Вероятно, оно не делится на два. || Чисто разделительный силлогизм состоит только из разделительных посылок, и вывод – тоже разделительное суждение. S есть А, или В, или С __А есть А1, или А2__ S есть А1, или А2, или В, или C 1. Утверждающе-отрицающий модус Разделительная посылка – дизъюнкция альтернатив. Категорическая посылка – утверждение одной из альтернатив. Заключение – категорическое суждение, отрицающее другую (другие) альтернативу. а или b b не-а 2. Отрицающе-утверждающий модус а или b _ _а_ _ b В этом модусе правильный вывод возможен при строгой и при нестрогой дизъюнкции разделительной посылки. Необходимым условием правильности вывода по этому модусу является перечисление в разделительной посылке всех возможных альтернатив. Силлогизм с пропущенной посылкой или заключением называется сокращённым силлогизмом или **энтимемой.** Использование энтимем обусловлено тем, что пропущенная часть силлогизма или содержит известное положение, которое не нуждается в устном или письменном выражении, или в контексте выраженных частей умозаключения она легко подразумевается. Поэтому рассуждение чаще всего протекает в форме энтимемы. Виды энтимем:
 * Разделительный силлогизм**
 * Разделительно-категорический силлогизм** - силлогизм, в котором одна посылка – разделительное суждение, а другая – простое категорическое суждение.
 * __Сокращённый силлогизм (энтимема)__**
 * С пропущенной большей посылкой
 * С пропущенной меньшей посылкой
 * С пропущенным заключением (если встречаются союзы //и,а,но,да//)

Сайт с рефератами [] Сайт о логике [] Электронные книги []
 * //Полезные ресурсы://**

http://edu.dvgups.ru/METDOC/CGU/FILOSOF/LOGIKA/METOD/MOTOVNIK/IV.htm http://www.e-reading.org.ua/chapter.php/99495/55/Shadrin_-_Logika__konspekt_lekciii.html http://blogyka.ru/podborka-lekczij-po-logike/15-opredelenie-dedukczii-a-takzhe-vidy-deduktivnyx-umozaklyuchenij-i-ix-xarakteristika.html
 * //Источники://**