УМОЗАКЛЮЧЕНИЯ ПРЯМЫЕ

УМОЗАКЛЮЧЕНИЯ ПРЯМЫЕ – умозаключения, в которых заключение выводится из некоторого множества высказываний-посылок. Обычно выделяют четыре вида прямых умозаключений (в основном – двухпосылочных):

чисто условные умозаключения;

условно-категорические умозаключения;

разделительно-категорические умозаключения;

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

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

Пример условного умозаключения: «Если студент хорошо занимается в течение семестра, то он хорошо сдает сессию. Если студент хорошо сдает сессию, то он получает стипендию. Следовательно, если студент хорошо занимается в течение семестра, то он получает стипендию».

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

В традиции, идущей от средневековой логики, это умозаключение называлось modus ponens, что означает «утверждающий способ рассуждения». Умозаключения этого типа являются весьма простыми и на примерах выглядят тривиально. Например: «Если каждый день пить кофе, то в голову придет хорошая идея. Этот человек каждый день пьет кофе. Следовательно, ему рано или поздно в голову придет хорошая идея».

Более интересен второй тип условно-разделительных умозаключений, называемый modus tollens (отрицающий способ рассуждений) схему которого можно изобразить следующим образом:

Здесь символ Ш используется для записи логического союза «неверно, что …» (отрицание). Пример подобного умозаключения можно обнаружить, например, у Августина Блаженного, когда он пишет «если кто-нибудь из избранных погибает, то Бог ошибается, но никто из избранных не погибает, ибо Бог не ошибается».

Часто совершаемые ошибки при использовании условно-разделительных умозаключений заключаются в использовании следующих неправильных способов рассуждений:

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

Некий следователь рассуждал: «Если этот человек преступник, то он был на месте преступления. Этот человек был на месте преступления. Следовательно, этот человек преступник».

Умозаключение, которым часто пользуются врачи: «Если у человека повышена температура, то он болен. У этого человека температура не повышена. Следовательно, он не болен».

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

Они получили название modus tollendo ponens, что означает «отрицающе-утверждающий способ рассуждения». Пример подобного умозаключения выглядит следующим образом: «Этот человек заблуждается сам или сознательно вводит в заблуждение других. Но сам этот человек не заблуждается. Следовательно, он сознательно вводит в заблуждение других».

Вместе с тем не относятся к числу корректных следующие разделительно-категорические умозаключения: