2015
Logic as Universal Language and Quantification over Orders and Types within Type Theory
RACLAVSKÝ, JiříBasic information
Original name
Logic as Universal Language and Quantification over Orders and Types within Type Theory
Authors
RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution)
Edition
5th International Congress of Universal Logic 2015 (Unilog 2015), 25-30 June 2015, Istanbul, Turkey, 2015
Other information
Language
English
Type of outcome
Conference abstract
Field of Study
60300 6.3 Philosophy, Ethics and Religion
Country of publisher
Turkey
Confidentiality degree
is not subject to a state or trade secret
RIV identification code
RIV/00216224:14210/15:00083861
Organization unit
Faculty of Arts
Keywords in English
type theory; quantification; hyperintensional logic
Tags
Tags
International impact
Changed: 12/3/2024 15:22, prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Abstract
In the original language
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.
Links
| MUNI/A/1153/2014, interní kód MU |
|