Задание 16 - Решение задач (заданий) по логике

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

1. выделите структурные элементы УКС: обозначьте их соответствующими символами;

2.     сделайте вывод;

3.     определите вид дилеммы: конструктивная или деструктивная, простая или сложная.

Содержание:

Разделительно- категорический силлогизм: « Если какое-то дело судья не может рассматривать, то по этому делу судья является родственником одной из сторон или проходил в качестве свидетеля, специалиста, эксперта. По делу М. судья Т. Не является родственником одной из сторон или не проходит в качестве свидетеля, специалиста, эксперта, следовательно, он может рассматривать дело М.»

Решение:

1.     Выделим структурные элементы:

- условная посылка  «Если какое-то дело судья не может рассматривать, то по этому делу судья является родственником одной из сторон или проходил в качестве свидетеля, специалиста, эксперта», которая имеет основание «Если какое-то дело судья не может рассматривать» (р) и четырех следствий: «по этому делу судья является родственником одной из сторон» (q), «по этому делу судья проходил в качестве свидетеля»(r), «по этому делу судья специалиста»(k), по этому делу судья проходил в качестве эксперта»(t). Основание и следствие соединены логическим союзом «если…, то»

Разделительная посылка «По делу М. судья Т. Не является родственником одной из сторон»( ùq); «по этому делу судья проходил в качестве свидетеля»( ùr) «по этому делу судья специалиста»( ùk) по этому делу судья проходил в качестве эксперта»( ùt)

2.     Сделаем вывод, т.е составим заключение. Известно, что ход рассуждения в дилемме может идти в двух направлениях: от от утверждения основания ( в разделительной посылке) к утверждению следствий (следствия) (в заключении), либо от отрицания следствий (в разделительной посылке) к отрицанию основания (основания) (в заключении). Так как в нашем случае утверждается  следствие, то в заключении должно утверждаться основание: «он может рассматривать дело М.»

3.     Определим вид дилеммы:

- деструктивная, так как рассуждение направлено от отрицания следствия к отрицанию основания.

     - простая, так как заключение простое суждение.

4. Запишем УРС символически:

Р® (q v r v k v t), (¬q)v( ¬r)v( ¬k)v( ¬t)

                                    (¬p)