Logic for 2D Conception of Inference

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F18%3A00113953" target="_blank" >RIV/00216224:14210/18:00113953 - isvavai.cz</a>

Alternative codes found

RIV/00216224:14210/18:00118738

Result on the web

—

DOI - Digital Object Identifier

—

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

—

Type

O - Miscellaneous

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

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)

Publication year

2018

Confidentiality

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