Abstract
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”.
Similar content being viewed by others
References
Dummett M.: The Logical Basis of Metaphysics. Duckworth, London (1991)
Euclid: Euclid’s Elements. Richard Fitzpatrick (2007)
Jaśkowski, S.: On the Rules of Suppositions in Formal Logic. Studia Logica. Nakładem Seminarjum Filozoficznego Wydziału Matematyczno-Przyrodniczego Uniwersytetu Warszawskiego (1934)
Girard, J., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge Tracts in Theoretical Computer Science 7. Cambridge University Press, Cambridge (1989)
Prawitz, D.: Natural Deduction: A Proof-theoretical Study. Dover Books on Mathematics Series. Dover Publications, Incorporated (2006)
Tichý, P.: The Foundations of Frege’s Logic. Foundations of Communication. de Gruyter (1988)
Frege, G.: The Foundations of Arithmetic: A Logico-Mathematical Enquiry Into the Concept of Number, 2nd edn. Oxford University Press, Oxford (1953) (Originally published in 1884. Translated by J.L. Austin.).
Frege G.: Collected Papers on Mathematics, Logic, and Philosophy. Wiley, New York (1991)
Frege G., Hermes H., Kambartel F., Long P., White R.: Posthumous Writings. Wiley, New York (1979)
Frege, G., Carnap, R., Reck, E., Awodey, S., Gabriel, G.: Frege’s Lectures on Logic: Carnap’s Jena Notes, 1910–1914. Full Circle. Open Court Publishing, USA (2004)
Gentzen G., Szabo E.: The collected papers of Gerhard Gentzen. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, USA (1969)
Author information
Authors and Affiliations
Corresponding author
Additional information
An earlier version of this paper was presented at the ‘Oberseminar Logik und Sprachtheorie’, held at Universität Tübingen (June 2013), and I would like to thank the audiencce for discussion. Also I am grateful to two anonymous reviewers of Logica Universalis for their helpful corrections and remarks on an earlier version of this paper and Jiří Raclavský for his insightful comments and suggestions.
Rights and permissions
About this article
Cite this article
Pezlar, I. Towards a More General Concept of Inference. Log. Univers. 8, 61–81 (2014). https://doi.org/10.1007/s11787-014-0095-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-014-0095-3