a 2015

Nominal Description Theory and Modal Argument

RACLAVSKÝ, Jiří

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

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

Příznaky

Mezinárodní význam
Změněno: 12. 3. 2024 15:22, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

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