Демонстративные умозаключения (непосредственные умозаключения) презентация

ДЕМОНСТРАТИВНЫЕ УМОЗАКЛЮЧЕНИЯ (непосредственные умозаключения)

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

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

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

«Преступление наказуемо» «Мошенничество – преступление» ___________________________________ «Мошенничество наказуемо»

Все люди смертны. Сократ –человек.

Виды умозаключений По строгости вывода: Демонстративные (необходимые) Недемонстративные (правдоподобные)

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

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

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

II.Превращение суждения S есть Р S не есть не-Р

Все S есть Р Ни одно S не есть не-Р   Все (количество) справедливые решения (S) являются (связка) одобряемыми людьми (Р). ____________________________________ Ни одно (количество) справедливое решение (S) не является (связка) неодобряемым людьми (не-Р).

Ни одно S не есть Р Все S есть не-Р Ни одна захватническая война (S) не является справедливой (Р); (Е) ___________________________________ Все захватнические войны (S) являются несправедливыми (не-Р); (А)

Ни одно S не есть Р (Е) Все S есть не-Р (А) Человек (S) не рождается с развитым воображением (P).

Некоторые S есть Р (I) Некоторые S не есть не-Р (О) Некоторые металлы (S) являются жидкими (Р) ____________________________________ Некоторые металлы(S) не являются не-жидкими (не-Р).

Некоторые S не есть Р (О) Некоторые S есть не-Р (I) Некоторые студенты (S)не являются отличниками. ___________________________________ Некоторые студенты (S)являются не-отличниками (не-Р).

III.Обращение суждения S есть Р P есть S

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

Все S есть Р Некоторые Р есть S Все фильмы Тарковского (S+) есть киношедевры (Р-) (А) ___________________________________ Некоторые киношедевры (Р-) есть фильмы Тарковского (I-)

Ни одно S не есть Р Ни одно Р не есть S «Ни один студент первой группы (S+) не является неуспевающим (Р+)» (Е) ___________________________________ «Ни один неуспевающий (Р+) не является студентом первой группы (S+)» (Е)

Некоторые S есть Р Некоторые Р есть S Например суждение : «Некоторые спортсмены (S-) – аспиранты (Р-) (I) ______________________________________________ обращается в суждение: «Некоторые аспиранты (Р-) – спортсмены (S-)» (I).

Некоторые люди (S)– флегматики (P).

IV. Противопоставление предикату Все S есть Р (А) Ни одно не-Р не есть S (Е) Все современные физики (S) знают имя Ньютона (Р) (А) ___________________________________________ Ни один человек, не знающий имени Ньютона (не-Р), не является современным физиком (S) (Е).

Взрослый человек (S) не помнит первых событий жизни (P).

Ни одно S не есть Р Некоторые не-Р есть S «Несоблюдение принципа разделения властей не остается незамеченным СМИ» ______________________________________ «Среди фактов, которые отмечаются в СМИ, есть случаи несоблюдения принципа разделения властей»

Некоторые S не есть Р (О) Некоторые не-Р есть S (I) Некоторые свидетели не являются совершеннолетними _______________________________________ Некоторые несовершеннолетние являются свидетелями.

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

Выводы можно делать на основании отношения: - подчинения; - частичной совместимости; - противоречия; - противоположности.

Отношение противоречия (контрадикторности): из истинности одного суждения следует ложность другого суждения. Из ложности одного – истинность другого.

Отношение противоположности (контрарности): из истинности одного суждения следует ложность другого суждения, но из ложности одного из них не следует истинность другого. А→⌉ Е; Е→⌉ А; ⌉ А→ (Е  ⌉ Е); ⌉ Е→ (А ⌉А).

Отношение частичной совместимости (субконтрарности): из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого суждения. ⌉I → О ⌉ О →I I → (О ⌉ О) О→ ( I ⌉ I)

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