48. Умозаключение (вывод в логике)

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

мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением или следствием. Умозаключения часто подразделяют на дедуктивные (см.: Дедукция) и индуктивные (см.: Индуктивная логика, Индуктивное умозаключение). В дедуктивных У., если посылки истинны и при этом соблюдены соответствующие правила логики, то заключение будет истинным. В индуктивных У. при истинности посылок и при соблюдении соответствующих логических процедур (напр., правил обобщения) заключение в общем случае может оказаться как истинным, так и ложным. Современная формальная логика на основе различных логических систем моделирует процессы У., протекающие в мозгу человека. Правила логики выявляются на основе формализации конкретных по содержанию У. В естественном конкретно-содержательном мышлении некоторые посылки часто пропускаются, не формулируются в явной форме, тем более не формулируются в явной форме и правила вывода: они применяются человеком на интуитивной основе Это ведет к появлению логических ошибок. Знание всех подразумеваемых посылок, их логической формы, выявляемой на основе формализации, а также правил логики позволяет контролировать использование различных форм умозаключающей деятельности мышления. В процессе рассуждения, представляющего собой сознательный, последовательно осуществляемый мыслительный процесс, в процессе доказательства к.-л. положений мы часто пользуемся цепочками У. (см.: Сорит). Условием правильности таких рассуждений и доказательств является не только истинность посылок (аргументов, оснований), но и соблюдение правил логики3) Смоленск севернее Рязани.

Рязань севернее Тулы.

Смоленск севернее Тулы.

4) Иван - сын Петра.

Петр - сын Андрея. _____

Иван - внук Андрея.

5) Точка A лежит на прямой между точками В и С.

Точка D лежит на той же прямой между точками A и B.

Точка D лежит на данной прямой между точками В и С.Эти умозаключения широко используются в процессе мышления различного конкретного содержания.

Посылки

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

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

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

Некоторые спортсмены – легкоатлеты.

Некоторые студенты – спортсмены.

Некоторые студенты – легкоатлеты.

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

2. Из двух отрицательных посылок нельзя вывести никакого заключения. В самом деле, если изобразить термины таких суждений с помощью круговых диаграмм, то будет видно, что ни один из этих кругов не входит в другой, а значит, между ними нельзя установить логически необходимой связи. Так, из утверждений: 1) "Ни один треугольник не есть квадрат" и 2) "Эта фигура – не квадрат" вовсе не следует заключение, что "Данная фигура должна быть треугольником". Здесь снова отсутствует логически необходимая связь между посылками и заключением.

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

Все равносторонние треугольники имеют равные углы.

Этот треугольник неравносторонний.

Следовательно, его углы не равны.

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

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

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

Данный треугольник равнобедренный.________

Следовательно, углы при его основании равны.

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

Все углеводороды – органические соединения.

Некоторые углеводороды – газы.____________

Следовательно, некоторые газы – органические соединения.

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