TY - JOUR
T1 - First degree entailment, symmetry and paradox
AU - Restall, Greg
N1 - Funding Information:
Acknowledgments. Thanks to Jc Beall, Rohan French and Shawn Standefer and an anonymous referee for discussions and feedback on the topics here. This research is supported by the Australian Research Council, through Grant dp150103801.
Publisher Copyright:
© 2016 by Nicolaus Copernicus University
PY - 2017/3
Y1 - 2017/3
N2 - Here is a puzzle, which I learned from Terence Parsons in his “True Contradictions” [8]. 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’re 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.
AB - Here is a puzzle, which I learned from Terence Parsons in his “True Contradictions” [8]. 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’re 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.
KW - First degree entailment
KW - Models
KW - Paradox
KW - Symmetry
KW - Theories
UR - http://www.scopus.com/inward/record.url?scp=85029586669&partnerID=8YFLogxK
U2 - 10.12775/LLP.2016.028
DO - 10.12775/LLP.2016.028
M3 - Article
AN - SCOPUS:85029586669
SN - 1425-3305
VL - 26
SP - 3
EP - 18
JO - Logic and Logical Philosophy
JF - Logic and Logical Philosophy
IS - 1
ER -