TY - JOUR
T1 - Generality and Existence 1
T2 - Quantification and free logic
AU - Restall, Greg
N1 - Publisher Copyright:
© Copyright 2018 Association for Symbolic Logic.
PY - 2019/3/1
Y1 - 2019/3/1
N2 - In this paper, I motivate a cut free sequent calculus for classical logic with first order quantification, allowing for singular terms free of existential import. Along the way, I motivate a criterion for rules designed to answer Prior's question about what distinguishes rules for logical concepts, like conjunction from apparently similar rules for putative concepts like Prior's Tonk, and I show that the rules for the quantifiers-and the existence predicate-satisfy that condition.
AB - In this paper, I motivate a cut free sequent calculus for classical logic with first order quantification, allowing for singular terms free of existential import. Along the way, I motivate a criterion for rules designed to answer Prior's question about what distinguishes rules for logical concepts, like conjunction from apparently similar rules for putative concepts like Prior's Tonk, and I show that the rules for the quantifiers-and the existence predicate-satisfy that condition.
UR - http://www.scopus.com/inward/record.url?scp=85062664528&partnerID=8YFLogxK
U2 - 10.1017/S175502031800031X
DO - 10.1017/S175502031800031X
M3 - Review article
AN - SCOPUS:85062664528
SN - 1755-0203
VL - 12
SP - 1
EP - 29
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
IS - 1
ER -