Aspects of analytic deduction

Journal of Philosophical Logic 25 (6):581-596 (1996)
Let ⊢ be the ordinary deduction relation of classical first-order logic. We provide an "analytic" subrelation ⊢a of ⊢ which for propositional logic is defined by the usual "containment" criterion Γ ⊢a φ iff Γ⊢φ and Atom ⊆ Atom, whereas for predicate logic, ⊢a is defined by the extended criterion Γ⊢aφ iff Γ⊢aφ and Atom ⊆' Atom, where Atom ⊆' Atom means that every atomic formula occurring in φ "essentially occurs" also in Γ. If Γ, φ are quantifier-free, then the notions "occurs" and "essentially occurs" for atoms between Γ and φ coincide. If ⊢ is formalized by Gentzen's calculus of sequents, then we show that ⊢a is axiomatizable by a proper fragment of analytic inference rules. This is mainly due to cut elimination. By "analytic inference rule " we understand here a rule r such that, if the sequent over the line is analytic, then so is the sequent under the line. We also discuss the notion of semantic relevance as contrasted to the previous syntactic one. We show that when introducing semantic sequents as axioms, i.e. when extending the pure logical axioms and rules by mathematical ones, the property of syntactic relevance is lost, since cut elimination no longer holds. We conclude that no purely syntactic notion of analytic deduction can ever replace successfully the complex semantico-syntactic deduction we already possess.
Keywords analytic inference rule  analytic deduction  Gentzen sequent calculus  cut-free proof
Categories (categorize this paper)
DOI 10.1007/BF00265254
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,727
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Free Choiceness and Non-Individuation.Jacques Jayez & Lucia M. Tovena - 2005 - Linguistics and Philosophy 28 (1):1 - 71.

Add more citations

Similar books and articles
Local Deductions Theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Relevant Deduction.Gerhard Schurz - 1991 - Erkenntnis 35 (1-3):391 - 437.
Analytic Natural Deduction.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (2):123-139.
Algebraic Aspects of Deduction Theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Added to PP index

Total downloads
18 ( #279,788 of 2,197,335 )

Recent downloads (6 months)
1 ( #298,877 of 2,197,335 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature