First Degree Entailment, Symmetry and Paradox

February 2017

“First Degree Entailment, Symmetry and Paradox,” Logic and Logical Philosophy, 26:1 (2017), 3-18

doi:10.12775/LLP.2016.028

Here is a puzzle, which I learned from Terence Parsons in his paper “True Contradictions”. First Degree Entailment (FDE) is a logic which allows for truth value gaps as well as truth value gluts. If you are agnostic between assigning paradoxical sentences gaps and gluts (and there seems to be no very good reason to prefer gaps over gluts or gluts over gaps if you are happy with FDE), then this looks no different, in effect, from assigning them a gap value? After all, on both views you end up with a theory that doesn’t commit you to the paradoxical sentence or its negation. How is the FDE theory any different from the theory with gaps alone?

In this paper, I will present a clear answer to this puzzle—an answer that explains how being agnostic between gaps and gluts is a genuinely different position than admitting gaps alone, by using the formal notion of a bi-theory, and showing that while such positions might agree on what is to be accepted, they differ on what is to be rejected.

---

 download pdf

You are welcome to download and read this paper. I welcome any feedback you'd like to share. Please check the final published version if you wish to cite it. Thanks.

← Earlier / Archive / Later →