Часть 2. Сложные суждения

1. Сложные суждения: их виды, условия истинности.

2. Условное суждение и понятие необходимого и достаточного условий.

3. Понятие закона логики.

4. Отношение логического следования.

5. Отношения между сложными суждениями.

7. Определите отношение между сложными суждениями. Дайте определение отношения.

Замечания по выполнению задания

Постройте одну таблицу истинности для суждений и сравните их.

Для выяснения отношений используйте определения отношений между сложными суждениями.

Примеры выполнения задания

Рассмотрим пункты (а) и (б)

(а)Если наказание неотвратимо, то оно не должно быть жестоким. –(б)Наказание за преступление должно быть неотвратимым, но не жестоким

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

Определения логических связок и примеры построения таблиц истинности см. в Приложении 2. (в конце)

1) Простые суждения: наказание неотвратимо – р, наказание жестоко – q.

Связки:  - соответствует союзу если,…то в первом суждении,  - но во втором суждении,  - не (отрицание).

Логическая форма первого суждения - pq, второго суждения - pq.

1) Строим совместную таблицу истинности

(а) (б)

р	q	q	pq	pq
и	и	л	л	л
и	л	и	и	и
л	и	л	и	л
л	л	и	и	л

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

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

1. Рассуждение и умозаключение. Структура умозаключения. Правильные и неправильные умозаключения.

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

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

4. Категорический силлогизм.

5. Энтимема. Корректные и некорректные энтимемы.

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

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

8.(1) Осуществите все возможные выводы по логическому квадрату

Замечания по выполнению задания

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

Примеры выполнения задания

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

Данное категорическое суждение является общеутвердительным. Уголовно наказуемым деянием является любое преступление. Здесь явно неуказанно кванторное слово Стандартной формой этого категорического суждения будет следующее:

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

Логическая форма суждения: ВсеSесть Р (SaP). Суждение общеутвердительное.

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

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

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

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