Умозаключение

13.1. Виды умозаключений

Умозаключение – форма мысли, в которой устанавливается такая связь между суждениями, с помощью которой обеспечивается получение новых истинных суждений на основе уже имеющихся [8, 16].

Новое истинное суждение, полученное в результате умозаключения, называется выводом, при этом исходные суждения называются посылками.

Между посылками и выводом должно существовать отношение следования. Вывод следует из посылок, если истинность посылок приводит к истинности умозаключения, т.е. важно следование и важна истинность посылок.

Задача логики – сформулировать правила, обеспечивающие истинность вывода при условии истинности посылок.

Выделяют дедуктивные и индуктивные умозаключения.

Дедуктивное умозаключение («дедукция» – от лат. «выведение») – обеспечивает переход от более общих суждений к менее общим, то есть частный случай подводится под действие общего закона, правила, теоремы.

Если при построении умозаключения производится переход от истинности единичного или частного суждения к общему, то такое суждение называется индуктивным (от лат. «наведение»).

Различают полную индукцию (обобщение на основе конечной обозримой области фактов) и неполную (относится к бесконечной области фактов).

Дедуктивные умозаключения могут быть непосредственными и опосредованными.

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

Непосредственное умозаключение

Непосредственное умозаключение строится двумя путями:

1. Путем преобразования исходного суждения (посылки).

2. На основе знаний об отношениях между суждениями.

Умозаключение путем обращения суждения.

При таком умозаключении меняются субъект и предикат исходного суждения:

S – P (посылка)

P – S (заключение)

Дата добавления: 2015-07-11