Задание 8.

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

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

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

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

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

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

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

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

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

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

Содержание:

Суждение: Если вина обвиняемого не доказана, то он считается невиновным»

Решение:

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

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

а) Условная посылка: : Если вина обвиняемого не доказана, то он считается невиновным (pq )

Категорическая посылка: Вина обвиняемого доказана (| q)

Заключение: Он считается невиновным (| p)

Основание: Вина обвиняемого не доказана (| q)

Следствие: Он считается невиновным (| p)

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

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

q

2. по отрицательному модусу

а) Условная посылка: Если вина обвиняемого не доказана, то он считается невиновным (pq )

Категорическая посылка: Вина обвиняемого не доказана (p)

Заключение: Он считается невиновным (q)

Основание: Вина обвиняемого не доказана (p)

Следствие: Он считается невиновным (q)

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

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

| p

Задание 9.

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

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

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

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

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

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

Содержание:

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

«Всякая политическая реформа разумна или бесполезна. Реформы Григорьева были бесполезны. Следовательно….»

Решение:

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

Разделительная посылка: Всякая политическая реформа разумна (p) или бесполезна (q).

Категорическая посылка: Реформы Григорьева были бесполезны.

Заключение: Реформы Григорьева не разумны

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

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

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

¬­­­ p где дизъюнкция строгая

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