ЛОГИКА (учебник Кириллов А.+Старченко А.). ЛОГИКА (учебник Кириллов А.+Старченко А. Учебник для юридических вузов. Авторы В. И. Кириллов гл. I, 1, 2, 3, 5

• Название: Учебник для юридических вузов. Авторы В. И. Кириллов гл. I, 1, 2, 3, 5
• Анкор: ЛОГИКА (учебник Кириллов А.+Старченко А.).docx
• Дата: 28.01.2017
• Размер: 0.89 Mb.
• Имя файла: ЛОГИКА (учебник Кириллов А.+Старченко А.).docx
• Тип: Учебник; #894
• страница: 10 из 18

§3. Простой категорический силлогизм Состав простого категорического силлогизма

Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, заключение в котором получается из двух категорических суждений. Например, из суждений: 1) «Обвиняемый (S) имеет право на защиту (Р)» и 2) «Гусев (S) — обвиняемый (Р)» следует заключение 3) «Гусев (S) имеет право на защиту (Р)», которое также представляет собой категорическое суждение.

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

Расчленим суждения, из которых состоит силлогизм, на понятия. Этих понятий три, причем каждое из них входит в состав двух суждений «Обвиняемый» — в 1-ю посылку как субъект и во 2-ю посылку как предикат; «имеет право на защиту» — в 1-ю посылку и в заключение как их предикаты; «Гусев» — во 2-ю посылку и в заключение как их субъекты.

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

Меньшим термином силлогизманазывается понятие, которое в заключении является субъектом (в нашем примере понятие «Гусев»). Большим термином силлогизманазывается понятие, которое в заключении является предикатом («имеет право на защиту»). Меньший и больший термины называются крайнимии обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин).

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

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

Обвиняемый имеет право на защиту

Гусев — обвиняемый

Гусев имеет право на защиту

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

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

Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина." Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении (в нашем примере — «обвиняемый»). Средний термин обозначается латинской буквой М (от латинского medius — «средний»).

Средний термин связывает два крайних термина. Отношение крайних терминов (субъекта и предиката) устанавливается благодаря их отношению к среднему термину. В самом деле, из большей посылки нам известно отношение большего термина к среднему (в нашем примере отношение понятия «имеет право на защиту» к понятию «обвиняемый») из меньшей посылки — отношение меньшего термина к среднему (понятия «Гусев» к понятию «обвиняемый»). Зная отношение крайних терминов к среднему, .мы можем установить отношение между крайними терминами (понятиями «Гусев» и «имеет право на защиту»).

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

Поставив в нашем примере на место терминов суждения термины силлогизма, получим:

Обвиняемый (М) имеет право на защиту (Р)

 Гусев (S) — обвиняемый (М)

Гусев (S) имеет право на защиту (Р)

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

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

В данном примере — все, что утверждается относительно всех обвиняемых, утверждается и относительно конкретного обвиняемого (см. в круговых схемах рис. 47).

Рассмотрим силлогизм:

Религиозные организации (М) не выполняют

государственных функций (Р)

Церковь (S) — религиозная организация (М)

Церковь (S) не выполняет государственных функций (Р)

В этом силлогизме все, что отрицается относительно каждой религиозной организации, отрицается и относительно некоторой части этих организаций (рис. 48).
 

 

Общие правила категорического силлогизма

Из истинных посылок не всегда можно получить истинное заключение. Его истинность обусловлена правилами силлогизма. Этих правил семь: три относятся к терминам и четыре — к посылкам.

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

1-е правило: в силлогизме должно быть только три термина. Вывод в силлогизме основан на отношении двух крайних терминов к среднему, поэтому в нем не может быть ни меньше, ни больше трех терминов. Нарушение этого правила связано с отождествлением разных понятий, которые принимаются за одно и рассматриваются как средний термин. Эта ошибка основана на нарушении требований закона тождества и называется учетверением терминов. Нельзя, например, получить заключение из посылок: «Законы не создаются людьми» и «Закон — это нормативный акт, принятый высшим органом государственной власти», так как вместо трех терминов мы имеем дело с четырьмя: в первой посылке имеются в виду объективные законы, существующие независимо от сознания людей, во второй — юридический закон, устанавливаемый государством. Это два разных понятия, которые не могут связать крайние термины.

2-е правило: средний термин должен быть распределен хотя бы в одной из посылок^[31]. Если средний термин не распределен ни в одной из посылок, то связь между крайними терминами остается неопределенной. Например, в посылках «Некоторые юристы (М—) — члены коллегии адвокатов (Р)», «Все сотрудники нашего коллектива (S) — юристы (М—)» средний термин (М) не распределен в большей посылке, так как является субъектом частного суждения, и не распределен в меньшей посылке как предикат утвердительного суждения. Следовательно, средний термин не распределен ни в одной из посылок, поэтому необходимую связь между крайними терминами (S и Р) установить нельзя, что видно из рис. 49, на котором изображены три возможных случая: 1) «Ни один сотрудник нашего коллектива не является членом коллегии адвокатов» (S₁); 2) «Некоторые сотрудники нашего коллектива — члены коллегии адвокатов» (S₂); 3) «Все сотрудники нашего коллектива — члены коллегии адвокатов» (S₃).

3-е правило: термин, не распределенный в посылке, не может быть распределен и в заключении'

 

 

 

 

 

 

 

 

 

 

 

 

 

Например:

Нравственные нормы (М) не санкционируются государством (Р+) Нравственные нормы (М) — формы социальной регуляции (S-)

Некоторые формы социальной регуляции (S-) не санкционируются государством (Р+)

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

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

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

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

 

 

 

 

 

 




 
2-е правило: если одна из посылок — отрицательное суждение, то и заключение должно быть отрицательным.

Например:

Судья, являющийся родственником потерпевшего (М),

не может участвовать в рассмотрении дела (Р)

Судья К (S) — родственник потерпевшего (М)

Судья К. (S) не может участвовать в рассмотрении дела (Р)

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

3-е и 4-е правила являются производными, вытекающими из рассмотренных.

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

Если обе посылки — частноутвердительные суждения (II), то вывод сделать нельзя согласно 2-му правилу терминов: в частно-утвердительном суждении ни субъект, ни предикат не распределены, поэтому и средний термин не распределен ни в одной из посылок.

Если обе посылки — частноотрицательные суждения (ОО), то вывод сделать нельзя согласно 1-му правилу посылок.

Если одна посылка — частноутвердительная, а другая — част-нотрицательная (IO или OI), то в таком силлогизме распределенным будет только один термин — предикат частноотрицательного суждения. Если этим термином будет средний, то вывода сделать нельзя, так, согласно 2-му правилу посылок, заключение должно быть отрицательным. Но в этом случае предикат заключения должен быть

 

распределен, что противоречит 3-му правилу терминов: 1) больший термин, не распределенный в посылке, окажется распределенным в заключении; 2) если же больший термин распределен, то вывода не следует согласно 2-му правилу терминов.

1) Некоторые М(-) суть Р(-) Некоторые S(-) не суть (М+)

2) Некоторые М(-) не суть Р(+) Некоторые S(-) суть М (-)

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

4-е правило: если одна из посылок — частное суждение, то и заключение должно быть частным.

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

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

Все студенты нашего института (М+) изучают логику (Р-) Некоторые сотрудники милиции (S-) — студенты нашего института (М-)

Некоторые сотрудники милиции (S-) изучают логику (Р-)

Если одна из посылок утвердительная, а другая — отрицательная, причем одна из них частная (EI, АО, ОА), то распределенными окажутся два термина: субъект и предикат общеотрицательного суждения (EI) или субъект общего и предикат частного суждения (АО, ОА). Но в том и другом случае, согласно 2-му правилу посылок, заключение будет отрицательным, т.е. суждением с распределенным предикатом. А так как вторым распределенным термином должен быть средний (2-е правило терминов), то меньший термин в заключении окажется нераспределенным, т.е. заключение будет частным. Например:

Все врачи (Р+) имеют медицинское образование (М-)

Некоторые из присутствующих (S-) не имеют медицинского образования (М+)

Некоторые из присутствующих (S-) не врачи (Р+)

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

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



Рис 52

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

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

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

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

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

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

Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I) и частноотрицательные (О).

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

Например, большая и меньшая посылки — общеутвердительные суждения (АА),
большая посылка — общеутвердительное, меньшая — общеотрицательное суждение
(АЕ) и т.д. Так как каждая посылка может быть любым из четырех суждений, число
возможных комбинаций посылок в каждой фигуре равно 24, т.е. 16'

АА                ЕА                    IA                   ОА
АЕ                (ЕЕ)                   IE                   (ОЕ)
AI                   EI                     (II)                   (OI)
АО               (ЕО)                  (Ю)                 (ОО)
Очевидно, в четырех фигурах число комбинаций равно 64.
Однако не все модусы согласуются с общими правилами силлогизма. Например,
модусы, заключенные в скобках, противоречат 1-му и 3-му правилам посылок,

модус IА не проходит по первой и второй фигурам, так как противоречит 2-му правилу терминов, и т.д. Поэтому, отобрав только те модусы, которые согласуются с общими правилами силлогизма, получим 19 модусов, которые называются правильными. Их принято записывать вместе с заключением:

(Правильные модусы можно вывести более простым способом: исключив комбинации посылок, не соответствующие общим правилам, исключить и те, которые не соответствуют правилам фигур.)
ЕЮ

1-я фигура:   ААА,   ЕАЕ,    АН,      ЕЮ

2-я фигура:   ЕАЕ,    АЕЕ,    ЕГО,    АОО

3-я фигура:   AAI,    IAI,      АН,      ЕАО,      ОАО,

4-я фигура:   AAI,    АЕЕ,    IAI,      ЕАО,       ЕЮ

Особые правила и познавательное значение фигур силлогизма

Каждая фигура имеет свои особые правила, которые выводятся из общих.

Правила 1-й фигуры:

1. Большая посылка — общее суждение.

2. Меньшая посылка — утвердительное суждение.

Докажем сначала 2-е правило. Если меньшая посылка будет отрицательным суждением, то согласно 2-му правилу посылок заключение также будет отрицательным, в котором Р распределен. Но тогда он будет распределен и в большей посылке, которая также должна быть отрицательным суждением (в утвердительном суждении Р не распределен), а это противоречит 1-му правилу посылок. Если же большая посылка будет утвердительным суждением, то Р будет не распределен. Но тогда он не будет распределен и в заключении (согласно 3-му правилу терминов). Заключение с нераспределенным Р может быть только утвердительным суждением, так как в отрицательном суждении Р распределен. А это значит, что и меньшая посылка — утвердительное суждение, так как в противном случае заключение будет отрицательным.

Теперь докажем 1-е правило. Так как средний термин в этой фигуре занимает место субъекта в большей и место предиката в меньшей посылке, то, согласно 2-му правилу терминов, он должен быть распределен хотя бы в одной из посылок Но меньшая посылка — утвердительное суждение. Значит, средний термин в ней не распределен. Но в таком случае он должен быть распределен в большей посылке, а для этого она должна быть общим суждением (в частной посылке субъект не распределен).

Исключим сочетания посылок IA, ОА, IE, которые противоречат 1-му правилу фигуры, и сочетания АЕ и АО, противоречащие 2-му правилу. Остаются четыре модуса ААА, ЕАЕ, АII, ЕIO, которые являются правильными. Эти модусы показывают, что 1-я фигура дает любые заключения, общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные, что и определяет ее познавательное значение и широкое применение в рассуждениях. 1-я фигура — наиболее типичная форма дедуктивного умозаключения. Из общего положения, выражающего нередко закон науки, правовую норму, делается вывод об отдельном факте, единичном случае, конкретном лице. Широко применяется эта фигура в судебной практике. Юридическая оценка (квалификация) правовых явлений, применение нормы права к отдельному случаю, назначение наказания за преступление, совершенное конкретным лицом, и другие судебные решения принимают логическую форму 1-й фигуры силлогизма.

Например:

Все лица, лишенные свободы (М), имеют право на гуманное обращение и уважение достоинства, присущего человеческой личности (Р)¹

H.(S) лишен свободы (М)

H.(S) имеет право на гуманное обращение и уважение достоинства, присущего человеческой личности (Р)

Правила 2-й фигуры:

1. Большая посылка — общее суждение.

2. Одна из посылок — отрицательное суждение.

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

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

Правила 2-й фигуры исключают сочетания посылок АА, IA, ОА, IE, AI, оставляя модусы ЕАЕ, АЕЕ, ЕIO, АОО, которые показывают, что эта фигура дает только отрицательные заключения.

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

¹ Международный пакт о гражданских и политических правах.

Например:

Подстрекателем (Р) признается лицо, склонившее другое лицо

к совершению преступления (М)

H.(S) не признается лицом, склонившим другое лицо

к совершению преступления (М)

H.(S) не является подстрекателем (Р)

Правила 3-й фигуры:

1. Меньшая посылка — утвердительное суждение.

2. Заключение — частное суждение.

1-е правило доказывается так же, как 2-е правило 1-й фигуры. Но если меньшая посылка — утвердительное суждение, то его предикат (меньший термин силлогизма) не распределен. Термин, не распределенный в посылке, не может быть распределен в заключении. Значит, заключение должно быть частным суждением.

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

Осмотр места происшествия (М) имеет одной из своих задач

обнаружение следов преступления (Р)

Осмотр места происшествия (М) — следственное действие (S)

Некоторые следственные действия (S) имеют одной из своих задач обнаружение следов преступления (Р)

В практике рассуждения 3-я фигура применяется сравнительно редко.

4-я фигура силлогизма также имеет свои правила и модусы. Однако выведение заключения из посылок по этой фигуре не характерно для естественного процесса рассуждения. Например:

Захват заложника (Р) — преступление против общественной безопасности (М)

Преступление против общественной безопасности (М) — общественно опасное деяние, предусмотренное Особенной частью Уголовного кодекса (S)

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

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

 

Преступления против общественной безопасности (М) —

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

Захват заложника (S) — преступление против общественной безопасности (М)

Захват заложника (S) — общественно опасное деяние, предусмотренное Особенной частью Уголовного кодекса (Р)

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

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

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

Рассмотрим наиболее распространенные случаи.

1. Вывод из двух частных посылок.

Некоторые социологи (М-) — выпускники Московского

университета (Р-)

Некоторые ученые (S-) — социологи (М+)

Некоторые ученые (S-) — выпускники Московского университета(Р-)

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

2. Вывод по 1-й фигуре, в которой большая посылка — частное суждение.

Необходимость вывода в этом силлогизме может быть показана на приведенном примере: средний

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

3. Одна из посылок — частное суждение, заключение — общее суждение.

Некоторые юристы, и только юристы (Р+), — следователи (М+)

Все участники совещания (S+) — следователи (М-)

Все участники совещания (S+) -- юристы (Р-)

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

4. Вывод по 2-й фигуре из двух утвердительных посылок.

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

5. Вывод по 1-й фигуре, в которой меньшая посылка — отрицательное суждение.

Лицо, совершившее преступление (М+), привлекается

к уголовной ответственности (Р+)

H.(S+) не совершил преступления (М+)

H.(S+) не привлекается к уголовной ответственности (Р+)

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

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

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

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

Хулиганство (Р+) — это умышленные действия, грубо нарушающие общественный порядок и выражающие явное неуважение к обществу (М+)

Действия Н. (S + ) являются умышленными, грубо нарушающими общественный порядок и выражающими явное неуважение

к обществу (М-)

Действия Н. (S) являются хулиганством (Р)

Заключение получено из двух утвердительных посылок по

2-й фигуре.

§ 4. Умозаключения из суждений с отношениями

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

Петр — брат Ивана Иван — брат Сергея

Петр — брат Сергея

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

Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых — 1) симметричность, 2) рефлексивность и 3) транзитивность.

1. Отношение называется симметричным(от греческого sim-metria — «соразмерность»), если оно имеет место как между предметами х и у, так и между предметами у и х. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения равенства (если а равно b , то и b равно а), сходства (если с сходно с d, то и d сходно с с), одновременности (если событие х произошло одновременно с событием у, значит, и событие у произошло одновременно с событием х), различия и некоторые другие.

Отношение симметричности символически записывается:

xRy  yRx.

2. Отношение называется рефлексивным(от латинского rе-flexio — «отражение»), если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства (если а = b , то а=а и b = b )и одновременности (если событие х произошло одновременно с событием у, значит, каждое из них произошло одновременно с самим собой).

Отношение рефлексивности записывается:

xRy  xRx  yRy.

3. Отношение называется транзитивным(от латинского transi-tivus — «переход»), если оно имеет место между х и z тогда, когда оно имеет место между х и у и между у и z. Иначе говоря, отношение является транзитивным (переходным) тогда и только тогда, когда из отношения между х и у и между у и z следует такое же отношение между х и z.

Транзитивными являются отношения равенства (если а равно b и b равно с, то а равно с), одновременности (если событие х произошло одновременно с событием у и событие у одновременно с событием z, значит, событие х произошло одновременно с событием z), отношения «больше», «меньше» (а меньше b, b меньше с, значит, а меньше с), «позднее», «находиться севернее (южнее, восточнее, западнее)», «быть ниже, выше» и т.п.

Отношение транзитивности записывается:

(xRy  yRz) xRz.

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

Из свойства симметричности (xRyyRx) вытекает правило: если суждение xRy истинно, то суждение yRx тоже истинно. Например:

А подобно ВВ подобно А

Из свойства рефлексивности (xRyxRx  yRy) вытекает правило: если суждение xRy истинно, то истинными будут суждения xRx и yRy. Например:

a=b

   а = а и b = b

Из свойства транзитивности (xRy  yRzxRz) вытекает правило: если суждение xRy истинно и суждение yRz истинно, то суждение xRz также истинно. Например:

К. был на месте происшествия раньше Л.

Л. был на месте происшествия раньше М.

К. был на месте происшествия раньше М.

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

КОНТРОЛЬНЫЕ ВОПРОСЫ

1. Что такое умозаключение? На какие виды они делятся?

2. Какие знания называются выводными?

3. Какие умозаключения называются непосредственными?

4. В чем сущность операции превращения, обращения, противопоставления предикату?

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

6. Что такое простой категорический силлогизм и каков его состав?

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

8. Что такое фигуры и модусы силлогизма? Какие особые правила имеют 1-я, 2-я и 3-я фигуры? Охарактеризуйте значение этих фигур в познании.

9. Что представляют собой умозаключения из суждений с отношениями? Охарактеризуйте основные свойства отношений.