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

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

Модусами силлогизма называются разновидности фи­гур, отличающиеся друг от друга качеством и количест­вом суждений, являющихся посылками и заключением. Напомним, что четыре вида простых категорических суждений: общеутвердительное, частноутвердительное, общеотрицательное и частноотрицательное—соответст­венно обозначаются буквами А, I, E. О.

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

Так, например, силлогизм

Все белковые соединения имеют в своем составе азот. Данное вещество не имеет в своем составе азота.

Следовательно, данное вещество не является белковым соединением.

выступает в форме модуса АЕЕ.

Теоретически каждое суждение силлогизма может быть выражено любым из четырех видов (А, E, I, О). Комбинируя эти виды суждений, в четырех фигурах воз­

можно получение 256 сочетаний, т. е. модусов (4 3 =64;

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

Задача состоит в том, чтобы выяснить, какие же из этих сочетаний являются модусами простого категориче­ского силлогизма, поскольку они обеспечивают логиче­ское следование, т. е. позволяют во всех случаях (при любых конкретных по содержанию терминах) из истин­ных посылок получать истинные заключения. Иными сло­вами, надо выяснить, какие сочетания посылок и заклю­чений относятся к дедуктивным умозаключениям. Это можно сделать, опираясь на знание правил фигур и об­щих правил силлогизма. ‘ •

Согласно правилам первой фигуры большая посылка может быть общеутвердительной или общеотрицатель­ной. Меньшая посылка может быть общеутвердительной или частноутвердительной. Таким образом, в первой фи­гуре возможны следующие сочетания посылок: АА. AI, ЕА, El (учитывая при этом, что большая посылка ста­вится на первое место).

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

В первом сочетании оба суждения являются обще­утвердительными, заключение также должно быть обще­утвердительным, поскольку сочетание АА выражается в такой форме: «все М суть Р, а все S суть М», следова­тельно, «все 5 суть Р». Это не значит, что выводное суж­дение по форме «некоторые S суть Р» окажется ложным. Его истинность также несомненна, как подчиненного суждения. Но в заключении мы стремимся получить мак­симальное (более сильное) знание, которое с необхо­димостью следует из посылок.

Во втором сочетании утвердительных посылок мы имеем одно частное суждение, следовательно, заключе­ние должно быть частноутвердительным (I).

В третьем сочетании мы имеем два общих суждения, одно из которых является отрицательным. Заключение должно быть общеотрицательным (Е). Это не значит, что выводное частноотрицательное суждение (О) будет лож­ным. Его истинность вытекает из истинности общеотри­цательного суждения. В четвертом сочетании мы имеем общеотрицательное и частноутвердительное суждения, следовательно, заключение должно быть частноотрица-тельным (О).

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

Исходя из правил второй фигуры, получим сочетания посылок: АЕ, АО, ЕА, El. Эти сочетания согласно общим правилам силлогизма соответственно будут иметь заклю­чения: Е, О, Е, О. Следовательно, во второй фигуре гаран­тируют, достоверность заключения следующие модусы:

АЕЕ, АОО, ЕАЕ, ЕЮ. Таким же образом можно выявить модусы третьей и четвертой фигур.

Третья фигура имеет шесть таких модусов: AAI, ЕАО. 1AI. ОАО, АН, ЕЮ.

— Четвертая фигура имеет пять модусов: AAI, АЕЕ, 1AI, ЕАО. ЕЮ.

Итак, все четыре фигуры простого категорического силлогизма имеют 19 модусов, заключения из которых следуют с необходимостью. Мы назовем их правильными модусами. Все остальные сочетания не обеспечивают ло­гического следования. Мы назовем их неправильными модусами. Они относятся к недедуктивным умозаключе­ниям. Так, например, из истинных посылок:

Все представители мидетской школы являются древнегреческими

Анаксимандр — древнегреческий философ.

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

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

истинные, а при других посылках дает ложные за­ключения.

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

В исчислении предикатов термины силлогизма рассматриваются как одноместные предикаты, слова «все» и «некоторые» (т. е. кон-‘ станты) выражаются с помощью кванторов общности (ул’) и суще­ствования (д.

Источник

Глава XIV. Силлогизм. Фигуры и модусы силлогизма

Возможные сочетания суждений в силлогизме. В предыдущей главе мы рассмотрели условия правильности силлогизмов. Рассмотрим теперь на примерах приложение этих правил. Мы будем брать по три суждения, которые могли бы составить силлогизм. Эти суждения должны быть или A, или I, или O, или E. Причём само собой разумеется, что для образования силлогизма они могут комбинироваться самыми различными способами. Например, мы могли бы иметь сочетание суждений AAO, EAI и т.п. Но мы должны исследовать, пользуясь вышеизложенными правилами, какие из этих сочетаний или соединений дают правильные силлогизмы.

Для того чтобы решить вопрос, какие сочетания дают правильные силлогизмы, мы должны предварительно решить вопрос, какие вообще возможны сочетания. Для этого мы поступим следующим образом. Возьмём сочетания AA, AE, AI, AO 4 раза и прибавим к этим сочетаниям A, E, I, O, получим:

AAO AEO AIO AOO и т.д;

Действуя аналогичным способом, мы можем получить 64 возможных сочетания.

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

Берём первое сочетание AAA. Это сочетание не противоречит всем восьми правилам.

Сочетание AAE противно правилу 6, потому что в заключении находится отрицательное суждение E; а чтобы это было возможно, нужно, чтобы одна из посылок была суждением отрицательным, между тем в нашем силлогизме AAE обе посылки положительные. Следовательно, данное сочетание оказывается не возможным.

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

Если таким способом исследовать все 64 случая, то останется только 11 сочетаний, которые дают правильные силлогизмы. Эти сочетания следующие: AAA, AAI, AEE, AEO, AII, AOO, EAE, EAO, EIO, IAI, OAO.

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

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

Фигуры и модусы силлогизма. В фигуре 1 средний термин является подлежащим в большей посылке, сказуемым – в меньшей. В фигуре 2 он является сказуемым в большей посылке, сказуемым же и в меньшей посылке. В фигуре 3 он является подлежащим и в большей и в меньшей посылке, и, наконец, в фигуре 4 он является сказуемым в большей посылке и подлежащим – в меньшей.

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

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

E: Ни одно S не есть M.

E: Ни одно S не есть P.

Если мы обратим внимание на термин P, то окажется, что в большей посылке как сказуемое обще-утвердительного суждения он не распределён, между тем в заключении как сказуемое обще-отрицательного суждения он распределён. Это противоречит правилу 4, а следовательно, такое сочетание невозможно. Рассмотрим далее, какой вид может принять это сочетание по фигуре 2:

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

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

Здесь нет нарушения правил силлогизма, а потому заключение правильно. Но если это заключение мы рассмотрим по фигуре 3, то заключение будет нарушать правило 4. Силлогизм примет такой вид:

E: Ни одно M не есть S.

E: Ни одно S не есть P.

По фигуре 4 это сочетание будет правильно.

Если мы указанным только что способом исследуем все 44 сочетания, то получим следующие 19 правильных видов силлогизма, или модусов, распределённых по фигурам:

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

Здесь каждое слово, напечатанное курсивным шрифтом, означает отдельный модус, посылки и заключение которого легко определить, если взять гласные буквы. Например, Barbara означает модус фигуры 1, в котором обе посылки и заключение суть AAA; Celarent означает модус EAE. Значение остальных букв этих слов будет изложено в следующей главе.

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

Если он, руководясь правилами гл. XIII-й, станет отбрасывать те сочетания, которые противоречат правилам, то у него должно остаться след. 12 сочетаний: AAA AAI AEE AEO AII AOO EAE EAO EIO IAI OAO. Из них последнее сочетание IEO следует также отбросить, потому что оно противоречит четвёртому правилу, именно в заключении больший термин берётся во всём объёме, как сказуемое отрицательного суждения, в то время как в большей посылке, как сказуемое или как подлежащее частно-утвердительного суждения, он взят не во всём объёме. Таким образом остаётся всего 11 сочетаний.

Если затем он проведёт остающиеся 11 сочетаний по четырём фигурам, то у него, кроме тех 19 сочетаний, которые приведены выше, останутся ещё 5 сочетаний, именно по 1-й фигуре AAI и EAO, по 2-й фигуре EAO и AEO и по 4-й фиг. AEO. Хотя эти 5 сочетаний дают правильное заключение, но их всё-таки следует отбросить, потому что они дают ослабленное или подчинённое заключение, именно они дают частное заключение, в то время как могут давать и общее. В самом деле, возьмём сочетание AAI по первой фигуре:

Все научные сведения полезны.

Химические сведения научны.

Некоторые химические сведения полезны.

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

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

Возьмём для иллюстрации фигур и модусов примеры.

A: Все хищные животные питаются мясом.

A: Тигры суть хищные животные.

A: Тигры питаются мясом.

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

E: Ни одно насекомое не имеет более трёх пар ножек.

A: Пчёлы суть насекомые.

E: Пчёлы не имеют более трёх пар ножек.

Схема этого модуса изображена на рис. 24.

A: Все хищные животные питаются мясом.

I: Некоторые домашние животные суть хищные животные.

I: Некоторые домашние животные питаются мясом (рис, 25).

E: Ни один невменяемый не наказуем.

I: Некоторые преступники невменяемы.

O: Некоторые преступники не наказуемы (рис. 26).

E: Ни один справедливый человек не завистлив.

A: Всякий честолюбивый завистлив.

E: Ни один честолюбивый человек не есть справедлив (рис. 27).

A: Преступники действуют из злого намерения.

E: N. не действовал из злого намерения.

E: N не есть преступник.

E: Ни один благоразумный человек не суеверен.

I: Некоторые хорошо образованные люди суеверны.

O: Некоторые хорошо образованные люди неблагоразумны.

A: Все истинно моральные действия совершаются из правильных мотивов.

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

O: Некоторые благодетельные для других действия не суть истинно моральные.

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

A: Все киты живут в воде.

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

Данное умозаключение относится к фигуре 3, где средний термин d обеих посылках является подлежащим. Меньший термин «живущие в воде существа» взят в меньшей посылке не во всём объёме; следовательно, и в заключении должен быть взят не во всём объёме (рис. 28).

E: Ни один глухонемой не может говорить.

A: Глухонемые суть духовно нормальные люди.

O: Некоторые духовно нормальные люди не могут говорить (рис. 29).

I: Некоторые романы поучительны.

A: Все романы суть вымышленные рассказы.

I: Некоторые вымышленные рассказы поучительны.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A: Кислород поддерживает горение

E: Этот газ не поддерживает горения.

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

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

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

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

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

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

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

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

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

A: Ртуть есть металл.

O: Некоторые металлы не твёрды.

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

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

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

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

Поделиться ссылкой на выделенное

Нажмите правой клавишей мыши и выберите «Копировать ссылку»

Источник

Какой модус признается правильным в логике

1. хНПЪБЛМАЮЕОЙЕ: ПРТЕДЕМЕОЙЕ, УФТХЛФХТБ, ЛМБУУЙЖЙЛБГЙС.

йУФЙООПУФШ Й РТБЧЙМШОПУФШ НЩУМЙ.

уФТХЛФХТБ ХНПЪБЛМАЮЕОЙС

фТБДЙГЙПООЩК ДТЕЧОЕЗТЕЮЕУЛЙК УЙММПЗЙЪН:

2. рлу: ПРТЕДЕМЕОЙЕ, УФТХЛФХТБ, ПВЭЙЕ РТБЧЙМБ.

бЛУЙПНБ УЙММПЗЙЪНБ

пВЭЙЕ РТБЧЙМБ рлу.

I. рТБЧЙМБ ФЕТНЙОПЧ:
1) Ч УЙММПЗЙЪНЕ ДПМЦОП ВЩФШ ФПМШЛП 3 ФЕТНЙОБ
фЕТНЙО н ДПМЦЕО ВЩФШ ПДОЙН Й ФЕН ЦЕ РПОСФЙЕН Ч ПВЕЙИ РПУЩМЛБИ, ЙОБЮЕ РПМХЮЙН ПЫЙВЛХ, ОБЪЩЧБЕНХА «ХЮЕФЧЕТЕОЙЕН ФЕТНЙОПЧ».

2) УТЕДОЙК ФЕТНЙО ДПМЦЕО ВЩФШ ТБУРТЕДЕМЕО ИПФС ВЩ Ч ПДОПК ЙЪ РПУЩМПЛ.
еУМЙ УТЕДОЙК ФЕТНЙО ОЕ ТБУРТЕДЕМЕО ОЙ Ч ПДОПК ЙЪ РПУЩМПЛ, ФП ПФОПЫЕОЙЕ НЕЦДХ ЛТБКОЙНЙ ФЕТНЙОБНЙ Ч ЪБЛМАЮЕОЙЙ ПУФБЕФУС ОЕПРТЕДЕМЕООЩН.

3) ФЕТНЙО, ОЕ ТБУРТЕДЕМЕООЩК Ч РПУЩМЛБИ, ОЕ НПЦЕФ ВЩФШ ТБУРТЕДЕМЕО Ч ЪБЛМАЮЕОЙЙ.
рТЙ ОБТХЫЕОЙЙ ЬФПЗП РТБЧЙМБ ЧПЪОЙЛБЕФ МПЗ. ПЫЙВЛБ «ОЕЪБЛПООПЕ ТБУЫЙТЕОЙЕ ФЕТНЙОБ».

чУЕ РЕДБЗПЗЙ ЧПУРЙФБООЩ
пО ОЕ РЕДБЗПЗ
пО ОЕЧПУРЙФБО

II. рТБЧЙМБ РПУЩМПЛ:
1) йЪ ДЧХИ ПФТЙГБФЕМШОЩИ РПУЩМПЛ ЪБЛМАЮЕОЙЕ УДЕМБФШ ОЕМШЪС (ИПФС ВЩ ПДОБ ЙЪ РПУЩМПЛ ДПМЦОБ ВЩФШ ХФЧЕТДЙФЕМШОПК).

оЙ ПДЙО УФХДЕОФ ОЕ СЧМСЕФУС РТЕРПДБЧБФЕМЕН
CФХДЕОФ йЧБОПЧ ОЕ СЧМСЕФУС РТЕРПДБЧБФЕМЕН
?

2) йЪ ДЧХИ ЮБУФОЩИ РПУЩМПЛ ЪБЛМАЮЕОЙЕ ОЕ УМЕДХЕФ (ИПФС ВЩ ПДОБ ЙЪ РПУЩМПЛ ДПМЦОБ ВЩФШ ПВЭЙН УХЦДЕОЙЕН).
йЪ ДЧХИ ЮБУФОЩИ РПУЩМПЛ РТБЧЙМШОПЕ ЪБЛМАЮЕОЙЕ УДЕМБФШ ОЕЧПЪНПЦОП.

рТЙНЕТ РТБЧ. ЧЩЧПДБ:

оЙ ПДЙО РБРПТПФОЙЛ ОЙЛПЗДБ ОЕ ГЧЕФЕФ
ьФП ТБУФЕОЙЕ ГЧЕФЕФ
ьФП ТБУФЕОЙЕ ОЕ РБРПТПФОЙЛ

4) ЕУМЙ ПДОБ ЙЪ РПУЩМПЛ ЮБУФОБС, ФП Й ЪБЛМАЮЕОЙЕ ДПМЦОП ВЩФШ ЮБУФОЩН.

3. жЙЗХТЩ Й НПДХУЩ РТПУФПЗП ЛБФЕЗПТЙЮЕУЛПЗП УЙММПЗЙЪНБ

I ЖЙЗХТБ

ч 1-К ЖЙЗХТЕ УТЕДОЙК ФЕТНЙО ЪБОЙНБЕФ НЕУФП УХВЯЕЛФБ Ч ВПМШЫЕК РПУЩМЛЕ РТЕДЙЛБФБ Ч НЕОШЫЕК.
рТЙНЕТ:

рТБЧЙМБ 1-К ЖЙЗХТЩ:
1) ВoМШЫБС РПУЩМЛБ ДПМЦОБ ВЩФШ ПВЭЕК (б ЙМЙ е);
2) НeОШЫБС РПУЩМЛБ ДПМЦОБ ВЩФШ ХФЧЕТДЙФЕМШОПК (б ЙМЙ I).

II ЖЙЗХТБ

чП 2-К ЖЙЗХТЕ УТЕДОЙК ФЕТНЙО ЪБОЙНБЕФ НЕУФП РТЕДЙЛБФБ Ч ПВЕЙИ РПУЩМЛБИ

ьФПФ УНЕТФЕМШОЩК ХДБТ (т) ОБОЕУЕО ЮЕМПЧЕЛПН ПЗТПНОПК УЙМЩ (M)
пВЧЙОСЕНЩК (S) ОЕ СЧМСЕФУС ЮЕМПЧЕЛПН ПЗТПНОПК УЙМЩ (н)
пВЧЙОСЕНЩК (S) ОЕ ОБОЕУ ЬФПФ УНЕТФЕМШОЩК ХДБТ (P)

рТБЧЙМБ 2-К ЖЙЗХТЩ:
1) ВoМШЫБС РПУЩМЛБ ДПМЦОБ ВЩФШ ПВЭЙН УХЦДЕОЙЕН (б, е);
2) ПДОБ ЙЪ РПУЩМПЛ ДПМЦОБ ВЩФШ ПФТЙГБФЕМШОЩН УХЦДЕОЙЕН (E, I).

чУЕ ЖЙЪЙЛЙ УФТЕНСФУС Л ЙУФЙОЕ
оЕЛПФПТЩЕ ЙУФПТЙЛЙ УФТЕНСФУС Л ЙУФЙОЕ
оЕЛПФПТЩЕ ЙУФПТЙЛЙ СЧМСАФУС ЖЙЪЙЛБНЙ — ОЕЧЕТОП, Ф. Л. ПВЕ РПУЩМЛЙ ХФЧЕТДЙФЕМШОЩЕ УХЦДЕОЙС

оЕЛПФПТЩЕ МАДЙ НПЗХФ ВЩФШ ПФГБНЙ
оЙ ПДОБ ЦЕОЭЙОБ ОЕ НПЦЕФ ВЩФШ ПФГПН
оЕЛПФПТЩЕ ЦЕОЭЙОЩ ОЕ НПЗХФ ВЩФШ МАДШНЙ — ОЕЧЕТОП, Ф. Л. ВoМШЫБС РПУЩМЛБ ЮБУФОПЕ УХЦДЕОЙЕ

III ЖЙЗХТБ

ч 3-ЕК ЖЙЗХТЕ УТЕДОЙК ФЕТНЙО ЪБОЙНБЕФ НЕУФП УХВЯЕЛФБ Ч ПВЕЙИ РПУЩМЛБИ.

оЙ ПДЙО УФТБХУ (н) ОЕ МЕФБЕФ (т)
чУЕ УФТБХУЩ (н) РФЙГЩ (S)
оЕЛПФПТЩЕ РФЙГЩ (S) ОЕ МЕФБАФ (P)

рТБЧЙМБ 3-К ЖЙЗХТЩ:
1) НeОШЫБС РПУЩМЛБ ДПМЦОБ ВЩФШ ХФЧЕТДЙФЕМШОЩН УХЦДЕОЙЕН (б, I);
2) ЪБЛМАЮЕОЙЕ ДПМЦОП ВЩФШ ЮБУФОЩН УХЦДЕОЙЕН (I, п).

чУЕ УФХДЕОФЩ СЧМСАФУС МАДШНЙ
оЕЛПФПТЩЕ УФХДЕОФЩ ОЕ СЧМСАФУС НХЦЮЙОБНЙ
оЕЛПФПТЩЕ НХЦЮЙОЩ ОЕ СЧМСАФУС МАДШНЙ — ОЕЧЕТОП, Ф. Л. НЕОШЫБС РПУЩМЛБ ПФТЙГБФЕМШОБС

чУЕ УФХДЕОФЩ СЧМСАФУС МАДШНЙ
чУЕ УФХДЕОФЩ СЧМСАФУС ЦЙЧЩНЙ УХЭЕУФЧБНЙ
чУЕ ЦЙЧЩЕ УХЭЕУФЧБ СЧМСАФУС УФХДЕОФБНЙ — ОЕЧЕТОП, Ф. Л. ЪБЛМАЮЕОЙЕН СЧМСЕФУС ПВЭЕЕ УХЦДЕОЙЕ.

IV ЖЙЗХТБ

ч 4-К ЖЙЗХТЕ УТЕДОЙК ФЕТНЙО ЪБОЙНБЕФ НЕУФП РТЕДЙЛБФБ Ч ВПМШЫЕК Й УХВЯЕЛФБ Ч НЕОШЫЕК РПУЩМЛЕ.

оЙ ПДЙО УЮБУФМЙЧЩК ЮЕМПЧЕЛ(т) ОЕ УФТЕНЙФУСЛ УРТБЧЕДМЙЧПУФЙ (н)
оЕЛПФПТЩЕ УФТЕНСЭЙЕУС Л УРТБЧЕДМЙЧПУФЙ МАДЙ (M) СЧМСАФУС АТЙУФБНЙ (S)
оЕЛПФПТЩЕ АТЙУФЩ ОЕУЮБУФОЩ

рЕТЧБС ЖЙЗХТБ ФТБДЙГЙПООП УЮЙФБЕФУС Ч МПЗЙЛЕ ПУОПЧОПК. юЕФЧЕТФБС ЖЙЗХТБ ОПУЙФ ЙУЛХУУФЧЕООЩК ИБТБЛФЕТ, ЙУРПМШЪХЕФУС ТЕДЛП Й, ЛБЛ РТБЧЙМП, РТЕПВТБЪХЕФУС Ч ДТХЗЙЕ.

ъБДБЮЙ, ТЕЫБЕНЩ РТЙ РПНПЭЙ УЙММПЗЙЪНПЧ:

пРТПЧЕТЦЕОЙЕ ОЕРТБЧЙМШОЩИ ДЕДХЛГЙК ЙМЙ ОЕРТБЧЙМШОЩИ РПДЮЙОЕОЙК.
дБООБС ЪБДБЮБ РТПФЙЧПРПМПЦОБ 1-К Й УЙММПЗЙЪНЩ ЕЕ ТЕЫБАЭЙЕ ЮБУФП ЙУРПМШЪХАФУС ДМС ПРТПЧЕТЦЕОЙС ОЕРТБЧЙМШОЩИ ЧЩЧПДПЧ, УДЕМБООЩИ РП 1-К ЖЙЗХТЕ.
ьФХ ЪБДБЮХ ТЕЫБАФ УЙММПЗЙЪНБНЙ РП 2-К ЖЙЗХТЕ (оБРТ: ьФПФ УНЕТФ. ХДБТ ОБОЕУЕО ЮЕМПЧЕЛПН ПЗТПНОПК УЙМЩ. пВЧЙОСЕНЩК ОЕ СЧМСЕФУС ЮЕМПЧЕЛПН ПЗТПНОПК УЙМЩ. ъОБЮЙФ, ПВЧЙОСЕНЩК ОЕ ОБОЕУ ЬФПФ УНЕТФЕМШОЩК ХДБТ).

пВПУОПЧБОЙЕ ЙУЛМАЮЕОЙК ЙЪ ПВЭЙИ РПМПЦЕОЙК.
ьФБ УЙФХБГЙС ЮБУФП ЧУФТЕЮБЕФУС Ч УРПТЕ. рТЕДРПМПЦЙН, ЧБЫ ПРРПОЕОФ ЧЩДЧЙЗБЕФ ЛБЛПЕ-МЙВП ПВЭЕЕ РПМПЦЕОЙЕ, Б ЧБН ОБДП ДПЛБЪБФШ ЙУЛМАЮЕОЙЕ ЙЪ ОЕЗП. фПЗДБ НПЦОП УНЕМП РТЙВЕЗОХФШ Л 3-ЕК ЖЙЗХТЕ (оБРТ: рТЕДРПМПЦЙН, ОБН ОБДП ДПЛБЪБФШ, ЮФП УХЦДЕОЙЕ «ЧУЕ МАДЙ ЙНЕАФ РТЕУФХРОЩЕ УЛМПООПУФЙ» ОЕ СЧМСЕФУС ЙУФЙООЩН. фПЗДБ ОБН ОБДП РПУФТПЙФШ УЙММПЗЙЪН РП 3-ЕК ЖЙЗХТЕ: оЙ ПДЙО ТЕВЕОПЛ ОЕ ЙНЕЕФ РТЕУФХРОЩИ ОБЛМПООПУФЕК. лБЦДЩК ТЕВЕОПЛ СЧМСЕФУС ЮЕМПЧЕЛПН. уМЕДПЧБФЕМШОП, ОЕЛПФПТЩЕ МАДЙ ОЕ ЙНЕАФ РТЕУФХРОЩИ ОБЛМПООПУФЕК)

лТПНЕ ФПЗП, Ч ЛБЦДПК ЖЙЗХТЕ ЧЩДЕМСАФ НПДХУЩ.

жЙЗ. I	жЙЗ. II	жЙЗ. III	жЙЗ. IV
AAA (Barbara)	EAE (Cesare)	AAI (Darapti)	AAI (Bramantip)
EAE (Celarent)	AEE (Camestres)	IAI (Disamis)	AEE (Camenes)
AII (Darii)	EIO (Festino)	AII (Datisi)	IAI (Dimaris)
EIO (Ferio)	AOO (Baroco)	EAO (Felapton)	EAO (Fesapo)
OAO (Bocardo)	EIO (Fresison)
EIO (Ferison)

иПД ТБУУХЦДЕОЙС РП 4-К ЖЙЗХТЕ ОЕ ФЙРЙЮЕО ДМС РТПГЕУУБ НЩЫМЕОЙС (4-С ЖЙЗХТБ СЧМСЕФУС ЙУЛХУУФЧЕООПК) РТБЧЙМБ ЬФПК ЖЙЗХТЩ ОБНЙ ОЕ ТБУУНБФТЙЧБАФУС

тБЪОПЧЙДОПУФЙ РТПУФПЗП ЛБФЕЗПТЙЮЕУЛПЗП УЙММПЗЙЪНБ:

йЪ ЬФПЗП УЙММПЗЙЪНБ НПЦОП РПУФТПЙФШ УМЕДХАЭЙЕ ЬОФЙНЕНЩ:

у ПРХЭЕООПК ВoМШЫЕК РПУЩМЛПК: «лХТЕОЙЕ ЪБУМХЦЙЧБЕФ ОБЛБЪБОЙС, РПФПНХ ЮФП ПОП РПТПЛ»

у ПРХЭЕООПК НЕОШЫЕК РПУЩМЛПК: «чУСЛЙК РПТПЛ ЪБУМХЦЙЧБЕФ ОБЛБЪБОЙС, РПЬФПНХ ЛХТЕОЙЕ ЪБУМХЦЙЧБЕФ ОБЛБЪБОЙС:

ьОФЙНЕНБ ЮБУФП ЙУРПМШЪХЕФУС Ч РПЧУЕДОЕЧОПН НЩЫМЕОЙЙ Й Ч ПТБФПТУЛПК РТБЛФЙЛЕ. уПЛТБЭЕООБС ЖПТНБ УРПУПВУФЧХЕФ МХЮЫЕНХ ЧПУРТЙСФЙА. лТПНЕ ФПЗП РТЙ РПНПЭЙ ЬОФЙНЕНЩ ДПУФЙЗБЕФУС ЬЖЖЕЛФ ХВЕДЙФЕМШОПУФЙ, ФБЛ ЛБЛ УПВЕУЕДОЙЛ ЧЩОХЦДЕО ТЕЛПОУФТХЙТПЧБФШ ЕЕ ДП РПМОПЗП ХНПЪБЛМАЮЕОЙС Й ОБЮЙОБЕФ УЮЙФБФШ ЪБЛМАЮЕОЙЕ УЧПЙН УПВУФЧЕООЩН.

тБЪМЙЮБАФ РТПЗТЕУУЙЧОЩК Й ТЕЗТЕУУЙЧОЩК РПМЙУЙММПЗЙЪН.
Б) рТПЗТЕУУЙЧОЩН РПМЙУЙММПЗЙЪНПН ОБЪЩЧБЕФУС РПМЙУЙММПЗЙЪН, Ч ЛПФПТПН ЪБЛМАЮЕОЙЕ РТПУЙММПЗЙЪНБ УФБОПЧЙФУС ВoМШЫЕК РПУЩМЛПК ЬРЙУЙММПЗЙЪНБ.

у РПНПЭША ЬФПЗП РТПЗТЕУУЙЧОПЗП РПМЙУЙММПЗЙЪНБ НЩ РПЬФБРОП У НБЛУЙНБМШОПК ПЮЕЧЙДОПУФША РЕТЕОЕУМЙ РТЙЪОБЛ «УНЕТФОЩК» У ПВЭЕЗП РПОСФЙС «ЦЙЧПЕ УХЭЕУФЧП» ОБ ЕДЙОЙЮОПЕ РПОСФЙЕ «уПЛТБФ»

В) тЕЗТЕУУЙЧОЩН РПМЙУЙММПЗЙЪНПН ОБЪЩЧБЕФУС РПМЙУЙММПЗЙЪН, Ч ЛПФПТПН ЪБЛМАЮЕОЙЕ РТПУЙММПЗЙЪНБ УФБОПЧЙФУС НЕОШЫЕК РПУЩМЛПК ЬРЙУЙММПЗЙЪНБ.

чУЕ НЩУМСЭЙЕ МАДЙ УРПУПВОЩ Л УБНПУПЧЕТЫЕОУФЧПЧБОЙА
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ СЧМСАФУС НЩУМСЭЙНЙ МАДШНЙ
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ УРПУПВОЩ Л УБНПУПЧЕТЫЕОУФЧПЧБОЙА

чУЕ МАДЙ, УРПУПВОЩЕ Л УБНПУПЧЕТЫЕОУФЧПЧБОЙА, ЪБУМХЦЙЧБАФ УОЙУИПЦДЕОЙС
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ УРПУПВОЩ Л УБНПУПЧЕТЫЕОУФЧПЧБОЙА
оЕЛПФПТЩЕ РТЕУФХРОЙЛЙ ЪБУМХЦЙЧБАФ УОЙУИПЦДЕОЙС

ч РТПЗТЕУУЙЧОПН УПТЙФЕ РТПРХЭЕОЩ ВoМШЫЙЕ РПУЩМЛЙ ЬРЙУЙММПЗЙЪНПЧ:

дБООБС ЬРЙИЕКТЕНБ УПУФПЙФ ЙЪ ДЧХИ ЬОФЙНЕН У РТПРХЭЕООЩНЙ ВoМШЫЙНЙ РПУЩМЛБНЙ.

4. чЩЧПДЩ ЙЪ УМПЦОЩИ УХЦДЕОЙК.

рТБЧЙМП ХУМПЧОПЗП УЙММПЗЙЪНБ: УМЕДУФЧЙЕ УМЕДУФЧЙС ЕУФШ УМЕДУФЧЙЕ ПУОПЧБОЙС ;

х ЬФПЗП УЙММПЗЙЪНБ ЧПЪНПЦОЩ 4 НПДХУБ:

рПОЕОУ	фПММЕОУ
p&#8594q	p&#8594q	p&#8594q	p&#8594q
p	q	&#172p	&#172q
q	p	&#172q	&#172p

дПУФПЧЕТОЩЕ НПДХУЩ

нПДХУ РПОЕОУ (ТБУУХЦДЕОЙЕ ЙДЕФ ПФ ХФЧЕТЦДЕОЙС ПУОПЧБОЙС Л ХФЧЕТЦДЕОЙА УМЕДУФЧЙС):

p&#8594q	еУМЙ Ч ЙНРЕТЙСИ ОБЮЙОБЕФ ТХЫЙФШУС УЕНШС, ФП ПОЙ ПВТБЭБАФУС Ч РТБИ.
p	ч тЙНУЛПК ЙНРЕТЙЙ ОБЮБМБ ТХЫЙФШУС УЕНШС.
q	пОБ ПВТБФЙМБУШ Ч РТБИ.

нПДХУ ФПММЕОУ (ТБУУХЦДЕОЙЕ ЙДЕФ ПФ ПФТЙГБОЙС УМЕДУФЧЙС Л ПФТЙГБОЙА ПУОПЧБОЙС):

p&#8594q	еУМЙ РПДЗПФПЧМАУШ, ФП УДБН ЬЛЪБНЕО.
&#172q	ьЛЪБНЕО С ОЕ УДБМ
&#172p	с ОЕ РПДЗПФПЧЙМУС.

рТБЧДПРПДПВОЩЕ (ОЕРТБЧЙМШОЩЕ НПДХУЩ):

дБООЩЕ НПДХУЩ ОЕ РПЪЧПМСАФ ХУФБОПЧЙФШ ЗМБЧОХА РТЙЮЙОХ УМЕДУФЧЙС Й РПЬФПНХ ДБАФ МЙЫШ РТБЧДПРПДПВОЩЕ ЪБЛМАЮЕОЙС.

(1) ХФЧЕТЦДБАЭЕ-ПФТЙГБАЭЙК (modus ponendo tollens)

pvq	мЙВП РБО, МЙВП РТПРБМ.
p	рБО.
&#172q	оЕ РТПРБМ.

(2) ПФТЙГБАЭЕ-ХФЧЕТЦДБАЭЙК (modus tollendo ponens)

pvq	мЙВП РБО, МЙВП РТПРБМ.
&#172p	оЕ РБО
q	рТПРБМ.

рТБЧЙМБ:
1) Ч ДЙЪЯАОЛФЙЧОЩИ РПУЩМЛБИ ДПМЦОЩ ВЩФШ РЕТЕЮЙУМЕОЩ ЧУЕ ЮМЕОЩ ДЙЪЯАОЛГЙЙ (ДЕМЕОЙС);
2) ЮМЕОЩ ДЕМЕОЙС ДПМЦОЩ ЙУЛМАЮБФШ ДТХЗ ДТХЗБ (УФТПЗБС ДЙЪЯАОЛГЙС).

5. йОДХЛФЙЧОЩЕ ХНПЪБЛМАЮЕОЙС Й БОБМПЗЙЙ.

ч ПУОПЧЕ ТБУУХЦДЕОЙС РП БОБМПЗЙЙ МЕЦЙФ УИПДУФЧП НЕЦДХ РТЕДНЕФБНЙ. уФЕРЕОШ ДПУФПЧЕТОПУФЙ ФБЛПЗП ЧЩЧПДБ ЪБЧЙУЙФ ЛБЛ ПФ ЮЙУМБ УИПДОЩИ РТЙЪОБЛПЧ (ЮЕН ВПМШЫЕ, ФЕН МХЮЫЕ), ФБЛ Й ПФ ЙИ УХЭЕУФЧЕООПУФЙ (ЮЕН УХЭЕУФЧЕООЕЕ РТЙЪОБЛ, ФЕН ЧЕТПСФОЕЕ РТБЧЙМШОЩК ЧЩЧПД).

Источник