|DLEAC and the Rejection Paradox|
Assertion and Proof special issue
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.