Частноутвердительные суждения (i) не преобразуются противопоставлением предикату, Т. К. Определённый вывод сделать невозможно.

Некоторые мыши – белые.

Не-белые? – вывода нет.

Некоторые шахматные фигуры – слоны.

Не-слоны? – вывода нет.

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

 

Вопрос 28: Умозаключение как метод мышления: Простой категорический силлогизм: Структура и правила силлогизмов (для терминов и посылок).

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

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

 

Третье понятие «планета», посредством которого устанавливается связь между большим и меньшим терминами, называется средним термином силлогизма и обозначается символом М (medium - посредник). Средний термин входит в каждую посылку, но не входит в заключение. Назначение среднего термина – быть связующим звеном между крайними терминами, между субъектом и предикатом вывода.

Эта связь осуществляется в посылках: в большей посылке средний термин связан с предикатом (М - Р), в меньшей посылке – с субъектом вывода (S - М). В итоге мы получаем следующую общую схему силлогизма:

 

M -------------PS ---------------M

S --------------M Или M--------------P (S – M – P)

S --------------Р S---------------P

 

При этом нужно иметь в виду: 1) наименования «большая» или «меньшая» посылка зависит не от местоположения в схеме силлогизма, а только от наличия в ней большего или меньшего термина; 2) с переменой места любого термина в посылке обозначение его не меняется – больший термин (предикат вывода)всегда обозначается символом Р, меньший (субъект вывода) – символом S, средний – символом М; 3) от перемены порядка посылок в силлогизме вывод, то есть логическая связь между крайними терминами, не зависит.

 

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

 

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

 

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

 

Отражая объективные свойства и отношения вещей, аксиома силлогизма выражает связь понятий – терминов прежде всего по их содержанию. Но так как связь понятий по содержанию определяет их отношение по объему, то аксиома выражает также объемные отношения терминов силлогизма. Эти отношения можно выразить круговыми схемами, показав несовместимость или совместимость объемов понятий, отражающих признаки определенных классов предметов (Рис. 1 и 2).

Овал: P

1. 2.

 

Название «аксиома» силлогизма означает, что правило не требует доказательства: многократно подтвержденное опытом, оно стало очевидным.

29. Умозаключение как метод мышления: Фигуры силлогизма и их познавательные функции. Понятие модуса силлогизма. Способы проверки правильности силлогизма.

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

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

Во второй фигуре — место предиката в обеих посылках. Ее используют для опровержения каких-либо выводов.

В третьей фигуре — место субъекта в обеих посылках. Она помогает обосновать частный случай или исключение из общих правил.

В четвертой фигуре — место предиката в большей и место субъекта в меньшей посылках.

Эти фигуры исчерпывают все возможные комбинации терминов.

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

Правила фигур:

1 фигура: большая посылка обязательно общее суждение, а меньшая посылка утвердительная.

2 фигура: большая посылка всегда общее суждение, одна из посылок отрицательная.

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

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

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

Всего насчитывается 256 модусов (по 64 для каждой фигуры). Правильных – 24 (по 6 на каждую фигуру), из них сильных – 19.

30.Умозаключение как метод мышления: Первая фигура силлогизма и ее модусы

Первая фигура силлогизма – это такое расположение его терминов, при котором первая посылка начинается со среднего термина, а вторая заканчивается средним термином. Например:

Все газы (М) – это химические элементы (Р).

Гелий (S) – это газ (М).

Гелий (S) – это химический элемент (Р). Учитывая, что в первой посылке средний термин связан с предикатом, во второй субъект связан со средним термином, а в выводе субъект связан с предикатом, составим схему расположения и связи терминов в приведённом примере (рис. 34):

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

 

35. Умозаключение как метод мышления: сложные силлогизмы (полисиллогизмы и сориты)

 

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

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

Напр.: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)».

В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение – заключением.

При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу («значит», «поэтому» и т. п.) под чертой обычно не пишутся. В соответствии с этим приведенный пример примет следующий вид:

Судья не может участвовать в рассмотрении дела, если он является потерпевшим.

Судья Н. – потерпевший.

__________________________

Судья Н. не может участвовать в рассмотрении дела.

Отношения логического следования между посылками и заключением предполагают связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во-первых, исходные суждения – посылки умозаключения должны быть истинными; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения.

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

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

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

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

 

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

Фигурными скобками выделены два силлогизма, объединенные в полисиллогизм. Обратим внимание на то, что вывод предыдущего силлогизма стал большей посылкой последующего. В этом случае получившийся полисиллогизм называется прогрессивным. Если же вывод предыдущего силлогизма становится меньшей посылкой последующего, то полисиллогизм называется регрессивным. Например:

Все звезды – это небесные тела.

Солнце – это звезда.

Солнце – это небесное тело.

 

Все небесные тела участвуют в гравитационных взаимодействиях.

Солнце – это небесное тело.

Солнце участвует в гравитационных взаимодействиях.

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

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

 

Все, что развивает мышление, полезно.

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

Шахматы – это интеллектуальная игра.

Шахматы полезны.

 

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

Все звезды – это небесные тела.

Солнце – это звезда.

Все небесные тела участвуют в гравитационных взаимодействиях.

Солнце участвует в гравитационных взаимодействиях.

 

 

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

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

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

Напр.: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)».

В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение – заключением.

При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу («значит», «поэтому» и т. п.) под чертой обычно не пишутся. В соответствии с этим приведенный пример примет следующий вид:

Судья не может участвовать в рассмотрении дела, если он является потерпевшим.

Судья Н. – потерпевший.

__________________________

Судья Н. не может участвовать в рассмотрении дела.

Отношения логического следования между посылками и заключением предполагают связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во-первых, исходные суждения – посылки умозаключения должны быть истинными; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения.

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

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

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

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

Чисто условным умозаключением (силлогизмом) называется такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее структуру: “Если а, то b ”.Структура чисто условного умозаключения такая:

Если а, то b

Если b, то с.

Если а, то с

а→b, b→c, a→c

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

((а→c)^ (b→с))→(а→с).

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

Приведем пример:

Если правильно внести удобрения, то урожай повысится

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

Если правильно внести удобрения, то себестоимость продукции станет ниже.

В чисто условном умозаключении существуют его разновидности (модусы). К ним относится, например, такой:

Если а, то b

Если не-а, то b а→b

Эта формула является законом логики. В умозаключении суждение b истинно и независимо от того, утверждается или отрицается а.

Примером такого умозаключения является следующее рассуждение:

Если бензин не подорожает, уберем урожай.

Если бензин подорожает; уберем урожай.

Уберем урожай.

Приведем пример из художественной литературы. Один из героев Агаты Кристи, оказавшийся на острове, рассуждает:

“Генерал Макартур пребывал в мрачной задумчивости. Черт побери, до чего все странно! Совсем не то, на что он рассчитывал... Будь хоть малейшая возможность, он бы под любым предлогом уехал... Ни минуты здесь не остался бы. Но моторка ушла. Так что хочешь не хочешь, а придется остаться”.