Паранепротиворечивая логика
Доклад, 18 Декабря 2014, автор: пользователь скрыл имя
Описание работы
ПАРАНЕПРОТИВОРЕЧИВАЯ логика (греч. παρά – возле, вне) – класс логических исчислений, в которых логический принцип «из противоречия следует все, что угодно», не имеет места. Термин «паранепротиворечивая логика» введен в 1976 перуанским философом Ф.Миро-Квисада.