Логика. Конспект книги

• Название: Конспект книги
• Анкор: Логика.docx
• Дата: 05.02.2018
• Размер: 1.72 Mb.
• Имя файла: Логика.docx
• Тип: Конспект; #15224
• страница: 11 из 29

§ 4. Простой категорический силлогизм¹

Термин “силлогизм” происходит от греческого syllogismos (сосчитывание, выведение следствия),

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

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

Все кенгуру (M) есть сумчатые млекопитающие (Р) - бoльшая посылка.

Это животное (S) есть кенгуру (М) - меньшая посылка.________

Это животное (S) есть сумчатое млекопитающее (Р) - заключение.



рис. 21

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

______________________________________________________________________

¹Далее для простоты терминологии будем писать категорический силлогизм. 148

заключения; М (“кенгуру”) - средний термин; S (“это животное”) - меньший термин, это субъект заключения. М служит в посылках для связывания S и Р и отсутствует в заключении.

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

Фигуры и модусы категорического силлогизма

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

Рис. 22

Примеры:

1) Все жидкости (М) теплопроводны (Р).

Вода(S)-жидкость(М).

Вода (S) – теплопроводна (Р)

2)Все ужи (Р) –

пресмыкающиеся (М).

Это животное (S) не является пресмыкающимся (М)

____________________

Это животное (S) не является ужом (Р).

3) Все углероды (М)-

простые тела (Р).

Все углероды (М) –

электропроводны (S)

Некоторые электропроводники

(S)- простые тела (Р).

4) Все киты (Р) -

млекопитающие (М).

Ни одно млекопитающее (М)

ни есть рыба (S)

Ни одна рыба (S) не есть кит (Р)

149

Особые правила фигур

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

II фигура. Большая посылка общая и одна из посылок, а также заключение - отрицательные.

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

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

Модусы категорического силлогизма.

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

Всего правильных модусов в четырех фигурах 19.

I фигура имеет следующие правильные модусы (буквы обозначают последовательно количество и качество большей посылки, меньшей и заключения): ААА, ЕАЕ, All, EIO. Приведенный выше пример 1 иллюстрирует модус ААА.

II фигура имеет такие правильные модусы : АЕЕ, АОО, ЕАЕ, ЕIO. Умозаключение 2 построено по модусу АЕЕ.

III фигура имеет правильные модусы: AAI, ЕАО, IAI, ОАО, All, ЕIO. Модус AAI представлен примером 3.

IV фигура имеет правильные модусы: AAI, АЕЕ, IAI, ЕАО, ЕIO. Модус АЕЕ представлен примером 4.

Правила категорического силлогизма

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

150

/. Правила терминов

1. В каждом силлогизме должно быть только три термина (S, P, М). Ошибку, называемую учетверением терминов, иллюстрирует следующий пример:

Движение вечно.

Хождение в институт - движение.

Хождение в институт вечно.

Здесь “движение” трактуется в разном смысле - философском и обыденном.

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

MP

Некоторые растения ядовиты.

SM

Белыегрибы - растения.

SP

Белые грибы ядовиты.

Здесь средний термин - “растение” - не распределен ни в одной из посылок, поэтому заключение ложное.

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

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

Санкт-Петербург не находится за полярным кругом.

В Санкт-Петербурге не бывает белых ночей.

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

//. Правила посылок

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

Дельфины не рыбы.

Щуки не дельфины.

?

151

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

Все гейзеры - горячие источники.

Этот источник не является горячим.

Этот источник не является гейзером.

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

Некоторые животные яйцекладущие.

Некоторые организмы - животные.

?

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

Все слоны хоботные.

Некоторые животные - слоны.

Некоторые животные хоботные.

Иногда категорический силлогизм строится неправильно. Наиболее распространенные ошибки такие:

1) Заключение делается по I фигуре с меньшей отрицательной посылкой.

Все учебные аудитории нуждаются в проветривании.

Эта комната не является учебной аудиторией.

Эта комната не нуждается в проветривании.

Заключение не следует с необходимостью из этих посылок.

2) Заключение делается по II фигуре с двумя утвердительными посылками.

Все абитуриенты сдают экзамены.

Петров сдает экзамены.

Петров – абитуриент.

Все зебры полосатые.

Это животное полосатое.

Это животное – зебра.

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

152

§ 5. Сокращенный категорический силлогизм (энтимема)

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

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

Примером энтимемы является такое умозаключение: “Все кашалоты - киты, следовательно, все кашалоты - млекопитающие”. Восстановим энтимему:

Все киты - млекопитающие.

Все кашалоты - киты

Все кашалоты - млекопитающие.

Здесь пропущена большая посылка.

В энтимеме “Все углеводороды суть органические соединения, поэтому метан - органическое соединение” пропущена меньшая посылка. Восстановим категорический силлогизм:

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

Метан - углеводород.

Метан - органическое соединение.

В энтимеме “Все рыбы дышат жабрами, а окунь - рыба” пропущено заключение.

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

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

153

Испарение есть процесс перехода вещества из жидкости в пар.

Этот физический процесс не есть процесс перехода вещества из жидкости впар.

Этот физический процесс не есть испарение.

Данный категорический силлогизм построен по II фигуре; особые правила ее соблюдены, так как одна из посылок и заключение отрицательные, большая посылка общая, представляющая собой определение понятия “испарение”.

Энтимемами пользуются чаще, чем полными категорическими силлогизмами.

§ 6. Сложные и сложносокращенные силлогизмы:

(полисиллогизмы, сориты, эпихейрема)

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

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

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

Схема:

Спорт (А) укрепляет здоровье (В) Все А суть В.

Гимнастика (С) – спорт (А). Все С суть А.

Значит, гимнастика (С) укрепляет здоровье (В). Значит, все С суть В.

Аэробика (D) – гимнастика (С). Все D суть С.

Аэробика(D) укрепляет здоровье (В). Все D суть В.

154

В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма. Например:

Все планеты (А) - космические тела (В).

Сатурн (С) - планета (А).

Сатурн (С) - космическое тело (В).

Все космические тела (В) имеют массу (D)

Сатурн (С) - космическое тело (В).

Сатурн (С) имеет массу (D).

Соединив их вместе и не повторяя дважды суждение “Все С суть В”, мы получим схему регрессивного полисиллогизма для общеутвердительных посылок:

Все А суть В.

Все С суть А.

Все В суть D.

Все С суть В.

Все С суть D.

Сорит (с общими посылками)

Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме - в виде соритов. Существует два вида соритов: прогрессивный и регрессивный.

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

Пример:

Все продукты, содержащие витамины (А), полезны (В).

Фрукты (С) - продукты, содержащие витамины (А).

Бананы (D) фрукты (С).

Бананы (D) полезны (В).

155

Схема прогрессивного сорита:

Все А суть В.

Все С суть А.

Все D суть С.

Все D суть В.

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

Пример:

Все розы (А) - цветы (В).

Все цветы (В) - растения (С).

Все растения (С) дышат (D).

Все розы (А) дышат (D).

Схема регрессивного сорита:

Все А суть В.

Все В суть С.

Все С суть D.

Все А суть D.

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

Формализация эпихейрем с общими посылками

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

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

Все А суть С, так как А суть В.

Все D суть А,так как D суть Е.

Все D суть С.

156

Пример эпихейремы:

Благородный труд (А} заслуживает уважения (С), так как благородный

труд (А) способствует прогрессу общества (В).

Труд учителя (D) есть благородный труд (А), так как труд учителя (D)

заключается в обучении и воспитании подрастающего поколения (Е).

Труд учителя (D) заслуживает уважения (С).

Приведем еще пример эпихейремы:

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

Все моржи суть ластоногие, так как моржи имеют конечности, превращенные в ласты

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

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

Выводы, основанные на логических связях между суждениями (выводы логики высказываний)

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

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

§ 7. Условные умозаключения

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

157

Если а, то b Схема:

Если b, то с.

Если а, то с а→b, b→c

a→c

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

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

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

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

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

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

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

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

Если а, то b Схема:

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

b а→b

b

Формула: ((а →b) (ā →b))→b.

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

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

158

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

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

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

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

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

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

I. Утверждающий модус (modus ponens).

Структура его: Схема:

Если а, то b. а →b

a a

bb

Формула ((а →b)^а)→b(1) является законом логики. Можно строить достоверные умозаключения от утверждения основания к утверждению следствия. Приведем два

примера:

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

Ты хочешь наслаждаться искусством.

Ты должен быть художественно образованным человеком.

Для построения другого примера воспользуемся интересным высказыванием великого русского педагога К. Д. Ушинского:

“Если человек избавлен от физического труда и не приучен к умственному, зверство овладевает им”'. Использовав это высказывание, построим условно-категорическое умозаключение:

_____________________________

'Ушинский К. Д. Собр. соч. М.-Л., 1948. Т. 2. С. 350.

159
Если человек избавлен от физического труда и не приучен умственному, то им овладевает зверство.

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

Этим человеком овладевает зверство

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

Пример:

Если этот металл натрий, то он легче воды.

Данный металл - натрий.

Данный металл легче воды.

II. Отрицающий модус (modustollens).

Структура его: Схема:

Если а,то а→b

Не-b

Не-а ā

Формула ((а →b)^ )→ā (2) также является законом логики (это можно доказать с помощью таблицы).

Можно строить достоверные умозаключения от omрицания следствия к отрицанию основания.

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

Если река выходит из берегов, то вода заливает прилежащие территории.

Вода реки не залила прилежащие территории.

Вода не вышла из берегов

Для построения второго условно-категорического умозаключения воспользуемся следующим высказыванием: “...Тот мерзок, кто ярится, если чужой он доблести свидетель” (Данте Алигьери).

Умозаключение построено так:

Если человек при виде чужой доблести ярится, то он мерзок.

Этот человек не является мерзким.

Этот человек при виде чужой доблести не ярится.

160

Условно-категорическое умозаключение может давать не только достоверное заключение, но и вероятное.

Первый вероятностный модус

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

Структура его: Cхема:

Если а, то b. a→b

bb

___________ _________

Вероятно, а. Вероятно, а

Формула ((а →b) ^ b) → а (3) не является законом логики. Она означает, что нельзя достоверно умозаключить от утверждения следствия к утверждению основания. Люди иногда неправильно умозаключают так:

Если бухта замерзла, то суда не могут входить в бухту.

Суда не могут входить в бухту.

Бухта замерзла.

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

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

Если данное тело - графит, то оно электропроводно.

Данное тело электропроводно.

Вероятно, данное тело - графит.

Второй вероятностный модус

Это второй модус, не дающий достоверного заключения.

Структура его: Схема:

Если а, то b. а →b

Не-а ā

Вероятно, не bВероятно,

161

Формула ((а→b) ^ ā)→ (4) не является законом логики. Она означает, что нельзя принимать заключение за достоверное,умезаключая от отрицания основания к отрицанию следствия.

Некоторые врачи ошибочно рассуждают так:

Если человек имеет повышенную температуру, то он болен.

Данный человек не имеет повышенной температуры.

Данный человек не болен.

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

Если тело подвергнуть трению, то оно нагреется.

Тело не подвергли трению.

Тело не нагрелось.

Заключение здесь только вероятностное, но не достоверное, ибо тело могло нагреться по какой-либо другой причине (от солнца, в печи и т. д.).

Заметим, что приведение такого рода примеров вполне достаточно для того, чтобы показать, что формы умозаключений, выражаемые формулами (3) и (4), неправильны. Но никакое количество примеров применения форм, соответствующих формулам (1)| и (2), не в состоянии - если мы оперируем только примерами — обосновать их логической правильности. Для такого обоснованна требуется уже некоторая логическая теория. Такая теория, фактически отсутствующая в традиционной логике, содержится в алгебре логики. Если формула, в которой конъюнкция посылок и предполагаемое заключение соединены знаком импликации', не является тождественно-истинной, т. е. не выражает закона логики, то в умозаключении заключение не является достоверным. С помощью табличного метода можно доказать, что колонки таблицы 1, соответствующие формулам (1) modusponens и (2) modus| tollens выражают законы логики, а это означает, что modusponensи modustollens представляют собой логически правильные формы умозаключений.

__________________________

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

162

Таблица 1

а	b	ā		a→b	(a→b)^a	((a→b)^a) →b	(а →b)^	(а →b)^
И	И	Л	Л	И	И	И	Л	И
И	Л	Л	И	Л	Л	И	Л	И
Л	И	И	Л	И	Л	И	Л	И
Л	Л	И	И	И	Л	И	И	И

Таблицу для неправильных модусов предоставляем построить читателю самому. В ней наряду со знаками “И” (“истина”) мы увидим и знаки “Л” (“ложь”), а это значит, что выражения:

((а→b)^b)→а и ((а→b)^ ) не являются тождественно-истинными высказываниями, т. е. законами логики.

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