Модельные схемы простого категорического силлогизма

Решить вопрос о правильности того или иного модуса ПКС можно семантическим методом и синтаксическим методом. Семантический метод состоит в рассмотрении модельных схем, отвечающих истинности как суждений-посылок, так и заключения. Рассмотрим в качестве примера модус oao третьей фигуры. Семантический анализ показывает, что множество модельных схем данного модуса по трём переменным S, P, M состоит из четырёх рядов модельных схем (рис. 12):

I

U M^- P⁺

Большая посылка:

Меньшая посылка:

U S^- P⁺

^{______________________}

II

U M^- P⁺

Большая посылка:

Меньшая посылка:

U S^- P⁺

^{______________________}

III

U M^- P⁺

Большая посылка:

Меньшая посылка:

U S^- P⁺

^{______________________}

IV

U M^- P⁺  

Большая посылка:

Меньшая посылка:

U S^- P⁺

^{_______________________}

Рис. 12

Все суждения-заключения приведённых рядов модельных схем являются истинными, т. е. логически следуют из истинных же суждений-посылок.

Дата добавления: 2015-09-05