Other formats:
BibTeX
LaTeX
RIS
@article{1199870, author = {Pezlar, Ivo}, article_location = {Švýcarsko}, article_number = {1}, doi = {http://dx.doi.org/10.1007/s11787-014-0095-3}, keywords = {proof theory; inference; two-dimensional inference; 2D inference; inference rule; natural deduction; sequent calculus; Tichý; Frege}, language = {eng}, issn = {1661-8297}, journal = {Logica Universalis}, title = {Towards a More General Concept of Inference}, volume = {8}, year = {2014} }
TY - JOUR ID - 1199870 AU - Pezlar, Ivo PY - 2014 TI - Towards a More General Concept of Inference JF - Logica Universalis VL - 8 IS - 1 SP - 61-81 EP - 61-81 PB - Springer Basel SN - 16618297 KW - proof theory KW - inference KW - two-dimensional inference KW - 2D inference KW - inference rule KW - natural deduction KW - sequent calculus KW - Tichý KW - Frege N2 - 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”. ER -
PEZLAR, Ivo. Towards a More General Concept of Inference. \textit{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.
|