Логика: краткий теоретический курс. Веревичев И.И. - 67 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

66
Вывод по данному модусу признается правильным, если в большей
посылке модуса перечислены все возможные альтернативы.
Пример:
Приговоры могут быть либо обвинительными, либо оправдательными.
По делу М. не вынесен обвинительный приговор.
Следовательно, М. судом оправдан.
Число альтернатив в разделительной посылке может быть и больше двух.
В качестве примера восстановим энтимему, которую представляет собой
стихотворение Ф. Тютчева, в полную фигуру разделительно-категорического
умозаключения:
Умом Россию не понять,
Аршином общим не измерить:
У ней особенная стать -
В Россию можно только верить.
В данном умозаключении пропущена большая посылка: “Страны можно
пытаться либо понять, либо измерить, либо остается в них верить”.
Дополним стихотворение этой посылкой. Тогда заключение Ф. Тютчева о том,
что “В Россию можно только верить” следует признать правильным, поскольку
данную энтимему удалось представить в виде правильного отрицающе-
утверждающнего модуса разделительно-категорического умозаключения, в
большей посылке которого перечислены все возможные в данном случае
альтернативы.
Логическая схема данной энтимемы: Логическая схема полной фигуры:
?, ┐ р, ┐ q р V q V r, ┐ р, ┐q
r r
5. Условно-разделительные умозаключения
В условно-разделительных умозаключениях посылки и заключение
представляют собой комбинации условных (импликативных) и разделительных
суждений.
Разновидности условно-разделительных умозаключений называют леммами.
К ним относятся дилеммы, трилеммы, тетралеммы и т.д. Рассмотрим наиболее
распространенную разновидность – дилемму. Дилеммы могут быть простыми
и сложными, конструктивными и деструктивными.
Cхема простой конструктивной дилеммы: Логическая формула:
(р → r) ۸ (q → r), р v q ((( р→ r ) ۸ (q →r)) ۸ (p v q)) →r
r
Cхема сложной конструктивной дилеммы: логическая формула:
(р → q) ۸ (r → s), р v r (((р→ q) ۸ (r →s)) ۸ (р v r)) → (q v s)
q v s
Cхема простой деструктивной дилеммы: логическая формула:
(р → q) ۸ (р → r), ┐q v ┐r ((р→ q) ۸ (p →r)) ۸ (┐q v ┐r)) → ┐p
┐p

Страницы