Не используется, так как имеет искусственный характер
Картофель растет в земле → он овощ
Курение наказуемо, так как любой порок наказуем
|
Условный силлогизм
а) Чисто условное умозаключение
б) Условно-категорическое умозаключение
а) Чисто условное умозаключение (силлогизм) – умозаключение, в котором обе посылки и заключение – условные суждения.
а → в а, в, с – простые суждения
в → с
а → с
а → в
Если возродим духовность, то добьемся экономического успеха
в → с
Если добьемся экономического успеха, то обретем нормальную жизнь
а → с
Если возродим духовность, то обретем нормальную жизнь
|
Шерлок Холмс – капитан
б) Условно-категорический силлогизм – умозаключение, в котором большая посылка – условное суждение, а меньшая - категорическое
1) утверждающий модус: (modus ponens)
a → в, а
в
- меньшая посылка утверждает основание
- заключение утверждает следствие
а → в
Если человек – геолог, то он смельчак
а
Мой друг геолог
в
Следовательно он смельчак
2) отрицательный модус (деструктивный) (modus tollens)
а → в, ˥ в
˥а
А в
Курить здоровью вредить, С. не курит
- меньшая посылка отрицает следствие
- заключение отрицает основание
|
Модусы:
а → в, ˥ а и а →в, вдают лишь вероятное знание
˥в а
Разделительно-категорический силлогизм
Разделительно-категорический силлогизм – умозаключение, в котором одна посылка – разделительное суждение, а другая и заключение – категорические суждения.
а) Утверждающе-отрицающий модус (modus ponendo tollens)
аỲв, а
˥в
- меньшая посылка – категорическое суждение – утверждает одну из альтернатив
- заключение отрицает все остальные альтернативы
а˥в
леса могут быть хвойные или лиственные или смешанные
в
наш лес – лиственный
а ۸ с
наш лес не является хвойным и смешанным
б) Отрицающе-утверждающий модус (modus tollendo ponens)
<a۷в>, ˥ a
в
- меньшая посылка – категорическое суждение – отрицает все альтернативы, кроме одной.
- заключение утверждает оставшуюся альтернативу.
Правило
- деление должно быть полным
Ограбили склад Иванов или Петров или Сидоров
Дата добавления: 2015-11-06; просмотров: 538;