Towards a More General Concept of Inference

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Arts. Official publication website can be found on muni.cz.
Authors

PEZLAR Ivo

Year of publication 2014
Type Article in Periodical
Magazine / Source Logica Universalis
MU Faculty or unit

Faculty of Arts

Citation
Doi http://dx.doi.org/10.1007/s11787-014-0095-3
Field Philosophy and religion
Keywords proof theory; inference; two-dimensional inference; 2D inference; inference rule; natural deduction; sequent calculus; Tichý; Frege
Description 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”.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.