Martin-Löf on the Validity of Inference

Result code in 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>

Result on the web

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

Result language

angličtina

Original language name

Martin-Löf on the Validity of Inference

Original language description

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.

Czech name

—

Czech description

—

Type

C - Chapter in a specialist book

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2024

Confidentiality

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

Book/collection name

Perspectives on Deduction. Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

ISBN

978-3-031-51405-0

Number of pages of the result

15

Pages from-to

171-185

Number of pages of the book

424

Publisher name

Springer

Place of publication

Cham

UT code for WoS chapter

—