Тесты для проверки знаний по теме «Суждение»

Логические отношения

1. Высказывания, совместимые по истинности, но не совместимые по ложности, находятся в отношении

   1. контрарности

   2. субконтрарности

   3. контрадикторности

   4. эквивалентности

2. Высказывания, совместимые по ложности, но не совместимые по истинности, находятся в отношении

   1. контрарности

   2. субконтрарности

   3. контрадикторности

   4. эквивалентности

3. Высказывания, несовместимые ни по истинности, ни по ложности, находятся в отношении

   1. контрарности

   2. субконтрарности

   3. контрадикторности

   4. эквивалентности

4. Высказывания, логически следующие друг из друга, находятся в отношении

   1. контрарности

   2. субконтрарности

   3. независимости

   4. эквивалентности

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

   1. контрарности

   2. субконтрарности

   3. независимости

   4. эквивалентности

6. Отрицания контрарных высказываний находятся в отношении

   1. контрарности

   2. субконтрарности

   3. контрадикторности

   4. эквивалентности

7. Отрицания субконтрарных высказываний находятся в отношении

   1. субконтрарности

   2. контрарности

   3. контрадикторности

   4. эквивалентности

8. Отрицания эквивалентных высказываний находятся в отношении

   1. субконтрарности

   2. контрарности

   3. контрадикторности

   4. эквивалентности

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

   1. независимости

   2. контрадикторности

   3. эквивалентности

   4. субконтрарности

10. Отрицания независимых высказываний находятся в отношении

    1. независимости

    2. контрадикторности

    3. эквивалентности

    4. субконтрарности

Виды атрибутивных суждений

1. Установите соответствие между типами атрибутивных суждений и формулами, их выражающими.

   1. Все S есть Р (А) S a P

   2. Ни один S не есть P (В) S e P

   3. Некоторые S не есть Р (С) S o P

   4. Некоторые S есть Р (D) S i P

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

   1. общеутвердительное (А) A

   2. общеотрицательное (B) E

   3. частноутвердительное (C) I

   4. частноотрицательное (D) O

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

   1. таблица истинности

   2. треугольник Пирса

   3. логический квадрат

   4. диаграмма Венна

4. Субъекты распределены только в … суждениях

   1. утвердительных

   2. отрицательных

   3. общих

   4. частных

5. Предикаты распределены только в … суждениях

   1. утвердительных

   2. отрицательных

   3. общих

   4. частных

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

§1 Умозаключение. Основные способы умозаключений

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

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

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

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

Условно-категорические умозаключения - это двухпосылочные умозаключения, которые содержат импликативную посылку А  В. Другая посылка, а также заключение могут быть либо антецедентом (А), либо консеквентом (В) первой посылки, либо отрицанием того или другого (А или В). К числу правильных условно-категорических умозаключений относятся:

А  В, А – modus ponens (утверждающий способ)

В

А  В, В – modus tollens (отрицающий способ)

А

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

Например, «Если идет дождь, то крыши мокрые. Дождь идет. Значит, крыши мокрые» и «Если наступает осень, с деревьев опадают листья. Листья еще не опали. Значит, осень не наступила».

Разделительно - категорические умозаключения. Эти умозаключения также являются двухпосылочными, причем в них имеется дизъюнктивная посылка (А  В) или строго дизъюнктивная посылка (А  В). Другая же посылка и заключение совпадают с одним из дизъюнктов (А или В) или с его отрицанием (А или В).

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

А  В, А – modus tollendo ponens

В (отрицающе-утверждающий способ)

А  В, А – modus ponendo tollens

В (утверждающе-отрицающий способ).

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

Банкомат не сломался. Значит, кончились деньги» и «В понедельник

студент-вечерник был либо на занятиях, либо на работе. Он был

на работе. Следовательно, на занятиях его не было».

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

A C, B  C, A  B - простая конструктивная дилемма

C

A  B, A  C, B  C - простая деструктивная дилемма

A

A  C, B  D, A  B - сложная конструктивная дилемма

C  D

A  С, B  D, C  D - сложная деструктивная дилемма

A  B

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

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