Логика в вопросах и ответах

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

Отношение транзитивности символически записывается так:

(аRв ^ вRс) -> аRс.

Дедуктивные умозаключения (выводы из сложных суждений)

Чисто условное умозаключение — это умозаключение, обе посылки и заключение которого являются условными суждениями. Например: если средства производства находятся в руках всего общества (а), то члены общества находятся в равном отношении к средствам производства (в).

Если члены общества находятся в равном отношении к средствам производства (в), то между ними устанавливаются отношения сотрудничества и взаимопомощи (с).

Если средства производства находятся в руках всего общества (а), то между членами общества устанавливаются отношения сотрудничества и взаимопомощи (с).

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

Схема чисто условного умозаключения:

Если а, то в,

Если в, то с.

Если а, то с.

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

Следствие следствия есть следствие основания.

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

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

1) модус утверждающий:

Если по проводнику идет ток, то проводник нагревается.

По проводнику идет ток.

Следовательно, проводник нагревается.

2) Модус отрицающий:

Если по проводнику идет ток, то проводник нагревается.

Проводник не нагревается.

Следовательно, по нему ток не идет.

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

Отрицание основания не ведет с необходимостью к отрицанию следствия, и утверждение следствия не ведет с необходимостью к утверждению основания. Например:

3) если по проводнику идет ток (а), то проводник нагревается (в):

По проводнику не идет ток (не-а).

Следовательно, проводник не нагревается (не-в).

4) Если по проводнику идет ток (а), то проводник нагревается (в):

Проводник нагревается (в).

Следовательно, по проводнику идет ток (а).

В нашей условной посылке в первом случае при наличии основания («Если по проводнику идет ток») утверждается наличие следствия («то проводник нагревается»), в категорической посылке подтверждается наличие основания, поэтому в заключении мы уверенно утверждаем наличие следствия.

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

Разделительно-категорическое умозаключение – это такое, в котором одна из посылок – суждение разделительное, а другая – суждение категорическое Например:

Треугольники бывают либо тупоугольными, либо остроугольными, либо прямоугольными.

Данный треугольник – тупоугольный.

Следовательно, данный треугольник не является ни прямоугольным, ни остроугольным.