что такое силлогизм в логике кратко

10. Краткий курс логики. Умозаключение

Умозаключение – это форма мышления, в которой из двух суждений, называемых посылками, вытекает третье – вывод.
1. Посылка: «Все люди – смертны».
2. Посылка: «Сократ – человек»
Ввод: «Сократ – смертный».

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

Существуют такие виды опосредованных умозаключений, их еще называют методами мышления:

Дедуктивный метод (Силлогизм) – метод при котором вывод о частном делается из общей совокупности вещей, о которых говориться в посылках. Проще говоря – вывод от общего к частному. К примеру:
1 посылка: «В группе 311 все студенты отличники».
2 посылка: «Этот ученик из 311 группы»
Вывод: «Этот ученик – отличник».
Еще пример:
1 посылка: «В этом ящике все шарики красные»
2 посылка: «Этот шарик их этого ящика»
Вывод: «Этот шарик красный».

Преимущество дедуктивного метода заключается в том, что при правильном использовании всегда дает точные выводы. Важно понимать, что все посылки входящие в силлогизм должны быть истинными, ложность хотя бы одной из них, ведет к ложности вывода. В принципе кто знаком с произведениями Артура Конана Дойля, должен был слышать о дедуктивном способе мышления. Его использовал Шерлок Холмс, в одном из произведений он приводит пример своего дедуктивного умозаключения Ватсону. Около жертвы преступления было найдена выкуренная сигарета, все решили, что сигарету выкурил полковник перед смертью. Однако у покойного были большие пышные усы, а сигарета была докуренная полностью. Шерлок Холм берется доказывать, что полковник не мог курить эту сигарету, так как он непременно бы подпалил бы себе усы. Вывод дедуктивный и верный, так как из общего правила вытекает частное.
Общее правило и первая посылка, выглядит так: «Все люди, которые носят большие, пышные усы не могут выкурить сигарету до конца»
Событие или вторая посылка выглядит так: «Полковник носил большие, пышные усы».
Вывод: «Полковник не мог выкурить сигарету до конца»

Индукция – метод, при котором вывод об общем делается из совокупности частных случаев. Проще говоря – это вывод от частного к общему. И пример тому:
1 посылка: «Первый, второй и третий студент – отличники».
2 посылка: «Эти студенты из 311 группы».
Вывод: «Все студенты в 311 группе – отличники».

1 посылка: ««Этот шарик красный».
2 посылка: «Этот шарик их этого ящика».
Вывод: «В этом ящике все шарики красные»

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

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

Я с некоторыми другими логиками выделяю еще такой вид умозаключения как Абдукция. Абдукция – это вид умозаключения, при котором на основе общего, делается вывод о причине частного, проще говоря – это вывод от общего к причине частного.
Я считаю, на отмену от общепринятого мнения, что именно этот вид умозаключений использовал на самом деле Шерлок Холмс, а так же другие реальные и не реальные детективы.
Чтобы понять, в чем заключается суть Абдукции, ее лучше рассматривать в сравнении с другими видами умозаключения.

А: «В этом ящике все шарики красные»
Б: «Этот шарик их этого ящика»
В: «Этот шарик красный».
Как видим с помощью дедукции – мы узнали результат, теперь переделаем рассуждения под индукцию:

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

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

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

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

2. Средний термин должен быть распределён хотя бы в одной из посылок. Средний термин – это термин, который является базисом рассуждения и находиться в каждой из посылок.
Все хищные животные (+) – живые существа (-)
Все хомяки (+) – живые существа (-).
Все хомяки – хищные животные.
Средним термином является «живые существа». В обоих посылках его объем не распределён. В первой посылке оно не распределено, потому, что живые существа – это не только хищные животные. А во втором, потому, что живые существа – это не только все хомяки. Соответственно вывод в данном суждении не верный.
Еще один пример, который недавно прочел в одном журнале:
Все старые фильмы (+) – черно белые (-)
Все пингвины (+) – черно белые (-).
Пингвины – это старые фильмы.
Средний термин, то есть термин, который встречается в двух посылках – «черно белый». Как в первом, так и во втором суждении он не распределён, ведь черно белыми могут быть не только все старые фильмы или все пингвины.

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

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

6.Если в силлогизме одна посылка отрицательная, то и вывод будет отрицательным.

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

Силлогизм – самый распространённый вид умозаключений, потому, мы часто используем его в повседневной жизни и науке. Однако мы редко соблюдаем его логическую форму, и пользуемся сокращенными силлогизмами. К примеру: «Сократ смертный, потому, что все люди смертные». «Этот шарик красный, потому, что его взяли из ящика, в котором все шарики красные». «Железо – электропроводно, так как все металлы электропроводны» и т.д.

Различают такие виды сокращенного силлогизма:
Энтимема – это сокращенный силлогизм, в котором пропущена одна из посылок или вывод. Понятно, что из простого силлогизма можно вывести три энтимемы. К примеру, из простого силлогизма:
Все металлы – электропроводные.
Железо – это метал.
Железо – электропроводно.
Можно вывести три энтимемы:
1. «Железо – электропроводно так как оно является металлом». (пропущена первая посылка)
2. «Железо – электропроводно потому, что все металлы электропроводны». (пропущена вторая посылка)
3. «Все металлы электропроводны, а железо тоже метал». (пропущен вывод)

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

Силлогизм №1.
Все то, что ограничивает человеческую свободу, делает его рабом.
Социальная необходимость ограничивает человеческую свободу
Социальная необходимость делает человека рабом.

Первая энтимема, если пропустить первую посылку будет выгладить так:
«Социальная необходимость делает человека рабом, потому, что ограничивает человеческую свободу.
Силлогизм №2.
Все действия, которые дают возможность существовать в социуме – являются социальной необходимостью.
Работа – это действие, которое дает возможность существовать в социуме.
Работа – это социальная необходимость.
Вторая энтимема, если пропустить первую посылку: «Работа – это социальная необходимость, так как является действием, которое дает возможность существовать в социуме».

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

Не исключено, что именно в таком порядке рассуждал Ницше говоря: «Мы видим, к чему сводится жизнь в обществе — каждый отдельный индивид приносится в жертву и служит орудием. Пройдите по улице, и вы увидите только «рабов». Куда? Зачем?»

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

Источник

Что такое силлогизм: описание и виды

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

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

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

Суть силлогизма

Итак, что такое силлогизм или умозаключение и какова его структура? Структура состоит из посылок (суждений), нового суждения (заключения) и логического умозаключения между посылками и заключением. Логические правила, с помощью которых появляется заключение, указывают на логическую взаимосвязь. Говоря иначе, какое-либо умозаключение состоит из сложных или простых суждений, оснащающие мозг новыми знаниями. Данные суждения в случае, когда признаются истинными и рождают новое, обобщают умозаключение.

Суждение же, которое получено с помощью обработки посылок, когда поработали методы силлогизма, называется выводом (логическим следствием или заключением). Рассмотрим, каким образом связаны между собой суждение и умозаключение. Формальная логика определяет правила, которые обеспечивают истинный вывод. Как выводится умозаключение?

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

Три типа умозаключений

Разделение на типы проводится после определения степени общности суждений:

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

Примеры извлечения умозаключения

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

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

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

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

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

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

Категорическое умозаключение

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

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

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

Условно-категорический силлогизм

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

Разделительный силлогизм

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

Условно-разделительный силлогизм

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

Зачем необходимо понятие, суждение, умозаключение?

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

Понятие

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

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

Суждение

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

Явление умозаключения

Свойственная для людей способность к умозаключениям – это особый мыслительный акт, при котором из суждений можно вывести новую предпосылку о предметах и событиях. Без данной способности нельзя было бы познавать мир. Продолжительное время невозможно было увидеть нашу планету со стороны, но и в этом случае человечество пришло к умозаключению, что наша планета круглая. Смогла помочь правильная связь истинных посылок: Земля во время затмений на Луну накладывает круглую тень; шарообразные предметы дают тень в виде круга; Земля имеет круглую форму. Заключение по аналогии!

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

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

Источник

Что такое силлогизм в логике кратко

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-ЕК ЖЙЗХТЕ: оЙ ПДЙО ТЕВЕОПЛ ОЕ ЙНЕЕФ РТЕУФХРОЩИ ОБЛМПООПУФЕК. лБЦДЩК ТЕВЕОПЛ СЧМСЕФУС ЮЕМПЧЕЛПН. уМЕДПЧБФЕМШОП, ОЕЛПФПТЩЕ МАДЙ ОЕ ЙНЕАФ РТЕУФХРОЩИ ОБЛМПООПУФЕК)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Источник