Generality and Existence 1: Quantification and free logic

Greg Restall*

*Corresponding author for this work

Research output: Contribution to journalReview articlepeer-review

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.

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

Fingerprint

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

Cite this