15.Понятие умозаключения и его структура. Непосредственные умозаключения.

Наши рассуждения в повседневной жизни или в профессиональной сфере – это и есть средство извлечения нового знания из уже имеющегося. То есть умозаключение является основной логической формой опосредованного мышления.

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

- исходного знания (посылки);

- обосновывающего знания (логическое основание вывода);

- выводного знания (заключение).

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

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

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

В умозаключении по аналогии на основании сходства предметов в одних признаках делается вывод о сходстве этих предметов и в других признаках.

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

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

Умозаключения с одной посылкой основаны на рассмотренном выше логическом квадрате: выводное суждение соотносится с посылкой как подчиненное, противоположное (контрарное, контрадикторное), обращенное (отношение контрапозиции). Правильность непосредственных умозаключений очевидна, поэтому они задаются как отношения с примерами, где малые латинские буквы а, і, е, о означают соответствующие виды суждений, заглавные латинские буквы S и P — субъект и предикат, символ ù — отрицание, а символ => отношение следования "если... то".

Умозаключения подчинения.

SaP => SiP — если все люди разумны, то и некоторые люди разумны.

SeP => SoP — если ни один человек не разумен, то и некоторые люди не разумны.

ù SiP => ù SaP — если неверно, что некоторые люди разумны, то неверно, что все люди разумны.

ù SoP => ù SeP — если неверно, что некоторые люди неразумны, то неверно, что все люди неразумны.

Умозаключения противоположности.

SaP => ù SeP — если все люди разумны, то неверно, что ни один человек не разумен.

SaP => ù SoP — если все люди разумны, то неверно, что некоторые люди не разумны.

ù SaP => SoP — если неверно, что все люди разумны, то верно, что некоторые люди не разумны и т.д.

16.Простой категорический силлогизм. Структура категорического силлогизма. Способы проверки правильности категорических силлогизмов.

Силлогизм (греч. syllogismоs) – дедуктивное умозаключение, в котором из двух суждений (посылок) следует третье суждение (заключение). В зависимости от вида суждений (посылок), входящих в силлогизм, различают:

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

Все люди (М) дышат кислородом (Р)

Р кислородом дышу S Я

М человек S Я

Анализ структуры силлогизма следует начинать с заключения. Субъект заключения называется меньшим термином и обозначается буквой S; предикат заключения называется большим термином и обозначается буквой Р; термин, связывающий две посылки и не входящий в заключение, называется средним термином и обозначается буквой М

S – меньший термин – «Я»;

Р – больший термин – «дышат кислородом»;

М – средний термин – «человек».

Посылка, содержащая больший термин, называется «большой посылкой» («Все люди дышат кислородом»). Посылка, содержащая меньший термин, называется меньшей посылкой («Я - человек»).

Существуют правила терминов простого категорического силлогизма:

1. В силлогизме должно быть только три термина (меньший, больший, средний). Нарушение этого правила приводит к логической ошибке, которая называется «учетверением терминов».

2. Термин, не распределенный в посылках, не может быть распределен в заключении.

3. Средний термин должен быть распределен хотя бы в одной из посылок.

Выделяют также правила посылок категорического силлогизма:

1. Из двух частных посылок нельзя сделать заключение.

2. Если одна из посылок частная, то и заключение должно быть частным.

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

4. Если одна из посылок отрицательная, то и заключение должно быть отрицательным.

Фигура силлогизма – разновидность силлогизма в зависимости от местоположения среднего термина в посылках. Схематически эти фигуры можно изобразить так (рис 4.3):

Каждая из фигур силлогизма имеет свои правила:

для I фигуры – большая посылка должна быть общей, а меньшая – утвердительной;

для II фигуры – большая посылка должна быть общей, а одна из посылок – отрицательным суждением;

для III фигуры – меньшая посылка должна быть утвердительным, а заключение – частным суждениями;

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

Модусы силлогизма – разновидность силлогизма в зависимости от количественной и качественной характеристик суждений, входящих в его состав.

Каждая фигура силлогизма имеет свои правильные модусы:

I фигура – ААА, ЕАЕ, AII, EIO;

II фигура – ЕАЕ, АЕЕ, ЕIO, AOO;

III фигура – AAI, IAI, EAO, EIO, АII, ОАО;

IV фигура – ААI, IАI, АЕЕ, ЕАО, ЕIО.