Основы логики: понятия по объему и умозаключения

Отношениями равнозначности, пересечения и подчинения исчерпываются все случаи совместимости между понятиями.

Несовместимые понятия могут быть в отношениях соподчинения, противоположности и противоречия.

Понятия находятся в отношении соподчинения тогда, когда их объёмы не имеют общих элементов, но в то же время входят в объём какого-то третьего понятия, родового для них (совместно ему подчиняются). Например, понятия «сосна» (С) и «берёза» (Б) являются соподчинёнными: ни одна сосна не может быть берёзой, и наоборот, но и множество всех сосен, и множество всех берёз включается в более широкий объём понятия «дерево» (Д). На схеме Эйлера отношение соподчинения изображается двумя несоприкасающимися кругами (рис. 4).

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

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

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

Отношениями соподчинения, противоположности и противоречия исчерпываются все случаи несовместимости между понятиями.

2. Условно-разделительное умозаключение как форма мышления

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

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

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

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

Каждое A есть либо B, либо C;

Если A есть B, то A есть D;

Если A есть C, то A есть D;

Следовательно, A есть D.

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

Если A есть B, то A есть D;

Если A есть B, то A есть F;

Но A не есть D, либо A не есть F;

Следовательно, A не есть B.

Сложный (конструктивный) modus ponens представляет собой условно-разделительное умозаключение, посылки которого являются положительными условными и разделительными суждениями, вывод — разделительным суждением, а в меньшей посылке утверждается консеквент.

Если A есть B, то C есть D;

Если E есть F, то G есть H;

Но либо A есть B; либо E есть F;

Следовательно, или C есть D, или G есть H.

Сложный (деструктивный) modus tollens представляет собой условно-разделительное умозаключение, большая посылка которого (разделительное суждение) является отрицательным суждением, меньшие посылки являются положительными суждениями, а меньшая посылка и вывод отрицают антецедент.

Если A есть B, то C есть D;

Статьи по теме:

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

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

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