IV. Проверить правильность разделительно-категорических силлогизмов, указав их модус
Умозаключение бывают дедуктивные, индуктивные или по аналогии
Это умозаключение не дедуктивное и не индуктивное
_________
Это умозаключение по аналогии
Сложные суждения бывают разделительные или условные
Это сложное суждение не является разделительным
________
Это суждение условное
Пример:
Умозаключение бывают дедуктивные, индуктивные или по аналогии
Это умозаключение не дедуктивное и не индуктивное
________
Это умозаключение по аналогии
Прежде всего, необходимо формализовать данный силлогизм, чтобы выявить его модус.
<А В С>
не А и не В
______
С
Это отрицающе-утверждающий модус разделительно-категорического силлогизма. Условие истинности этого модуса силлогизма – большая посылка должна быть закрытой дизъюнкцией. В данном силлогизме это условие соблюдается, следовательно, он является правильным