RACLAVSKÝ, Jiří. Logic for 2D Conception of Inference. In Non-Classical Logic. Theory and Applications (NCL9). 2018.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Logic for 2D Conception of Inference
Authors RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
Edition Non-Classical Logic. Theory and Applications (NCL9), 2018.
Other information
Original language English
Type of outcome Conference abstract
Field of Study 60301 Philosophy, History and Philosophy of science and technology
Country of publisher Poland
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14210/18:00113953
Organization unit Faculty of Arts
Keywords in English partial type theory; natural deduction; two-dimensional inference
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Mgr. Kateřina Urubková, učo 425917. Changed: 22/2/2023 14:49.
Abstract
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.
Links
GA16-19395S, research and development projectName: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Acronym: Sémantické pojmy)
Investor: Czech Science Foundation
PrintDisplayed: 5/9/2024 21:43