Сложные умозаключения

Общая характеристика умозаключений

С точки зрения логики сущность умозаключения состоит в том, что мысль должна двигаться к синтезу новых знаний от анализа имеющихся. У этого движения объективный характер, определяемый связями, существующими в реальности. Когда объективная связь отражается в сознании, она обеспечивает мыслям логическую связь. Если же в действительности объективные связи отсутствуют, возникают логические ошибки.

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

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

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

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

• истинность исходных суждений (посылок). В некоторых случаях из ложной посылки может быть получено истинное заключение, например: «Все фрукты имеют форму, близкую к шару. Апельсин – фрукт. Значит, форма апельсина близка к шару». Однако если оставить первую посылку (ложную), а вторую заменить на «Банан – фрукт», будет получено уже ложное заключение. Поэтому в случае с ложными посылками нельзя ничего гарантировать; нужно ориентироваться не только на структуру посылок, но и на объективно-истинностные связи;
• соблюдение правил логического вывода, обеспечивающих логическую корректность умозаключения. Без соблюдения этого условия можно получить ложное заключение даже из истинных посылок, например: «Все кошки любят молоко. Я люблю молоко. Значит, я – кошка». Существует много правил, некоторые из них фиксируются в основных типах умозаключений.

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

В зависимости от того, как развивается мысль, а также от того, насколько обоснован вывод, умозаключения бывают:

• дедуктивные (от латинского deductio, что переводится как «выведение»). В них связь между посылками и заключением строится по формально-логическим законам, поэтому из истинных посылок всегда получается истинное заключение. Дедуктивные умозаключения служат для того, чтобы вывести из одних мыслей другую мысль. В рамках дедуктивного умозаключения происходит развитие мысли от более общего знания к менее общему. Заключение в этом случае имеет достоверный характер, поскольку следует из посылок с логической необходимостью. Объективная база дедуктивных умозаключений – единство в реальных процессах общего и единичного (частного). В дедуктивных умозаключениях вся информация, входящая в заключение, содержится в посылках (в неявной форме), ее остается только извлечь и представить явно. При этом различают непосредственные и опосредованные дедуктивные заключения;
• индуктивные (от латинского inductio, что переводится как «наведение»). В этом виде умозаключений между посылками и заключением действуют связи, обеспечивающие получение из истинных посылок преимущественно правдоподобных заключений. Индуктивные умозаключения служат для того, чтобы навести на новую мысль, которую в дальнейшем проверяют другими методами;
• по аналогии (от греческого analogia – «сходство, соответствие»). В этом виде умозаключений из сходства двух объектов по одним параметрам предполагают их сходство по другим параметрам. При использовании аналогии нередко можно получить ложный вывод. Например: «Апельсин оранжевый и имеет форму шара. Мячик тоже оранжевый и имеет форму шара. Апельсин сладкий, значит, мячик тоже сладкий».

Сложный категорический силлогизм

Большое значение для формальной логики имеют силлогизмы.

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

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

Различают две схемы построения полисилогизмов (сложных категорических силлогизмов):

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

Умозаключения из сложных суждений

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

Часто встречаются умозаключения, в роли посылок которых выступают условные и разделительные суждения, по-разному сочетающиеся между собой и с категорическими суждениями. Специфика этих умозаключений состоит в том, что заключение выводится из посылок не на основе отношений между терминами (как в категорических силлогизмах), а исходя из логической связи между суждениями. Поэтому в процессе анализа посылок не рассматривается их субъектно-предикатная структура.

Условные умозаключения делятся на:

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

Разделительные умозаключения делятся на:

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

Дилеммой называют условно-разделительное умозаключение, содержащее две альтернативы.