Сущность умозаключения, его структура. Виды умозаключений.

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

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

Железо проводит электрический ток. Некоторые истины устанавливаются без всяких рассуждений, путем простого усмотрения того, что показывает наблюдение, или того, что представляется очевидным для мысли. Так, например: «Сейчас небо пасмурно». Истинность данного суждения доказывать не приходится, так как она очевидна. Целью умозаключения является выведение новой истины из ранее известной. Любое истинное умозаключение ведет мысль дальше того, что уже известно из посылок, присоединяет к ранее установленным истинам истину новую.

Умозаключение есть извлечение новой истины из ранее признанных и известных истин.

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

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

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

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

Превращение – вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки. Схема превращения: S есть Р; S не есть не-Р.

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

Противопоставление предикату – это непосредственное умозаключение, при котором предикатом является субъект, субъектом – понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Его схема: S есть Р; не-Р не есть S.

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

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

1. Дедуктивные умозаключения – из общего правила выделяется вывод для частного. Пример: все звезды излучают энергию. Солнце – звезда. Солнце излучает энергию.

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

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

 

20.Дедуктивные умозаключения. Простой категорический силлогизм.

Дедуктивными являются следующие типы умозаключений: выводы логических связей и субъектно-предикатные выводы.

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

Рассмотрим эти умозаключения. Превращение имеет схему:

S есть Р

S не есть не-Р.

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

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

Все S есть Р – Ни одно S не есть не-Р.

Ни одно S не есть Р – Все S есть не-Р.

Некоторые S есть Р – Некоторые S не есть не-Р.

Некоторые S не есть Р – Некоторые S есть не-Р.

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

То есть в процессе вывода субъект встает на место предиката, а предикат – на место субъекта. Соответственно, схему обращения можно изобразить как S есть Р – Р есть S.

Обращение бывает с ограничением и без ограничения (его еще называют простое или чистое). Это разделение основывается на количественном показателе суждения (имеется в виду равенство или неравенство объемов S и Р). Это выражается в том, изменилось ли кванторное слово или нет и распределены ли субъект и предикат. Если такое изменение происходит, то имеет место обращение с ограничением. В обратном случае можно говорить о чистом обращении. Напомним, что кванторное слово – это слово – показатель количества. Так, слова «все», «некоторые», «ни один» и другие являются кванторными словами.

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

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

Приведем схемы противопоставления в зависимости от типов суждений.

Некоторые S не есть Р – Некоторые не-Р есть S.

Ни одно S не есть Р – Некоторые не-Р есть S.

Все S есть Р – Ни одно Р не есть S.

Простой категорический силлоги́зм (греч. συλλογισμός) — рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

Пример силлогизма:

Всякий человек смертен (бо́льшая посылка)

Сократ — человек (меньшая посылка)

Цель силлогизма состоит в получении из посылок нового суждения, или вывода. Пример силлогизма. Все жидкости упруги. Вода – жидкость. Вода упруга.

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

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

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

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

В каждом силлогизме должно быть три термина: меньший, больший и средний.

Меньшим термином является субъект заключения. Большим термином именуется предикат заключения. Термин, который присутствует в посылках, но отсутствует в заключениях, называется средним.

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