Валерий Вечканов - Логика в вопросах и ответах

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

аRв → вRа.

Отношение рефлексивности . Некоторое отношение, имеющее место среди предметов определенного класса, называется рефлексивным, если каждый предмет этого класса находится в данном отношении к самому себе. Например: рефлексивным является отношение равенства каждого числа самому себе (х = х). Также рефлексивным является отношение тождества мыслей самим себе в процессе правильного рассуждения (А тождественно А).

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

аRв → аRа ^ вRв.

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

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

(аRв ^ вRс) → аRс.

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

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

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

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

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

Если а, то в,

Если в, то с.

Если а, то с.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Войны бывают справедливые или захватнические.

Эта война не является справедливой.

Следовательно, эта война – захватническая.

Здесь от отрицания одного (возможно нескольких) случая мы идем к утверждению оставшихся.

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

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

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

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