J 2014

Towards a More General Concept of Inference

PEZLAR, Ivo

Základní údaje

Originální název

Towards a More General Concept of Inference

Autoři

PEZLAR, Ivo (203 Česká republika, garant, domácí)

Vydání

Logica Universalis, Švýcarsko, Springer Basel, 2014, 1661-8297

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Švýcarsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14210/14:00076637

Organizační jednotka

Filozofická fakulta

DOI

UT WoS

000415205500004

Klíčová slova anglicky

proof theory; inference; two-dimensional inference; 2D inference; inference rule; natural deduction; sequent calculus; Tichý; Frege

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 19. 2. 2015 10:47, Mgr. Vendula Hromádková

Anotace

V originále

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

MUNI/A/0803/2013, interní kód MU
Název: Proměny a konstanty soudobé filozofie
Investor: Masarykova univerzita, Proměny a konstanty soudobé filozofie, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty