We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC.
- Authors
RESTALL, GREG
- Abstract
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.
- Subjects
CALCULUS; LOGIC; PREDICATE calculus; CONJUNCTIONS (Grammar); QUANTIFIERS (Linguistics)
- Publication
Review of Symbolic Logic, 2019, Vol 12, Issue 1, p1
- ISSN
1755-0203
- Publication type
Article
- DOI
10.1017/S175502031800031X