22. Условно категорические умозаключения.

Условно-категорическим называется умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.

Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.

• В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

• В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

23. Разделительное умозаключение.

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

Разделительно-категорическое умозаключение имеет два модуса:

• утверждающе-отрицающий;

• отрицающе-утверждающий. Отрицающе-утверждающий модус дает возможность путем отрицания неверных альтернатив прийти к истинному выводу, нередко имеющему важное значение.

24. Индуктивное умозаключение.

Индукция – это умозаключение от знания меньшей степени общности к новому знанию большей степени общности.

Посылками индуктивного умозаключения являются суждения, в которых закрепляется информация, полученная опытным путем, об устойчивости признака у ряда явлений, принадлежащих одному и тому же классу.

Основной функцией индукции является генерализация, т. е. получение общих суждений. Данные обобщения могут носить различный характер – от простейших до эмпирических.

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

Полная индукция – это умозаключение, в котором общее заключение о всех элементах класса предметов делается на основании рассмотрения каждого элемента этого класса.

Данные индуктивные умозаключения применяются в тех случаях, когда имеется дело с замкнутыми классами, в которых число элементов конечно и которые легко обозримы (например, число планет Солнечной системы).

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

Неполная индукция – это умозаключение, в котором при повторяемости признаков у явлений опреде-. ленного класса делают вывод о принадлежности этого признака всему классу явлений.

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

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

Научная индукция опирается не столько на большое число исследованных фактов, сколько на всесторонность их анализа и установление причинной зависимости, выделение необходимых признаков или необходимых связей, предметов и явлений. Поэтому она и дает научное заключение.

Научная индукция в посылках опирается только на существенные связи и отношения, благодаря чему достоверность ее заключений носит необходимый характер.

Другим видом неполной индукции является популярная индукция. На основании повторяемости одного и того же признака у ряда однородных предметов и отсутствия противоречащего случая делается общее заключение, что все предметы этого рода обладают этим признаком. Такая индукция дает заключение вероятное, а не достоверное.