Generality and Existence 1: Quantification and free logic

Greg Restall*

*Corresponding author for this work

Research output: Contribution to journalReview articlepeer-review

6 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)1-29
Number of pages29
JournalReview of Symbolic Logic
Issue number1
Publication statusPublished - 1 Mar 2019


Dive into the research topics of 'Generality and Existence 1: Quantification and free logic'. Together they form a unique fingerprint.

Cite this