Паранепротиворечивая логика

Автор работы: Пользователь скрыл имя, 18 Декабря 2014 в 00:22, доклад

Описание работы

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