Martin-Löf on the Validity of Inference
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F24%3A00616510" target="_blank" >RIV/67985955:_____/24:00616510 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/978-3-031-51406-7_8" target="_blank" >https://doi.org/10.1007/978-3-031-51406-7_8</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-51406-7_8" target="_blank" >10.1007/978-3-031-51406-7_8</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Martin-Löf on the Validity of Inference
Popis výsledku v původním jazyce
An inference is valid if it guarantees the transferability of knowledge from the presmisses to the conclusion. If knowledge is here understood as demonstrative knowledge, and demonstration is explained as a chain of valid inferences, we are caught in an explanatory circle. In recent lectures, Per Martin-Löf has sought to avoid the circle by specifying the notion of knowledge appealed to in the explanation of the validity of inference as knowledge of a kind weaker than demonstrative knowledge. The resulting explanation is the main topic of this article.
Název v anglickém jazyce
Martin-Löf on the Validity of Inference
Popis výsledku anglicky
An inference is valid if it guarantees the transferability of knowledge from the presmisses to the conclusion. If knowledge is here understood as demonstrative knowledge, and demonstration is explained as a chain of valid inferences, we are caught in an explanatory circle. In recent lectures, Per Martin-Löf has sought to avoid the circle by specifying the notion of knowledge appealed to in the explanation of the validity of inference as knowledge of a kind weaker than demonstrative knowledge. The resulting explanation is the main topic of this article.
Klasifikace
Druh
C - Kapitola v odborné knize
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2024
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ů
Údaje specifické pro druh výsledku
Název knihy nebo sborníku
Perspectives on Deduction. Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
ISBN
978-3-031-51405-0
Počet stran výsledku
15
Strana od-do
171-185
Počet stran knihy
424
Název nakladatele
Springer
Místo vydání
Cham
Kód UT WoS kapitoly
—