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.

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

• Original 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: rivok
• Tags: International impact

Abstract

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: Name: Soudobé problémy a minulé podoby filozofické diskuse

Investor: Masaryk University, Category A