What is the logic of inference?

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F08%3A00102745" target="_blank" >RIV/00216208:11210/08:00102745 - isvavai.cz</a>
Alternative codes found
RIV/67985955:_____/08:00343862
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
What is the logic of inference?
Original language description
The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade.
Czech name
Co je to logika inference?
Czech description
Námětem tohoto článku je otázka, existuje-li něco, co by mohlo být opodstatněně nazýváno logikou inference. Může se zdát, že nejméně od té doby, co Prawitz, Dummett a další demonstrovali, že z hlediska teorie důkazů je prominentní intuicionistická logika, je nasnadě odpověď, že je to právě tato logika, která si toto označení zaslouží.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—

Project
<a href="/en/project/GA401%2F06%2F0387" target="_blank" >GA401/06/0387: Inferentialist foundations of logic and semantics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)