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

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

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