2018
Logic for 2D Conception of Inference
RACLAVSKÝ, JiříBasic information
Original name
Logic for 2D Conception of Inference
Authors
Edition
Non-Classical Logic. Theory and Applications, Toruń, Poland, 24.-27. 9. 2018, 2018
Other information
Language
English
Type of outcome
Presentations at conferences
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
References:
Marked to be transferred to RIV
Yes
RIV identification code
RIV/00216224:14210/18:00118738
Organization unit
Faculty of Arts
Keywords in English
partial type theory; natural deduction; two-dimensional inference
Tags
Tags
International impact, Reviewed
Changed: 21/3/2022 13:17, Mgr. et Mgr. Lucie Racyn
Abstract
In the original language
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 project |
|