Учебник логики Глава I определение и задачи логики определение логики icon

Учебник логики Глава I определение и задачи логики определение логики


НазваниеУчебник логики Глава I определение и задачи логики определение логики
страница6/10
Размер0.53 Mb.
ТипУчебник
1   2   3   4   5   6   7   8   9   10

Ferisoit


^ Е Ни одна несправедливая война не может быть оправдана.

I Некоторые несправедливы е войны были успешны.

О Некоторые успешные войны не могут быть оправданы,


Фигура 4. Возьмём силлогизм:

Bramantip

А Все металлы суть материальные вещи.

А Все материальные вещи имеют тяжесть.

I Некоторые тела, имеющие тяжесть, суть металлы.

В этом силлогизме средний термин взят сказуемым в большей и подлежащим в меньшей посылке. Сказуемое в меньшей посылке взято не во всём объёме, поэтому и в заключении оно должно быть взято не во всём объёме. Таким образом, получается заключение: «некоторые тела, имеющие тяжесть, суть металлы». Эта фигура называется галеновской от имени Галена (в III в. н. э.); её не было у Аристотеля.

Ещё пример для иллюстрации четвёртой фигуры.

Camenes

А Все квадраты суть параллелограмм.

Е Ни один параллелограмм не есть треугольник.

Е Ни один треугольник не есть квадрат.

Характеристика фигур. Характеризуем в общих чертах все четыре фигуры силлогизма в отношении их познавательного значения.


Фигура 1. В ней меньшая посылка утвердительная, а большая общая (sit minor, affirmans, пес major sit speciaiis). Эта фигура употребляется в тех случаях, когда нужно показать применение общих положений (аксиом, основоположений, законов природы, правовых норм и т. п.) к частным случаям; это есть фигура подчинения.

Фигура 2. В этой фигуре одна из посылок должна быть отрицательной и большая посылка должна быть общей (una negans esto, nec major sit speciaiis). Посредством этой фигуры отвергаются ложные дедукции, или ложные подчинения. Например, кто-нибудь утверждает относительно испытуемого газа, что он есть кислород. Нам стоит указать на какой-нибудь присущий кислороду признак, который не присущ испытуемому газу, для того чтобы убедиться в том, что это не есть кислород. Тогда у нас получится следующий силлогизм:

^ А Кислород поддерживает горение

Е Этот газ не поддерживает горения,

Е Этот газ не есть кислород.

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


^ А Все больные лихорадкой испытывают жажду.

Е Этот больной не испытывает жажды.

Е Этот больной не болен лихорадкой.

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

^ А Этот смертельный удар нанесён человеком, обладающим огромной силой.

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

Е Обвиняемый не нанёс смертельного удара.


Фигура 3. В фигуре 3 меньшая посылка должна быть утвердительной, а заключение должно быть частным (sit minor af firmans, conclusio sit specialis). Поэтому в фигуре 3 обыкновенно отвергается мнимая Общность утвердительных и отрицательных суждений или доказывается исключение из общего положения. Положим, нам нужно доказать, что утверждение «все металлы тверды» допускает исключение, что оно не всеобще. Тогда мы строим силлогизм по фигуре 3:

E Ртуть не тверда.

А Ртуть есть металл.________

О Некоторые металлы не тверды.

Фигура 4 имеет искусственный характер и обыкновенно не употребляется.

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

bAr

bAr

A

cEI

A

rEnt

dA

rl
I

fE

rl

O







Фигура 1

Все большие посылки общие

Все меньшие посылки утвердительны

cE

sAr
E

cAm

Es

trEs

fEs

tI

nO

bAr

Ok

O







Фигура 2

Все большие посылки общие

Все заключения отрицательны

Одна посылка всегда отрицательна

dA

rAp

tI

dIs

Am

Is

dA

tIs

I

fE

IAp

tOp


bOk

Ar

dO

fE

rIs

On

Фигура 3

Все меньшие посылки утвердительны

Все заключения частные


Вопросы для повторения

Чем обусловливается различие между фигурами силлогизма? Какие существуют фигуры силлогизма и какое различие между ними? Перечислите модусы всех четырёх фигур. Какое различие, между фигурами в отношения познания?


Глава XV

^ СВЕДЕНИЕ ФИГУР СИЛЛОГИЗМА

Мы видели, что существуют различные фигуры и модусы силлогизмов. Спрашивается, равноценны ли они? Всё ли равно, если мы будем умозаключать по фигуре 1, 2 или 3? Оказывается, нет, и именно предпочтение следует отдать модусам фигуры 1. Доказательства по этой фигуре имеют особенно очевидный характер.

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

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

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

Буква m показывает, что посылки силлогизма нужно переместить, т. е. большую посылку нужно сделать меньшей в новом силлогизме, а меньшую большей (нужно произвести metathesis, или mutatio praemissarum).

В, С, D, F, начальные согласные названий, показывают модусы фигуры 1, получающиеся от сведения. Так Cesare, Camestres и Camenes фигур 2 и 4 можно свести к Celarent фигуры 1; Darapti, Disamis фигуры 3 можно свести к Darii, Fresison — к Ferio.

Буква k показывает, что данный модус может быть доказан через посредство какого-либо модуса фигуры 1 при помощи особого приёма, который называется reductio per deductionem ad impossibile, или, короче, reductio ad impossibile. Этот приём сведения называется также reductio ad absurdum.

Рассмотрим несколько примеров сведений.

Модус ^ Cesare фигуры 2, как показывает начальная буква, сводится к модусу Celarent фигуры 1. Буква s в обозначении этой фигуры показывает, что в суждении Е должно произвести простое обращение. Сведение Cesare к Celarent можно сделать ясным при помощи сопоставления схем этих модусов.

^ Cesare сводится к Celarent

E ни одно P не есть M E ни одно M не есть P

A все S суть M A все S суть M

E ни одно S не есть P E ни одно S не есть P

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

Модус ^ Darapti сводится к Daril фигуры 1 и именно следующим образом. Меньшую посылку нужно обратить посредством ограничения, т. е. из суждения «все М суть должно получиться суждение; «некоторые S суть M.

Darapti сводится к Darii

A Все M суть P A все M суть P

A Все M суть P I некоторые S суть M

I Некоторые S суть P I некоторые S суть P


Пример:

Darapti

^ A Все киты суть млекопитающие

A Все киты суть водные животные

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


Darii

A Все киты суть млекопитающие

A Некоторые водные животные суть киты

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


Bramantip сводится к Barbara путем перестановки посылок:


Bramantip: Barbara:


Все P суть M все M суть S

Все M суть S все P суть M

Некоторые S суть P все P суть S


После того, как сделано заключение, в нем необходимо сделать обращение, на что указывает буква p; тогда получится: некоторые S суть P.


Пример:

^ A Все металлы суть материальные вещества

A Все материальные вещества суть тяжелые тела

I Некоторые тяжелые тела есть суть металлы


^ A Все материальные вещества суть тяжелые тела

A Все металлы суть материальные вещества

I Некоторые тяжелые тела суть металлы.


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

Camestres:

A все P суть M

E ни одно S не есть M

E ни одно S не есть P


Calerent:

Ни одно M не есть S

Все P суть M

Ни одно P не есть S

Ни одно S не есть P


Возьмем пример:


^ A Все звезды суть самосветящиеся тела

A Ни одна планета не есть самосветящееся тело

E Ни одна планета не есть звезда


E Ни одно самосветящееся тело не есть планета

A Все звезды суть самосветящиеся тела

E Ни одна планета не есть звезда

( после чистого обращения)


^ Reductio ad absurdum. Наконец, рассмотрим ещё один способ сведения, это именно сведение посредством reductio ad absurdum — приведение к нелепости; он применяется, как уже было сказано, во всех тех модусах, в которых есть буква k.

К таким модусам относятся Baroko и Bokardo. Буква В в начале обозначения показывает, что для сведения необходимо воспользоваться модусом Barbara. Этот способ называется reductio ad absurdum (сведение к нелепости) по следующей причине. Мы, имея две посылки, приходим к известному выводу. Кто-нибудь утверждает, что наш вывод неверен. Тогда наша задача заключается в том, чтобы показать нелепость этого утверждения. Для этого мы стараемся показать, что нельзя, признавая данные посылки, не признавать: нашего заключения, или вывода.

Возьмём умозаключение по модусу Baroko.

А Все Р суть М,

О Некоторые S не суть М.

О Следовательно, некоторые S не суть Р.

Будем отрицать справедливость заключения: «Некоторые S не суть ^ Р». Если мы не признаём истинным заключение, то мы должны признать истинность противоречащего ему суждения. Поэтому, если ложно, что «некоторые S не суть Р», то должно быть истинным, что «все S суть Р». Сделав принятое положение меньшей посылкой, как это показывает буква k, мы получаем следующий силлогизм по Barbara с Р. в качестве среднего термина:

Все Р суть М.

Все S суть Р.

Все S суть М.

Именно k показывает, что посылка, обозначение которой предшествует букве А, должна быть замещена положением, противоречащим заключению.


Глава XVI

^ УСЛОВНЫЕ, РАЗДЕЛИТЕЛЬНЫЕ И УСЛОВНО РАЗДЕЛИТЕЛЬНЫЕ СИЛЛОГИЗМЫ

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

Если Л есть В, то С есть D,

Первое суждение, как мы видели, называется «основанием», второе называется «следствием». Можно составить такой силлогизм, в котором одна из посылок будет условным суждением; тогда у нас получится условный силлогизм.

Есть два типа условных силлогизмов:

1. Modus ponens, или модус конструктивный.

Если А есть В, то С есть D.

А есть В.____________

Следовательно, С есть D,

Пример:

Если дождь идёт, то почва мокрая. Дождь идёт

Следовательно, почва мокрая.

Этот тип умозаключения называется modus ponens, потому что в нём основание полагается, утверждается (от ponere— вставить); в нём в меньшей посылке содержится утверждение основания. Вследствие того, что утверждается основание, утверждается также и следствие, потому что в данном случае основание есть причина следствия. Второй тип условных силлогизмов называется:

^ 2. Modus tollens, или модус деструктивный. Он называется modus tollens потому, что меньшая посылка содержит отрицание, и именно следствия (tollere—уничтожать).


Если А есть В, то С есть D.

С не есть D.

Следовательно, А не есть В,

Пример:

Если дождь идёт, то почва мокрая

^ Но почва не мокрая

Следовательно, дождь не идёт.

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

Таким образом, получаем два типа условного силлогизма. Первый называется также модус конструктивный, потому что в нём получается утвердительное заключение (от construe — строю, созидаю), второй тип называется модус деструктивный, потому что в нём получается отрицательное заключение Мот destruo—разрушаю).

Следует заметить, что в условных силлогизмах можно умозаключать только лишь от утверждения основания к утверждению следствия и от отрицания следствия к отрицанию основания, р .но нельзя умозаключать от утверждения следствия к утверждению основания и от отрицания основания к отрицанию следствия. Это оттого, что одно и то же действие может созидаться различными причинами. В самом деле, если я отрицаю, что данная причина произвела то или другое действие, то из этого не следует, что его не могла произвести какая-нибудь другая причина; если я утверждаю, что данное действие произошло, то это не значит, что оно порождено данной причиной, потому что могло быть множество других причин, которые могли его породить. Для пояснения этого возьмём следующий условный силлогизм;

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

^ N приобрёл познания.

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

Попробуем отрицать основание; возьмём тот же силлогизм:


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

N не читает хороших книг.


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

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


А есть или В, или С, или D, или Е.


Каждый член разделительного суждения называется альтернативой.

Существует следующих два типа разделительного силлогизма.

^ 1. Modus ponendo tollens. В этом силлогизме в меньшей посылке утверждается один из членов деления большей посылки, или одна альтернатива; в заключение же вследствие этого все остальные члены отрицаются.

Его форма:

А есть или В, или С, или D, или Е.

А есть В.

Следовательно, Л не есть ни С, ни D, ни E. Пример:


Треугольники бывают или остроугольные,


или тупоугольные, или
прямоугольные. Данный треугольник есть остроугольный.______________

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


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

^ 2. Modus tollendo ponens. В этой форме, в противоположность предыдущей, в меньшей посылке отрицаются все члены деления, за исключением одного, который и утверждается в заключении.

^ Его схема:

А есть или B или С, или D.

А не есть ни В, ни С.

Следовательно, А есть D. Пример:

Треугольники бывают или остроугольные, - или тупоугольные, или прямоугольные.

Данный треугольник не есть ни остроугольный, ни тупоугольный. Следовательно, он — прямоугольный.


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

Известная сумма должна быть или больше, или меньше, или равна тому-то.

^ Но она ни больше, ни меньше. Следовательно, она равна.


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

^ Условно-разделительные силлогизмы. Наконец, последняя группа умозаключений — это условно-разделительные, или лемматические: Это такие умозаключения, в которых большая посылка состоит из двух или большего числа условных суждений, а меньшая состоит из разделительного.

Здесь мы различаем следующие четыре формы умозаключений:

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


Если А есть В, то С есть D;

Если Е есть F, то С есть D.

Но или А есть В, или Е есть F.

Следовательно, С есть D.


Пример:

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

Следовательно, каждая наука заслуживает внимания.


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

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

^ 2. Сложный модус ponens, или конструктивный. Его схема:

Если А есть B, то С есть D;

И если Е есть F, то G есть Н.

Но или А есть В. или D есть F.

Следовательно, или С есть D, или G есть H. Пример:

Если я брошусь из окна, то я получу ушибы.

Если я пойду по лестнице, то я сгорю.

Но я должен или броситься из окна, или пойти по лестнице.

Следовательно, я или ушибусь, или сгорю.

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


^ 3. Простой модус tollens, или деструктивный:


Если А есть В, то С есть D:

и если А есть В, то Е есть F.

Но С не есть D и Е не есть F

Следовательно, А не есть В.


Пример:

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

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


^ 4. Сложный модус tollens, или деструктивный.

Если А есть В, то С есть D;

Если Е есть F, то G есть И.

Но С не есть D и G не есть И.

Следовательно, А не есть B и не есть F.


Пример:

Лицо, желающее иметь автомобиль, может так рассуждать;

Если бы я был богат, то я автомобиль купил бы.

Если бы я был бесчестен, то я украл бы таковой.

Но я не куплю и не украду.

Следовательно, я не богат и не бесчестен.


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

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

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

Пример:

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

Но ученик может или любить учение, или чувствовать к нему отвращение.

Следовательно, поощрение или излишне, или бесполезно в дел? обучения»


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

Вопросы для повторения

Какие силлогизмы называются условными и какие типы условных силлогизмов мы различаем? Какие силлогизмы мы называем разделительными и какие типы их мы различаем? От чего зависит достоверность разделительных силлогизмов? Что называется альтернативой? Какие силлогизмы называются условно-разделительными? Какие четыре типа их мы различаем и чем они отличаются друг от друга? Что такое дилемма, трилемма? От чего зависит достоверность лемматического умозаключения?


Глава XVII
1   2   3   4   5   6   7   8   9   10

Похожие:

Учебник логики Глава I определение и задачи логики определение логики iconУчебник логики Глава I определение и задачи логики определение логики
То мышление, при помощи которого достигается истина, должно быть названо правильным мышлением. Таким образом, логика может быть определена...
Учебник логики Глава I определение и задачи логики определение логики iconУчебник логики Глава I определение и задачи логики
То мышление, при помощи которого достигается истина, должно быть названо правильным мышлением. Таким образом, логика может быть определена...
Учебник логики Глава I определение и задачи логики определение логики iconЭлементы алгебры логики
Для описания логики функционирования аппаратных и программных средств компьютера используется алгебра логики или булева алгебра
Учебник логики Глава I определение и задачи логики определение логики icon1. дм функции алгебры логики. Реализация функций формулами. Канонические нормальные формы представления функций
Ф-ия алгебра логики, если переменные x1,…, xn определены на E2 и зн ия ф-ии f на любом наборе переменных принадлежат E2
Учебник логики Глава I определение и задачи логики определение логики icon1. мл формулы логики предикатов. Общезначимые, выполимые формулы. Основные эквивалентности логики предикатов. Нормальные формы. Логическое следование
Мл формулы логики предикатов. Общезначимые, выполимые формулы. Основные эквивалентности логики предикатов. Нормальные формы. Логическое...
Учебник логики Глава I определение и задачи логики определение логики iconА. О. Маковельский история логики книга
Во второй части исследуются логические теории эпохи феодального общества, в третьей части—логические концепции Нового времени (Декарт,...
Учебник логики Глава I определение и задачи логики определение логики iconНаука о правильности мышления. Предметом логики являются
Этап начало 20 века. Значение логики: Логика развивает логическое мышление человека. Она позволяет глубже отражать окружающий мир,...
Учебник логики Глава I определение и задачи логики определение логики iconУчебник для гуманитарных факультетов Москва 2001 ббк 87. 4 И25 Ивин А. А. И25 Логика: Учебник для гуманитарных факультетов. М
Охватывает около двух с половиной тысячелетий. «Старше» формальной логики, пожалуй, только философия и математика
Учебник логики Глава I определение и задачи логики определение логики iconВопросы по «Жур-му мастерству»
Логические качества текста (основные законы логики; ошибки, возникающие при их нарушении)
Учебник логики Глава I определение и задачи логики определение логики iconЛекции 32часа. Отчетность зачет. Литература
Основные элементы логических функции алгебры логики (или-or,и-and, и- не -and-not, и- или -не-and-or-not)
Учебник логики Глава I определение и задачи логики определение логики iconПредмет и основные термины логики Понятие, суждение и умозаключение как формы мышления
Простой категорический силлогизм. Правила посылок, правила терминов и правила фигур
Вы можете разместить ссылку на наш сайт:
Документы


При копировании материала укажите ссылку ©ignorik.ru 2015

контакты
Документы