четырех следствий: «по этому делу судья является родственником одной
из сторон» (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)
Задание 14
Формулировка:
1. Выделите структурный элемент индуктивного умозаключения.
4. определите вид индуктивного умозаключения.
5. Запишите индуктивное умозаключение символами.
Содержание:
Индуктивное умозаключение: «Судьи районного, областного,
гарнизонного военного судов, а также мировые судьи являются членами
судейского сообщества, следовательно, все судьи являются членами
судебного сообщества»
Решение:
1. Выделим структурные элементы в индуктивном умозаключении по
следующему алгоритму:
- найдем заключение – «все судьи являются членами судебного
сообщества», в котором понятие является субъектом «все судьи», а
понятие «членами судебного сообщества» – предикатом.
- выделим субъекты исходных посылок – это понятия Судьи
районного(S1), областного(S2), гарнизонного военного судов(S3), а также
мировые судьи(S4), так как они составляют класс предметов «все судьи».