Читать «Логика в вопросах и ответах» онлайн - страница 30
Николай Андреевич Лучков
Отношение рефлексивности символически записывается так:
аRв → аRа ^ вRв.
Отношение транзитивности символически записывается так:
(аRв ^ вRс) → аRс.
Дедуктивные умозаключения (выводы из сложных суждений)
Чисто условное умозаключение — это умозаключение, обе посылки и заключение которого являются условными суждениями. Например: если средства производства находятся в руках всего общества (а), то члены общества находятся в равном отношении к средствам производства (в).
Если члены общества находятся в равном отношении к средствам производства (в), то между ними устанавливаются отношения сотрудничества и взаимопомощи (с).
Если средства производства находятся в руках всего общества (а), то между членами общества устанавливаются отношения сотрудничества и взаимопомощи (с).
В приведенном примере обе посылки – условные суждения, причем основанием второй посылки является следствие первой (в), из которого, в свою очередь, вытекает некоторое следствие (с). Общая часть двух посылок (в) позволяет связать основание первой (а) и следствие второй (с). Поэтому заключение также выражается в форме условного суждения.
Если а, то в,
Если в, то с.
Вывод в чисто условном умозаключении основывается на правиле:
Следствие следствия есть следствие основания.
Условно-категорическое умозаключение — умозаключение, одна из посылок которого является условным суждением, другая – простым категорическим суждением.
Условно-категорические умозаключение имеет только два правильных модуса, или вида: модус утверждающий и модус отрицательный. Например:
1) модус утверждающий:
Если по проводнику идет ток, то проводник нагревается.
По проводнику идет ток.
2) Модус отрицающий:
Если по проводнику идет ток, то проводник нагревается.
Проводник не нагревается.
Следует отметить, что два других модуса достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу:
Отрицание основания не ведет с необходимостью к отрицанию следствия, и утверждение следствия не ведет с необходимостью к утверждению основания. Например: