Towards a More General Concept of Inference

PEZLAR, Ivo. Towards a More General Concept of Inference. Logica Universalis. Švýcarsko: Springer Basel, 2014, vol. 8, No 1, p. 61-81. ISSN 1661-8297. Available from: https://dx.doi.org/10.1007/s11787-014-0095-3.

Basic information

• Original name: Towards a More General Concept of Inference
• Authors: PEZLAR, Ivo (203 Czech Republic, guarantor, belonging to the institution).
• Edition: Logica Universalis, Švýcarsko, Springer Basel, 2014, 1661-8297.

Other information

• Original language: English
• Type of outcome: Article in a journal
• Field of Study: 60300 6.3 Philosophy, Ethics and Religion
• Country of publisher: Switzerland
• Confidentiality degree: is not subject to a state or trade secret
• RIV identification code: RIV/00216224:14210/14:00076637
• Organization unit: Faculty of Arts
• Doi: http://dx.doi.org/10.1007/s11787-014-0095-3
• UT WoS: 000415205500004
• Keywords in English: proof theory; inference; two-dimensional inference; 2D inference; inference rule; natural deduction; sequent calculus; Tichý; Frege
• Tags: rivok
• Tags: International impact, Reviewed

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 Foundations 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

• MUNI/A/0803/2013, interní kód MU: Name: Proměny a konstanty soudobé filozofie

Investor: Masaryk University, Category A