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

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

Дайте логическую характеристику разделительно – категорического силлогинизма (РКС):

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

2.     расположите структурные элементы по правилу записи РКС: 1 место – разделительная посылка, 2 место – категорическая посылка, 3 место – заключение, которое отделяется чертой от посылок; каждый из структурных элементов обозначьте соответствующими символами;

3.     определите модус РКС;

4.     запишите формулу модуса РКС;

5.     Проверьте правильность РКС.

Содержание:

Разделительно- категорический силлогизм: «Решение мирового судьи, не вступившее в силу, может быть обжаловано в аппеляционном или кассационном порядке. Решение мирового судьи по делу К., не вступившее в законную силу, не обжаловано в аппеляционном порядке, следовательно, оно обжаловано в кассационном порядке»

Решение:

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

- разделительная посылка «Решение мирового судьи, не вступившее в силу, может быть обжаловано в аппеляционном или кассационном порядке», в котором одна альтернатива «Решение мирового судьи, не вступившее в силу, может быть обжаловано в аппеляционном порядке»(р) и другая альтернатива «Решение мирового судьи, не вступившее в силу, может быть обжаловано в кассационном порядке»(q), связана логическим союзом «или».

- категорическая посылка «Решение мирового судьи по делу К., не вступившее в законную силу, не обжаловано в аппеляционном порядке» (ùp);

     - заключение «оно обжаловано в кассационном порядке» (q), которое стоит после слова «следовательно».

2. Запишем структурные элементы НКС  по правилу записи:

Решение мирового судьи, не вступившее в силу, может быть обжаловано в аппеляционном (р)  или кассационном порядке(q)

Решение мирового судьи по делу К., не вступившее в законную силу, не обжаловано в аппеляционном порядке» (ùp );

оно обжаловано в кассационном порядке» (q)

3. Определим модус  РКС – отрицающее – утверждающий, так как рассуждение направлено от отрицания одной альтернативы (в категорической посылке) к утверждению другой альтернативы (в заключении).

4. Запишем формулу РКС:< р v q>,ùp

                                                   (q)

5. Проверим правильность вывода РКС по разделительной посылке: РКС правильный, так как в большой посылке перечислены все возможные суждения, большая посылка полное дизъюнктивное высказывание.