(лат. modus tollens) - термин средневековой логики, обозначающий следующую схему рассуждения: Здесь A и В — некоторые высказывания; «если А, то В» и «неверно, что В» («не-В») - посылки; «неверно, что A» («не-A») — заключе- ние; горизонтальная черта стоит вместо слова «следовательно». Другая запись: Если А, то В. Не-В. Следовательно, не-А. Посредством этой схемы от утверждения условного высказывания и отрицания его следствия (консеквента) осуществляется переход к отрицанию основания (антецедента) данного высказывания. Напр.:
Если Вы искали другое значение слова/фразы Модус Толленс, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Модус Толленс ищут определения этих слов:
Несобственные Символы — см.: Символы собственные и несобственные. НЕТОЧНОСТЬ — характеристика употребления термина (понятия), обозначающего недостаточно определенный или нечетко очерченный класс объектов. Употребление понятия, его интерпретация предполагает знание его...
Независимость — (в логике и математике) — невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других...
Недоказанное Основание Доказательства — - логическая ошибка, заключающаяся в том, что в число аргументов доказательства включается положение, которое само нуждается в доказательстве (см.: Предвосхищение основания).
Не Вытекает, Не Следует — (лат. поп sequitur) — логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом отсутствует логическая связь, вследствие чего аргументы не обосновывают истинности доказываемого...
Необходимые И Достаточные Условия — (в логике и математике) - условия, устанавливающие зависимость истинности к.-л. утверждения А от наличия условий, фиксируемых в другом утверждении Я Необходимыми условиями истинности утверждения А называются условия, без соблюдения которых...
Методология Науки — - часть науковедения, исследующая структуру научного знания, средства и методы научного познания, способы обоснования и развития знания. Систематическое решение методологических проблем дается в методологической концепции, которая создается на базе...
Необходимые И Достаточные Условия — (в логике и математике) - условия, устанавливающие зависимость истинности к.-л. утверждения А от наличия условий, фиксируемых в другом утверждении Я Необходимыми условиями истинности утверждения А называются условия, без соблюдения которых...
Модус Поненс — (лат. modus ponens) — термин средневековой логики, обозначающий правило вывода и соответствующий ему логический закон. Правило вывода М. п., обычно называемое правилом отделения (иногда гипотетическим силлогизмом), позволяет от утверждения...
Многозначность — — характеристика выражения, имеющего в разных контекстах разное значение. Напр., слово «закон» может означать как регулярность, имеющую место в природе или обществе, так и утверждение о такой регулярности, сформулированное в языке науки. С М....
Не Вытекает, Не Следует — (лат. поп sequitur) — логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом отсутствует логическая связь, вследствие чего аргументы не обосновывают истинности доказываемого...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
