Towards a More General Concept of Inference

Logica Universalis 8 (1):61-81 (2014)

Ivo Pezlar
Czech Academy of Sciences, Institute of Philosophy
The main objective of this paper is to sketch unifying conceptual and formal framework for inference that is able to explain various proof techniques without implicitly changing the underlying notion of inference rules. We base this framework upon the so-called two-dimensional, i.e., deduction to deduction, account of inference introduced by Tichý in his seminal work The Foundation’s of Frege’s Logic (1988). Consequently, it will be argued that sequent calculus provides suitable basis for such general concept of inference and therefore should not be seen just as technical tool, but philosophically well-founded system that can rival natural deduction in terms of its “naturalness”
Keywords Proof theory  inference  two-dimensional inference  inference rule  natural deduction  sequent calculus  Tichý  Frege
Categories (categorize this paper)
DOI 10.1007/s11787-014-0095-3
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,149
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.
The Collected Papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam: North-Holland Pub. Co..

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Aspects of Analytic Deduction.Athanassios Tzouvaras - 1996 - Journal of Philosophical Logic 25 (6):581-596.
Deflationism and Logic.Christopher Gauker - 1999 - Facta Philosophica (1):167-199.
What is an Inference Rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.
Meaning and Dialogue Coherence: A Proof-Theoretic Investigation.Paul Piwek - 2007 - Journal of Logic, Language and Information 16 (4):403-421.
Measurement as Inference: FundamentalIdeas.Tyler Estler - 1999 - CIRP Annals - Manufacturing Technology 48 (2):611-631.
A 'Natural Logic' Inference System Using the Lambek Calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.


Added to PP index

Total views
45 ( #200,459 of 2,289,434 )

Recent downloads (6 months)
6 ( #186,585 of 2,289,434 )

How can I increase my downloads?


My notes

Sign in to use this feature