logica paraconsistente Claudio Pizzi Termine coniato dal filosofo peruviano Francisco Mirò Quesada con cui si indica qualsiasi logica in cui non compare il cosiddetto principio di esplosione A∧←A⊦B, [...] del sillogismo A∨B, ←A⊦B, quella ⊦B →A e quella di doppia negazione ←←A ⊦A. Le applicazioni della logica paraconsistente sono varie: di particolare interesse la trattazione delle antinomie e dei fondamenti della matematica (per la quale è stata ... Leggi Tutto