Logic for 2D Conception of Inference

RACLAVSKÝ, Jiří. Logic for 2D Conception of Inference. In Non-Classical Logic. Theory and Applications, Toruń, Poland, 24.-27. 9. 2018. 2018.

Základní údaje

Originální název

Logic for 2D Conception of Inference

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

Non-Classical Logic. Theory and Applications, Toruń, Poland, 24.-27. 9. 2018, 2018

---

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Polsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Kód RIV

RIV/00216224:14210/18:00118738

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

partial type theory; natural deduction; two-dimensional inference

Štítky

rivok

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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.

---

Návaznosti

GA16-19395S, projekt VaV

Název: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Akronym: Sémantické pojmy) Investor: Grantová agentura ČR, Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů