Towards a More General Concept of Inference

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

Towards a More General Concept of Inference

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Towards a More General Concept of Inference

Popis výsledku anglicky

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

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

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

Název periodika

Logica Universalis

ISSN

1661-8297

e-ISSN

—

Svazek periodika

8

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

CH - Švýcarská konfederace

Počet stran výsledku

21

Strana od-do

61-81

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—