Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:
АБВГДЗИКЛМНОПРСТУФЦЧЭЮЯ
[Непротиворечивость]
а- свойство предложений некоторой теории (в случае аксиоматической теории Ч системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отринцание какого-то предложения может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Ненпротиворечивость теории означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование Н. является обязательным требованием к научной и, в частности, логической теории. Противоречивая теория завело- мо несовершенна: наряду с истинными положениями она вклюнчает также ложные, в ней что-то одновременно и доказывается, и опровергается. Во многих теориях имеет место закон Дунса Скота. В этих услонвиях доказуемость противоречия означает, что становится лдоканзуемым