Логика - Учебное пособие (Жеребкин В.Е.)

6.9.  условно-категорическое умозаключение

Условно-категорическое умозаключение состоит из двух посы­лок — условного и категорического суждений. При этом катего­рическая посылка обычно состоит из тех же терминов, что и осно­вание или следствие условной посылки. Например: “Если государ-ственная система образования получит поддержку, то вузы Украины преодолеют трудности. Государственная система обра­зования получит поддержку. Следовательно, вузы Украины пре­одолеют трудности”.

Условно-категорическое умозаключение имеет два модуса — утверждающий и отрицающий.

В утверждающем модусе заключение идет от утверждения осно­вания к утверждению следствия. Общая схема этого модуса тако­ва: если есть А, то есть В; есть А, следовательно, есть и В.

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

В отрицающем модусе заключение идет от отрицания следствия к отрицанию основания. Схематически отрицающий модус можно записать так: если есть А, то есть и В; нет В, следовательно, нет и А.

Вывод по этому модусу также бывает утвердительным и отри­цательным; его качественная сторона находится в обратной зави­симости от качественного характера условной посылки.

Нередко в условной посылке основание и следствие различны по качественному характеру. В таком случае категорическая посылка по качеству должна быть обратной качественному характеру следствия, а вывод будет обратным (в качественном отношении) основанию услов-ной посылки. В общей схеме это выглядит так: если есть А, то нет В; есть В, следовательно, нет А.

Учитывая, что явление может обусловливаться различными при­чинами, в условно-категорическом умозаключении нельзя идти от отрицания основания к отрицанию следствия или от утверждения следствия к утверждению основания (ибо это следствие может иметь иное основание).

127