Abstract
Let ⊢ be the ordinary deduction relation of classical first-order logic. We provide an “analytic” subrelation ⊢3 of ⊢ which for propositional logic is defined by the usual “containment” criterion
whereas for predicate logic, ⊢a is defined by the extended criterion
where Atom(ϕ) \( \subseteq '\) 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.
Similar content being viewed by others
References
Anderson, A. R. and Belnap, N. D. Jr.: Entailment. The Logic of Relevance and Necessity, Princeton Univ. Press, Princeton, 1975.
Dunn, J. M.: A Modification of Parry's Analytic Implication, Notre Dame Journal of Formal Logic, 13 (1972) pp. 195–205.
Girard, J.-Y.: Proof Theory and Logical Complexity, Vol. I, Bibliopolis, 1987.
Myhill, J.: Constructive Set Theory, J. Symbolic Logic, 40 (1975) pp. 347–382.
Orlowska, E. and Weingartner, P.: Semantic Considerations on Relevance, Reports of the Institute of Computer Science, Polish Academy of Science, Warsaw, 1986, no. 582, 1–16.
Parry, W. T.: Ein Axiomensystem für eine neue Art von Implikation (analytische Implikation), Ergebnisse eines mathematischen Kolloquiums, 4 (1933) pp. 5–6.
Schurz, G.: Relevant Deduction, From Solving Paradoxes Towards a General Theory, Erkenntnis, 35 (1991) pp. 391–437.
Schurz, G.: Relevant deductive inference: Criteria and logics, in: Advances in Scientific Philosophy, Essays in honor of P.Weingartner, G.Schurz and G.Dorn (eds.), Rodopi, Amsterdam, 1991.
Takeuti, G.: Proof Theory, North-Holland, Amsterdam, 1975.
Weingartner, P. and Schurz, G.: Paradoxes Solved by Simple Relevant Criteria, Logic et Analyse, 113 (1986) pp. 3–40.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tzouvaras, A. Aspects of analytic deduction. J Philos Logic 25, 581–596 (1996). https://doi.org/10.1007/BF00265254
Issue Date:
DOI: https://doi.org/10.1007/BF00265254