Towards a More General Concept of Inference

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F14%3A00076637" target="_blank" >RIV/00216224:14210/14:00076637 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1007/s11787-014-0095-3" target="_blank" >http://dx.doi.org/10.1007/s11787-014-0095-3</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s11787-014-0095-3" target="_blank" >10.1007/s11787-014-0095-3</a>

Result language

angličtina

Original language name

Towards a More General Concept of Inference

Original language 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?.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2014

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Logica Universalis

ISSN

1661-8297

e-ISSN

—

Volume of the periodical

8

Issue of the periodical within the volume

1

Country of publishing house

CH - SWITZERLAND

Number of pages

21

Pages from-to

61-81

UT code for WoS article

—

EID of the result in the Scopus database

—