IV. Bramantip, Camenes, Dimaris, Fesapo, Fresison.


III. Darapti, Disamis, Datisi, Bocardo, Felapton, Ferison.

II. Cesare, Camestres, Festino, Baroco.

I. Barbara, Celarent, Darii, Ferio.

В этих названиях гласные буквы обозначают виды суждений входящих в тот или иной модус. Начальные буквы указывают на тот модус I фигуры, к которому сводится данный модус, например, Dimaris сводится к Darii. Буква s означает, что гласная, стоящая перед этой буквой, обозначает суждение, которое подлежит чистому обращению, к примеру, в модусе Cesare. Буква m указывает на то, что посылки следует поменять местами, например, в модусе Camenes. Буква p означает, что гласная, стоящая перед этой буквой, обозначает суждение, которое подлежит обращению с ограничением, например в модусе Darapti. Буква c указывает на то, что данный модус сводится к модусу I фигуры при помощи метода приведения к абсурду с использованием модуса Barbara. Таким образом, доказываются два модуса: Baroco и Bocardo.

Примеры:

1) Свести модус Camestres к Celarent.

Camestres (II фигура)

PaM: Все тигры являются млекопитающими

SeM:Ни один крокодил не является млекопитающим

SeP: Ни один крокодил не является тигром

 

m: SeM: Ни один крокодил не является млекопитающим

PaM: Все тигры являются млекопитающими

 

 

s: MeS: Ни одно млекопитающее не является крокодилом

PaM: Все тигры являются млекопитающими

 

 

Celarent (I фигура)

MeS: Ни одно млекопитающее не является крокодилом

PaM: Все тигры являются млекопитающими

s: SeP: Ни один тигр не является крокодилом

 

2) Свести Fesapo к Ferio.

 

 

Fesapo (IV фигура)

PeM: Ни один православный собор не является костёлом

MaS:Все костёлы культовые сооружения

SoP: Некоторые культовые сооружения не являются костёлами

 

s: MeP: Ни один костёл не является православным собором

MaS: Все костёлы культовые сооружения

Ferio (I фигура)

MeP: Ни один костёл не является православным собором

p: SaM: Некоторые культовые сооружения являются костёлами

SoP: Некоторые культовые сооружения не православные

 

3) Пример с использованием метода приведение к абсурду:

Bocardo (III фигура)

MoP: Некоторые люди не являются остроумными

MaS:Все люди являются живыми существами

SoP: Некоторые живые существа не являются остроумными

 

Предположим, что заключение: «Некоторые живые существа не являются остроумными» неверно. Тогда верно противоречащее ему суждение: «Все живые существа являются остроумными». Используя это суждение в качестве большей посылки силлогизма, получаем при помощи модуса Barbara I фигуры новое заключение.

 

SaP: Все живые существа являются остроумными

MaS:Все люди являются живыми существами

MaP: Все люди являются остроумными

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

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

Таблица отбора правильных модусов категорического силлогизма:

№ п/п Всевозможные отношения терминов в большей посылке Отношение терминов в меньшей посылке Заключение Отношение терминов в меньшей посылке, исключающие возможность заключения
1. MaP SaM SaP SeM, SoM, MeS, так как то, что вне круга M, может быть как в круге, так и вне его.
SiM SiP
MaS SiP
MiS SiP
2. MeP SaM SeP SeM, SoM, MeS, MoS – по той же причине, что и в предыдущем случае
SiM SoP
MaS SoP
MiS SoP
3. MiP     MaS     SiP Все, кроме MaS
4. MoP     MaS     SoP Все, кроме MaS
  Окончание таблицы
5. PaM   SeM SeP SaM, SiM, MoS, MiS
SoM SoP
MaS SiP
MeS SeP
6. PiM       MaS     SiP Все, кроме SiP
7. PeM   SaM SeP SeM, SoM, MeS, MoS
SiM SoP
MaS SoP
MiS SoP
8. PoM       нет     нет Все без исключения

 

(1) Например, III фигура модус:

 

MiP Некоторые M есть P

MaSВсе M есть S

SiP Некоторые S есть P

 

Некоторые люди являются футбольными болельщиками

Все люди являются живыми существами

Некоторые живые существа являются футбольными болельщиками

Отношение S к P (заключение силлогизма) в схеме выразимо в форме частноутвердительного суждения – SiP.

(2) Рассмотрим I фигуру модус:

MaP Все M есть P

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

? ? – модус неправильный, т.к. схема выявляет противоположные друг другу заключения: «Все S есть P» и «Ни одно S не есть P»

а) б)

в)

Если из посылок следует определённое заключение, то круги S и P при определённом их отношении к кругу M могут занимать только одно какое-либо положение один относительно другого (1).

Если определённого заключения из посылок не следует, то круги S и P при определённом их отношении к кругу M могут занимать различные положения один относительно другого: включения, пересечения, исключения (2).

На основе простого категорического силлогизма могут быть построены сокращенные (энтимемы), сложные (полисиллогизмы) и сложносокращенные силлогизмы (сориты).

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

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

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

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

 

Человека не следует держать в неволе

Раб – человек

Раба не следует держать в неволе

 

Или, например, «Все судьи хорошо знают законы, а этот человек – судья».

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

 

Все судьи хорошо знают законы

Этот человек – судья

Этот человек хорошо знает законы

 

Или, например, «Все студенты юридического факультета изучают логику, поэтому Андреев изучает логику».

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

 

 

Все студенты юридического факультета изучают логику

Андреев – студент юридического факультета

Андреев изучает логику

 

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

Общая схема прогрессивного полисиллогизма:

Все A суть B.

Все C суть A.

Все C суть B.

Все D суть C.

Все D суть B.

Пример:

 

Спорт (A) укрепляет здоровье (B)

Плавание (C) – спорт (A)

Плавание (C) укрепляет здоровье (B)

Синхронное плавание (D) – плавание (C)

Синхронное плавание (D) укрепляет здоровье (B)

 

Общая схема регрессивного полисиллогизма:

Все A суть B.

Все B суть C.

Все A суть C.

Все C суть D.

Все A суть D.

Пример:

 

Берёзы (A) – деревья (B)

Деревья (B) – растения (C)

Берёзы (A) – растения (C)

Растения (C) – организмы (D)

Берёзы (A) – организмы (D)

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

Общая схема прогрессивного сорита:

Все A суть B.

Все C суть A.

Все D суть C.

Все D суть B.

Пример:

 

Всё, что укрепляет здоровье (A) – полезно (B)

Физкультура (C) укрепляет здоровье (A)

Прыжки (D) – вид физкультуры (C)

Прыжки (D) укрепляют здоровье (A)

 

Общая схема регрессивного сорита:

Все A суть B.

Все B суть C.

Все C суть D.

Все A суть D.

Пример:

 

Все ромашки (A) – цветы (B)

Все цветы (B) – растения (C)

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

Все ромашки (A) дышат (D)

 

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

Пример:

 

Ни одна птица не примат, так как ни одна птица не млекопитающее.

Данные особи – птицы, так как они имеют перьевой покров.

Данные особи не приматы

Восстановив пропущенные посылки, мы получаем два простых категорических силлогизма модуса AEE II фигуры и модуса AAA I фигуры:

 

Все приматы – млекопитающие

Ни одна птица не млекопитающее

Ни одна птица не примат

 

Все имеющие перьевой покров являются птицами

Данные особи имеют перьевой покров

Данные особи – птицы

 

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

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

Условно-категорический силлогизм имеет два правильных модуса:

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

A→B, A ;

B

Пример:

 

Если человек болен гриппом (A), то у него высокая температура (B)

Данный человек болен гриппом (A)

У данного человека высокая температура (B)

 

 

2) отрицающий (modus tollens) – категорическая посылка отрицает истинность следствия, заключение отрицает истинность основания. Его схема в символической записи:

A→B, ~B .

~A

Пример:

 

Если будет кворум (A), то собрание состоится (B)

Собрание не состоялось (~B)

Кворума не было (~A)

 

 

Два других модуса: 3) от отрицания истинности основания к отрицанию истинности следствия и 4) от утверждения истинности следствия к утверждению истинности основания – достоверных выводов не дают. Их схемы в символической записи:

A→B, ~A; A→B, B .

~B A

Например:

 

Если идет дождь (А), то на улице мокро (В)

На улице мокро (В)

Дождь идет (А)

 

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

 

Или, например:

 

Если у человека высокая температура (A), то он болен (B)

У данного человека нет высокой температуры (~A)

Данный человек не болен (~B)

 

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

Если первая посылка является эквивалентным суждением, то есть если следствие (В) вызывается данной и только данной причиной (А), то достоверные выводы получаются по всем четырём модусам.

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

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

Разделительно-категорический силлогизм имеет два правильных модуса:

а) AvB, A;

~B

Пример:

 

Фильмы бывают или цветные (A) или черно-белые (B)

Данный фильм цветной (A)

Данный фильм не черно-белый (~B)

 

б) AvB, ~A.

B

Пример:

 

В стрессовой ситуации человек испытывает страх (A) или ярость (B)

Этот человек не испытывает в стрессовой ситуации страх (~A)

Этот человек в стрессовой ситуации испытывает ярость (B)

 

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

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

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

(p→r)&(q→r), pvq;

r

Пример:

 

Если у меня болит голова (p), то я принимаю аспирин (r)

Если у меня болит зуб (q), то я принимаю аспирин (r)

У меня болит голова (p) или болит зуб (q)

Я принимаю аспирин (r)

 

 

сложная конструктивная дилемма

(p→q)&(r→s), pvr;

qvs

Пример:

 

Если я буду изучать французский язык (p), то смогу читать произведения Бальзака в оригинале (q)

Если я буду изучать английский язык (r), то смогу читать произведения Голсуорси в оригинале (s)

Я буду изучать французский язык (p) или буду изучать

английский язык (r)

Я смогу читать произведения Бальзака в оригинале (q) или смогу читать произведения Голсуорси в оригинале (s)

 

 

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

(p→q)&(p→r), ~qv~r;

~p

Пример:

 

Если я поеду на юг на поезде (p), то потрачу много времени на дорогу(q)

Если я поеду на юг на поезде (p), то сэкономлю деньги на билетах (r)

Но я не хочу тратить много времени на дорогу (~q) или не хочу экономить деньги на билетах (~r)

Я не поеду на юг на поезде (~p)

 

 

сложная деструктивная дилемма

(p→q)&(r→s), ~qv~s.

~pv~r

 

Пример:

 

Если суждение общее (p), то субъект в нём распределён (q)

Если суждение отрицательное (r), то предикат в нём распределён (s)

В данных суждениях не распределён субъект (~q) или не

распределён предикат (~s)

Данные суждения не общие (~p) или не отрицательные (~r)

 

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

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

 

Схема полной индукции:

 

S1 есть P

S2 есть P

…………..

S1….S n-е исчерпывают все предметы класса S

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

 

Пример:

 

В понедельник шёл дождь

Во вторник шёл дождь

В среду шёл дождь

В четверг шёл дождь

В пятницу шёл дождь

В субботу шёл дождь

В воскресенье шёл дождь

Следовательно, всю неделю шёл дождь

 

 

Схема неполной индукции:

 

S1 есть P

S2 есть P

…………

S1…..S n-е есть часть класса S

__________________________

Вероятно, все S есть P

 

Пример:

 

На Васильевском острове троллейбусы стали курсировать с большими интервалами.

На Петроградской стороне троллейбусы стали курсировать с большими интервалами.

На Выборгской стороне троллейбусы стали курсировать стали курсировать с большими интервалами.

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

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

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

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

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

Метод сходства: если два или более случаев подлежащего исследованию явления имеют общим лишь одно обстоятельство, то это обстоятельство, – в котором только и согласуются все

эти случаи, – есть причина (или следствие) данного явления.

 

Предшествующие обстоятельства Наблюдаемое явление
ABC ADE AKMN a a a

Пример:

 

На почтамте при перевозке ценностей было три случая хищения без повреждения мешков: 5сентября, 7 сентября и 9сентября. Следователь определил круг лиц, участвовавших в эти дни в отправке почты, и выяснил, что сентября в отправке почты участвовали Петров, Андреев, Захарчук; 7 сентября – Васильев, Андреев, Крылов; 9 сентября – Кошкин, Андреев, Славкин. Следователь сделал вывод о том, что виновником хищения вероятнее всего является Андреев, так как он и только он занимался отправкой почты всякий раз, когда происходило хищение, а остальные лица менялись.

 

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

Предшествующие обстоятельства Наблюдаемое явление
ABCD BCD a -

Пример:

 

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

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

 

 

Предшествующие обстоятельства Наблюдаемое явление
A*BC A**BC A***BC a* a** a***

Пример:

 

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

 

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

Предшествующие обстоятельства Наблюдаемое явление
ABC BC C abc bc c

Пример:

 

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

 

В качестве ещё одного вида индукции можно выделить умозаключение по аналогии.

Аналогия – это вид правдоподобного умозаключения, основанная на сходстве некоторых признаков сравниваемых предметов или процессов. К видам аналогии относятся аналогия отношений, аналогия свойств, строгая аналогия и нестрогая аналогия. Аналогия отношений – в этом умозаключении речь идёт об отношениях между предметами. И если некоторые отношения имеют какие-либо общие свойства, то обнаружение некоторого отличного от этой совокупности свойства у одного отношения даёт основание сделать вывод о возможности принадлежности этого свойства и другому отношению. Например, в науке бионике, которая занимается исследованием объектов, процессов и явлений живой природы с целью использования полученных знаний в новей шей технике, часто используется аналогия отношений (например, принцип передвижения машин-снегоходов заимствован у пингвинов).

Аналогия свойств – здесь сравниваются два предмета (два класса предметов), а переносимыми признаками являются свойства этих предметов (классов). Например, Клайв Льюис был британцем, христианином, литературоведом, профессором Оксфордского университета, автором учёных трактатов. Джон Толкиен также был британцем, христианином, литературоведом, профессором Оксфордского университета, автором учёных трактатов. Клайв Льюис писал замечательные сказки. Следовательно, вероятно, что Джон Толкиен также писал замечательные сказки.

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

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

 

 

Контрольные вопросы:

1. В чём разница между индуктивным и дедуктивным умозаключением?

2. Почему умозаключение по полной индукции даёт истинный вывод?

3. Как определить модус и фигуру простого категорического силлогизма?

4. Какие методы научной индукции Вы знаете?

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

6. Какая ошибка допущена в силлогизме: «Материя – вечна. Ситец – материя. Ситец – вечен»?

7. Чем отличается строгая аналогия от нестрогой аналогии?

8. Можно ли посредством умозаключения по аналогии получить достоверное знание?

9. Какую роль играет в простом категорическом силлогизме средний термин?

10. Какая часть условного суждения «Люди перестают мыслить, когда они перестают читать» является основанием (А), а какая следствием (В)?