Towards a More General Concept of Inference

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

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”

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.

Analytics

Added to PP
2014-02-17

Downloads
62 (#234,653)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ivo Pezlar
Czech Academy of Sciences

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.
Posthumous Writings.Gottlob Frege (ed.) - 1979 - Blackwell.
Collected Papers on Mathematics, Logic, and Philosophy.Gottlob Frege - 1991 - Wiley-Blackwell. Edited by Brian McGuinness.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.

Add more references