Неправильное Умозаключение

Вывод, основанный на (вольной или невольной) логической ошибке. Напр. «то, что ты не потерял, ты имеешь. Ты не потерял рогов, следовательно, ты их имеешь». См. Также Софизм.. ..

(в логике и мате­матике) - условия, устанавливающие зависимость истинности  . К.-л. Утверждения А от наличия условий, фиксируемых в другом утверждении Я Необходимыми условиями истинности ут­верждения А называются условия, без соблюдения которых А не может быть истинным. Достаточными называются такие ус­ловия, при наличии (выполнении, соблюдении) которых утвер­ждение А является истинным. Условия могут быть необходимы­ми, но недостаточными, достаточными, но не необходимыми, необходимыми и дост..

(в традиционной логике) — умозаключение из одной посылки. К числу Н. У. Относят­ся обращение суждений, превращение суждений, противопоставле­ние предикату, некоторые умозаключения по логическому квад­рату, напр. От истинности общих суждений (А и Е) к истинности соответствующих частных суждений (I и О) и др. Иногда Н. У. Ограничиваются умозаключениями из простых ат­рибутивных суждений, иногда же в их число включаются и умо­заключения из суждений с отношениями, и умозаключения из сложных суждений ..

- определение, с помощью которого некоторые объекты вводятся через множества, включа­ющие эти объекты в качестве своих элементов. Напр. «Верхней границей множества действительных чисел называется самое боль­шое число этого множества, т. Е. Число, которое больше любого числа этого множества». В этом определении Dfd («верхняя грани­ца множества действительных чисел»), т. Е. Определяемое, вклю­чается в множество действительных чисел Dfn как самое большое число этого множества — определяющее - и тем..

- свойство предложений некоторой теории (в случае аксиоматической теории — системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отри­цание какого-то предложения может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Не­противоречивость теории означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование Н. Является обязательным требованием к научной и, в частности, логической теории. Противореч..