V Пример. Некоторый S- есть P- («Часть студентов — отличники»)

Некоторый S^- есть P^- («Часть студентов — отличники»)

^{__________________________________________________________________________}

Некоторый P^- естьS^- («Часть отличников — студенты»);

Всякий S⁺ не есть P⁺ («Ни один газ не есть твёрдое тело)

^{__________________________________________________________________________}

Всякий P⁺ не есть S⁺ («Ни одно твёрдое тело не есть газ).

Обращением с ограничением (conversio per accidens) называется обращение, дающее заключение с иной количественной характеристикой, чем у посылки. Такое обращение имеет место в том случае, если S исходного суждения распределён, а P не распределён, либо не распределён S, но распределён P.

Таким образом, оно осуществляется для формулы SaP по второй модельной схеме (S⁺, P^-) и для формулы SiP по второй модельной схеме (S^-, P⁺).

V Пример

Всякий S⁺ есть P^- («Всякая столица является городом»)

^{___________________________________________________________________________}

Некоторый P^- есть S⁺ («Некоторые города — столицы»);

Некоторый S^- есть P⁺ («Часть юристов — прокуроры»)

^{_________________________________________________________________________}

Всякий P⁺ естьS^- («Все прокуроры — юристы).

Применительно к формуле SoP нельзя получить логического следования.

V Пример

Из истинного частноутвердительного суждения (вторая модельная схема, S^- и P⁺) «Некоторые живые существа не являются людьми» путём обращения нельзя получить истинного суждения, что означает невозможность осуществления логического следования для данной формулы в целом.

Общая характеристика и логическая структура простого

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