Паранепротиворечивая логика
Материал из Википедии — свободной encyclopedia
Паранепротиворечивая логика — стремление формальной системы к решению проблемы противоречий, с помощью метода дифференциации. Представляет собой область, занимающуюся изучением и развитием «устойчивым к противоречиям» систем, исключающих принцип взрыва.
Логики, допускающие несогласованность, обсуждаются по крайней мере с 1910 года, а возможно, и гораздо более раннего времени, например, в трудах Аристотеля[1], однако термин paraconsistent — «паранепротиворечивость» был впервые предложен в 1976 году перуанским философом Франсиско Миро Кесада Кантуариасом[англ.][2]. Изучение паранепротиворечивой логики получило название парапротиворечивости[3], в рамках которой существует направление диалетеизма.