Nominal Description Theory and Modal Argument

RACLAVSKÝ, Jiří. Nominal Description Theory and Modal Argument. In International Conference on Philosophy of Language and Linguistics (PhilLang2015), 14-16 May 2015, University of Lodz, Poland. 2015.

Základní údaje

• Originální název: Nominal Description Theory and Modal Argument
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
• Vydání: International Conference on Philosophy of Language and Linguistics (PhilLang2015), 14-16 May 2015, University of Lodz, Poland, 2015.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Konferenční abstrakt
• Obor: 60300 6.3 Philosophy, Ethics and Religion
• Stát vydavatele: Polsko
• Utajení: není předmětem státního či obchodního tajemství
• Kód RIV: RIV/00216224:14210/15:00083862
• Organizační jednotka: Filozofická fakulta
• Klíčová slova anglicky: descriptions; modal argument; nominal description theory
• Štítky: rivok
• Příznaky: Mezinárodní význam

Anotace

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