Неклассическая Логика

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

(в логике и математике) — невыводимость предложения некоторой теории из данного множества ее предло­жений, напр. Из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других аксиом. Если какую-то аксиому можно вывести из остальных, ее можно исключить из списка ак­сиом, при этом исходная теория не изменится, класс доказуемых в ней предложений останется тем же.  . Зависимая система аксиом содержит лишние аксиомы и в этом см..

(логическая) — одна из модальных характе­ристик высказывания (наряду с «возможностью», «случайностью» и «независимостью»). Необходимым является высказывание, от­рицание которого логически невозможно. Обычно говорят, что высказывание логически необходимо, если его истинность может быть установлена независимо от опыта или на чисто логических основаниях. Н. Логическая является, таким образом, более сильным видом истины, чем случайная, или фак­тическая, истинность. Напр., высказывание «Снег бел» фак..

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