Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:

А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

[Паранепротиворечивая Логика]
а- логика, не позволяюнщая выводить из противоречия произвольное предложение. В логике классической некоторая теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание. Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной. П. л. трактует противоречие иначе, чем классическая логика. Иснключается возможность выводить из противоречий любые предлонжения, противоречие перестает быть угрозой разрушения теории. Этим не устраняется, конечно, принципиальная необходимость избавнляться от противоречий в ходе дальнейшего развития теории. Такой подход к противоречию сложился относительно недавно. В конце 40-х годов польским логиком С. Яськовским (1906Ч1965) была построена ллогика дискуссии

Вернуться в раздел Эзотерические и восточные энциклопедии.