Nominal Description Theory and Modal Argument

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Arts. Official publication website can be found on muni.cz.
Authors

RACLAVSKÝ Jiří

Year of publication 2015
Type Conference abstract
MU Faculty or unit

Faculty of Arts

Citation
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.