что такое модус умозаключения в логике
Правила и модусы силлогизма
Правила силлогизма
1. Во всяком силлогизме должно быть не менее и не более трех терминов.
Здесь налицо учетверение термина. В большой посылке говорится о луке как об оружии, а в малой посылке речь идет о луке как о растении. То есть перед нами разные понятия, имеющие одинаковое написание (омонимы). Это так очевидно, что вроде бы и обсуждать не стоит.
Обратимся к жизни. Лет десять тому назад у меня было расстройство кишечника. Врач назначил тетрациклин, и он мне помог. Сейчас у меня тоже расстройство кишечника. Зачем ходить к врачу? Приму-ка тетрациклин. Примерно так рассуждают и поступают многие люди. Но на практике часто становится не лучше, а хуже. Придайте этим рас суждениям форму силлогизма ― вроде бы все правильно. Где же учетверение терминов? Вы уже догадались. Я десять лет назад и я сейчас ― это разные люди! Да и болезнь может быть совсем другая. Кроме того, через десять лет у человека может быть столько болезней, что ему просто нельзя принимать тетрациклин. К сожалению, нередко и врачи делают назначения по шаблону. Но если лекарство помогло тогда, это не значит, что оно поможет сейчас. Думать надо!
Вы уже догадались, что это правило силлогизма основано на законе тождества.
2. Во всяком силлогизме должно быть не более и не менее трех суждений. Правило в разъяснении не нуждается.
3. Средний термин должен быть взят хотя бы в одной посылке в полном объеме.
Вот что произойдёт, если, например, средний термин взять не в полном объёме:
Собака ― друг человека.
4. Термины, не взятые в посылках в полном объеме, не могут взяты и в заключении в полном объеме.
Интересно, знал ли Сталин это правило, когда за провинность некоторых высылал всю народность? А знают ли преподаватели, когда за провинность одного наказывают весь класс?
5. Из двух отрицательных суждений нельзя сделать заключения. Правило в разъяснении не нуждается.
6. Если одна из посылок отрицательная, то и заключение должно быть отрицательным. И здесь все ясно.
7. Из двух частных суждений нельзя сделать заключения.
8. Если одна из посылок частная, то и заключение должно быть частным (это правило перекликается с четвертым).
Фигуры категорического силлогизма
В зависимости от положения среднего термина силлогизм может принимать разные формы, которые и называются фигурами. Их всего четыре:
Приведенные выше два силлогизма про электропроводность железа и смертность Иванова относятся к фигуре I.
Здесь приведен пример второй фигуры. А сейчас приведем пример фигуры III.
Следующий силлогизм относится к фигуре IV.
Модусы силлогизма
Подраздел для тех, кто уже полюбил логику. Сейчас начинают выходить учебники логики, но почему-то этот материал дается очень кратко, как будто авторы учебников сомневаются в умственных способностях своих читателей. Между тем в учебниках для гимназий дореволюционной России этот подраздел довольно большой. Авторы тех учебников более уважительно относились к гимназистам, чем наши авторы к студентам университетов.
Что же такое модус силлогизма?
Приведем еще раз известный вам силлогизм о железе.
Большая посылка здесь общеутвердительное суждение А, меньшая посылка тоже общеутвердительное суждение А, и заключение тоже А. Модус этого силлогизма, следовательно, ААА.
Так вот, модусами фигур категорического силлогизма называются разновидности силлогизма, которые отличаются друг от друга качественной характеристикой входящих в них посылок и заключения (А. Д. Гетманова, 1994).
Если комбинировать из четырех разновидностей суждений (общеутвердительного — А, частноутвердительного — I, общеотрицательного — Е и частноотрицательного — О) по три, то получается всех возможных вариантов 64. Но если их проверить правилами силлогизма,то соответствовать им будет всего одиннадцать, а с учетом фигур и того меньше. Вам, любителям логики, я прелагаю провести эту работу самостоятельно. А начнем вместе.
ААА — такой модус удовлетворяет всем правилам силлогизма.
ААI — и этот модус удовлетворяет всем правилам силлогизма
ААЕ — а этот модус не соответствует шестому правилу: «Если одна из посылок отрицательна, то и вывод должен быть отрицательным». Здесь обе посылки положительны. Следовательно, этот модус следует отброс ить.
ААО — по тем же соображениям не может существовать.
Дальше продолжайте сами. После всех переборов с учетом фигур останутся правильными следующие силлогизмы.
По фигуре I правильными оказываются следующие модусы: ААА, ЕАЕ, АII, и ЕIO.
Раньше для запоминания этих модусов гимназистам предлагалось выучить наизусть следующее латинское стихотворение:
Barbara, Celarenr, Darii, Ferio prioris;
Cesare, Camestres, Festino, Baroko sekunda;
Tertia Darapti, Disamis, Datisi, Felapton,
Bokardo, Ferison habet; qvarta insuper addit
Bramantip, Camenes, Dimares, Fesaro, Fresison.
Значение гласных букв вам понятно. Значение согласных объясню позднее.
А теперь приведу примеры модусов силлогизма (не всех!).
Фигура I
Barbara
Celarenr
Darii
Ferio
Фигура II
Cesare
Camestres
Festino
Baroko
Фигура III
Darapti
Felapton
Disamis
Ferison
Фигура IV
Bramantip
Фигура IV малоупотребительна. Поэтому больше не привожу примеров.
Характеристика фигур
Фигура I. Все меньшие посылки всегда утвердительны, а большая — общая. Употребляется, когда нужно показать применение общих положений к частным случаям.
Этот силлогизм называют юридическим, так как по нему строятся приговоры.
Фигура II. В этой фигуре одна из посылок должна быть отрицательной и большая посылка общей. Посредством этой фигуры отвергаются ложные положения.
А так как выводы логики аподиктичны и не вызывают сомнения, преступники пытаются создать впечатление о наличии у них алиби.
Дифференциальная диагностика в медицине тоже проводится по этой фигуре силлогизма.
Хочу подчеркнуть еще раз, что фигура II позволяет отказаться от ложных положений, но истинного знания не дает. Поэтому дифференциальная диагностика поможет определить, каких заболеваний у больного нет, но не поможет ответить на вопрос, чем болен пациент. В следственной практике можно определить, кто из подозреваемых не совершал преступления, но не выявить преступника. Но и это не так мало. Суживается круг предполагаемых болезней в диагностике и подозреваемых при следственных действиях.
Фигура IV не дает общеутвердительных заключений. Применяется, как уже говорилось, редко. Поэтому подробно я ее не рассматриваю.
Сведение фигур силлогизма
Дело в том, что наиболее очевидными и понятными выглядят выводы по фигуре I силлогизма. Поэтому когда возникают сомнения в заключениях, которые проведены по другим фигурам, следует свести их к фигуре I. В названиях модусов заключен код, по которому проводится это сведение.
Возьмем уже известный нам силлогизм:
Модус этого силлогизма ААI. Название в соответствии с латинским стихотворением (опять у нас трудности — латыни мы не учили!), приведенным выше,— Darapti
Ниже приведены правила сведения.
Первая буква показывает, к какому модусу фигуры I следует свести данный силлогизм. Следовательно, этот силлогизм следует свести к модусу Darii.
S показывает, что стоящее перед ним суждение должно подвергнуться простому обращению.
Р показывает, что стоящее перед ним суждение должно подвергнуться обращению через ограничение.
М показывает, что посылки следует переместить, т. е. большую сделать меньшей, а меньшую большей.
К показывает, что следует использовать прием сведения к абсурду.
С большей посылкой никаких операций проводить не нужно. Меньшую посылку следует подвергнуть обращению через ограничение, так как оно стоит перед буквой Р. Тогда суждение «Все киты живут в воде» примет вид «Некоторые живущие в воде животные — киты».
С заключением ничего делать не нужно.
Тогда вновь образованный силлогизм примет следующий вид:
Силлогизм принял вид фигуры I и стал очевидным.
Теперь задание для тех, кто решил серьезно заняться логикой. Поработайте с мыслью в чистом виде. Попробуйте свести все модусы фигур II-IV к фигуре I без подставления конкретных значений. Положите перед собой латинские названия всех модусов.
Перед суждением большой посылки Е стоит буква S. Следовательно, это суждение следует подвергнуть простому обращению. Силлогизм принимает такой вид:
И еще раз вместе: возьмем модус Camestres фигуры II.
Буква М перед А показывает, что большую посылку следует сделать меньшей, а меньшую большей. Буква S перед меньшей посылкой показывает, что ее надо подвергнуть простому обращению. Тогда силлогизм приобретает следующий вид:
Силлогизм принял вид фигуры I и стал очевидным. А перед заключением стоит буква S. Следовательно, его надо подвергнуть простому обращению. Заключение принимает вид: «Ни одно S не есть Р».
Ну, а дальше сами. Чем вы хуже гимназистов начала XX века?
Читайте также:
Книги и аудиозаписи по теме:
Что такое модус умозаключения в логике
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→q | p→q | p→q | p→q |
p | q | ¬p | ¬q |
q | p | ¬q | ¬p |
дПУФПЧЕТОЩЕ НПДХУЩ
нПДХУ РПОЕОУ (ТБУУХЦДЕОЙЕ ЙДЕФ ПФ ХФЧЕТЦДЕОЙС ПУОПЧБОЙС Л ХФЧЕТЦДЕОЙА УМЕДУФЧЙС):
p→q | еУМЙ Ч ЙНРЕТЙСИ ОБЮЙОБЕФ ТХЫЙФШУС УЕНШС, ФП ПОЙ ПВТБЭБАФУС Ч РТБИ. |
p | ч тЙНУЛПК ЙНРЕТЙЙ ОБЮБМБ ТХЫЙФШУС УЕНШС. |
q | пОБ ПВТБФЙМБУШ Ч РТБИ. |
нПДХУ ФПММЕОУ (ТБУУХЦДЕОЙЕ ЙДЕФ ПФ ПФТЙГБОЙС УМЕДУФЧЙС Л ПФТЙГБОЙА ПУОПЧБОЙС):
p→q | еУМЙ РПДЗПФПЧМАУШ, ФП УДБН ЬЛЪБНЕО. |
¬q | ьЛЪБНЕО С ОЕ УДБМ |
¬p | с ОЕ РПДЗПФПЧЙМУС. |
рТБЧДПРПДПВОЩЕ (ОЕРТБЧЙМШОЩЕ НПДХУЩ):
дБООЩЕ НПДХУЩ ОЕ РПЪЧПМСАФ ХУФБОПЧЙФШ ЗМБЧОХА РТЙЮЙОХ УМЕДУФЧЙС Й РПЬФПНХ ДБАФ МЙЫШ РТБЧДПРПДПВОЩЕ ЪБЛМАЮЕОЙС.
(1) ХФЧЕТЦДБАЭЕ-ПФТЙГБАЭЙК (modus ponendo tollens)
pvq | мЙВП РБО, МЙВП РТПРБМ. |
p | рБО. |
¬q | оЕ РТПРБМ. |
(2) ПФТЙГБАЭЕ-ХФЧЕТЦДБАЭЙК (modus tollendo ponens)
pvq | мЙВП РБО, МЙВП РТПРБМ. |
¬p | оЕ РБО |
q | рТПРБМ. |
рТБЧЙМБ:
1) Ч ДЙЪЯАОЛФЙЧОЩИ РПУЩМЛБИ ДПМЦОЩ ВЩФШ РЕТЕЮЙУМЕОЩ ЧУЕ ЮМЕОЩ ДЙЪЯАОЛГЙЙ (ДЕМЕОЙС);
2) ЮМЕОЩ ДЕМЕОЙС ДПМЦОЩ ЙУЛМАЮБФШ ДТХЗ ДТХЗБ (УФТПЗБС ДЙЪЯАОЛГЙС).
5. йОДХЛФЙЧОЩЕ ХНПЪБЛМАЮЕОЙС Й БОБМПЗЙЙ.
ч ПУОПЧЕ ТБУУХЦДЕОЙС РП БОБМПЗЙЙ МЕЦЙФ УИПДУФЧП НЕЦДХ РТЕДНЕФБНЙ. уФЕРЕОШ ДПУФПЧЕТОПУФЙ ФБЛПЗП ЧЩЧПДБ ЪБЧЙУЙФ ЛБЛ ПФ ЮЙУМБ УИПДОЩИ РТЙЪОБЛПЧ (ЮЕН ВПМШЫЕ, ФЕН МХЮЫЕ), ФБЛ Й ПФ ЙИ УХЭЕУФЧЕООПУФЙ (ЮЕН УХЭЕУФЧЕООЕЕ РТЙЪОБЛ, ФЕН ЧЕТПСФОЕЕ РТБЧЙМШОЩК ЧЩЧПД).