Задание 8

Формулировка:

Используя условную посылку, постройте правильное условно-категорическое умозаключение (УКУ):

1. по утверждающему модусу;

а) выделите структурные элементы УКУ: условную посылку, указав в ней основание и следствие, категорическую посылку и заключение; обозначьте их соответствующими символами;

б) указания направленности вывода УКС;

в) проверьте правильность УКУ.

2. По отрицающему модусу.

а) выделите структурные элементы УКУ: условную посылку, указав в ней основание и следствие, категорическую посылку и заключение; обозначьте их соответствующими символами;

б) указания направленности вывода УКС;

в) проверьте правильность УКУ.

Содержание:

Суждение: «Если хочешь быть здоров – закаляйся».

Решение:

Построим правильное условно-категорическое умозаключение:

1. по утверждающему модусу

а) Условная посылка: Если хочешь быть здоров – закаляйся (pq )

Категорическая посылка: Хочу быть здоров (p)

Заключение: Закаляйся (q)

Основание: Хочу быть здоров (p)

Следствие: Закаляйся (q)

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

в) Схема: pq, p

q

2. по отрицающему модусу:

а) Условная посылка: Если хочешь быть здоров – закаляйся. (pq )

Категорическая посылка: Не закаляйся (| q)

Заключение: Не хочешь быть здоров (| p)

Основание: Хочу быть здоров (p)

Следствие: Закаляйся (q)

б) категорическая посылка отрицает истинность следствия, заключение отрицает истинность основания.

в) Схема: pq, | q

| p

Задание 9

Формулировка:

1. Сделайте вывод из посылок разделительно-категорического умозаключения и определите логическую характеристику получившегося разделительно-категорического умозаключения (РКУ):

а) выделите структурные элементы РКУ: разделительную посылку, категорическую посылку и заключение; обозначьте их соответствующими символами;

б) определите вид модуса РКУ;

в) запишите формулу модуса РКУ;

г) проверьте правильность РКУ.

Содержание:

Умозаключение: «По количеству категорические суждения делятся на общие или частные. Данное категорическое суждение общее, следовательно…».

Решение:

1. а) В данном РКУ можно выделить следующие структурные элементы:

Разделительная посылка: По количеству категорические суждения

делятся на общие (p) или частные (q).

Категорическая посылка: Данное категорическое суждение общее.

Заключение: Данное категорическое суждение

не является частным.

В разделительной посылке содержатся два простых суждения: одна альтернатива «Данное категорическое суждение общее» (p) и другая альтернатива «Данное категорическое суждение частное» (q), связанных логическим союзом «или». В категорической посылке «Данное категорическое суждение общее» (p) утверждается одна из альтернатив разделительной посылки. В заключении «Данное категорическое суждение не является частным » (| q ) отрицается другая альтернатива разделительной посылки.

1б. Модус данного РКС – утверждающе-отрицающий;

1в. Схема: p\/q, p

| q где дизъюнкция строгая

1г. Данный РКС правильный, так как разделительная посылка сильная дизъюнкция, а в утверждающе-отрицающем модусе именно это правило должно соблюдаться.