Подробности

    ЦифроМахЛогикаСущность → Чисто условное умозаключение

    Чисто условное умозаключение

    отрицание отрицания

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

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

    (р -» q) ^ (q -> г) р->г

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

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

    В – 31

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

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

    Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

    1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;

    рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

    2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

    Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.



  • Метод сходства

    ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО: два суждения, противоречащих друг другу в одном месте, в одно время об одном предмете, не могут быть одновременно истинными или одновременно ложными

     
  • Источник: http://www.bestreferat.ru