Logic as Universal Language and Quantification over Orders and Types within Type Theory

RACLAVSKÝ, Jiří. Logic as Universal Language and Quantification over Orders and Types within Type Theory. In 5th International Congress of Universal Logic 2015 (Unilog 2015), 25-30 June 2015, Istanbul, Turkey. 2015.

Základní údaje

Originální název

Logic as Universal Language and Quantification over Orders and Types within Type Theory

Autoři

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

Vydání

5th International Congress of Universal Logic 2015 (Unilog 2015), 25-30 June 2015, Istanbul, Turkey, 2015

---

Další údaje

Jazyk

angličtina

Typ výsledku

Konferenční abstrakt

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Turecko

Utajení

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

Kód RIV

RIV/00216224:14210/15:00083861

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

type theory; quantification; hyperintensional logic

Štítky

rivok

Příznaky

Mezinárodní význam

---

Anotace

V originále

My main goal in this talk is to show how a particular type theory can fulfil a role of universal logical language. I will demonstrate how to properly quantify over orders and types in an extended type theory -- which shows its expressibility. I will point at some further possibilities and also limits of extending such type theory. I will conclude that the extended type theory, which is capable to discuss 'lower-level' type-theories, will not result in a hierarchy - which shows its universality.

---

Návaznosti

MUNI/A/1153/2014, interní kód MU

Název: Soudobé problémy a minulé podoby filozofické diskuse Investor: Masarykova univerzita, Soudobé problémy a minulé podoby filozofické diskuse, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty