Logic for 2D Conception of Inference
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F18%3A00118738" target="_blank" >RIV/00216224:14210/18:00118738 - isvavai.cz</a>
Alternative codes found
RIV/00216224:14210/18:00113953
Result on the web
<a href="http://ncl.umk.pl/LNK18/lnk18_en.html" target="_blank" >http://ncl.umk.pl/LNK18/lnk18_en.html</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Logic for 2D Conception of Inference
Original language description
The talk contributes to two-dimensional (2D) conception of inference, pioneered by Frege and defended e.g. by Tichy. In fact, natural deduction in Gentzen style, widely used as deduction system for type theories, implements the 2D-conception. I reformulate and extend Tichy's deduction system (but similar systems can be used as well) to fully meet the programmatic goals of 2D-conception: inference steps are sequents and higher-order rules operate on these sequents. In the final part of the talk, I apply the resulting machinery to a particular example of reasoning and convert it into a proper piece of 2D-inference.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GA16-19395S" target="_blank" >GA16-19395S: Semantic notions, paradoxes and hyperintensional logic based on modern ramified theory of types</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů