Неправильные модусы

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

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

Виды разделительных силлогизмов

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

Собственно разделительные умозаключения содержат в качестве посылок и заключения одни только разделительные суждения. Чаще всего они встречаются в обычных классификациях. Их понимание не вызовет большого затруднения. Скажем, одной из посылок такого умозаключения могло бы послужить высказывание: " Философские системы делятся на материалистические и идеалистические". Другая посылка может просто добавить: " Идеалистические системы бывают или субъективно-идеалистические, или же они могут быть объективно-идеалистическими". Тогда общий вывод перечислит все полученные разновидности: " Философские системы бывают или материалистические, или субъективно-идеалистические, или объективно-идеалистические".

Разделительно-категорические умозаключения содержат наряду с разделительной еще и категорическую посылку. Заключение в них тоже выражается категорическим суждением. У этого вида умозаключения два правильных модуса. Первый модус называется tollendo ponens (отрицающе-утверждающим):

Деревья бывают лиственные или хвойные. a \/ b.

Ель не относится к лиственным деревьям. -a.

Ель - хвойное дерево. b.

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