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

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

Государственная система образования получит поддержку. Следовательно, вузы Украины преодолеют трудности".

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

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

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

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

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

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

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