4.2. Разделительный и разделительно- категорический силлогизмы
Разделительный силлогизм - умозаключение, посылками и заключением которого являются разделительные (дизъюнктивные) суждения. Его схема такова:
pvq
Pi УР2УРЗ Pivp2 vp3vq
Например:
Экзамен можно сдать или не сдать
Экзамен можно сдать или на" отлично", или на" хорошо", или на "удовлетворительно"
Экзамен можно сдать или на" отлично", или на" хорошо", или на "удовлетворительно", или совсем не сдать
Разделительно-категорический силлогизм - умозаключение, одной посылкой которого является разделительное (дизъюнктивное) суждение, другой - категорическое.
Этот вид умозаключения содержит два модуса.
модус - утверждающе-отрицающий (modus ponendo tollens).
Его схема:pvq P_
q
В категорической посылке производится утверждение одной альтернативы разделительного суждения. В заключении отрицаются все остальные альтернативы. Например:
В школе может быть либо совместное обучение девочек и мальчиков, либо раздельное В данной школе совместное обучение учеников Значит, в данной школе нет раздельного обучения
Правило modus ponendo tollens - разделительная посылка должна быть исключающей (строгой) дизъюнкцией.
модус - отрицающе-утверждающий (modus tollendo ponens).
р vqvz
с P,q
Его схема: i—1
Во второй категорической посылке производится отрицание всех членов дизъюнкции, кроме одного, истинность которого утверждается в заключении. Например:
Светофор может гореть либо красным, либо желтым, либо зеленым светом В данный момент не горит ни красный, ни желтый свет Значит, горит зеленый свет
Правило modus tollendo ponens - в разделительной посылке должны быть перечислены все возможные альтернативы.