| DLEAC and the Rejection Paradox
Assertion and Proof special issue
Massimiliano Carrara
In this paper I first develop a Dialetheic Logic with Exclusive Assumptions and Conclusions, DLEAC. I adopt the semantics of the logic of paradox (LP) extended with a notion of model suitable for DLEAC, and I modify its proof theory by refining the notions of assumption and conclusion, which are understood as speech acts. I introduce a new paradox – the rejectability paradox – first informally, then formally. I then provide its derivation in an extension of DLEAC contanining the rejectability predicate.
|