Logic and Metaphysics - A

Higher-order Metaphysics

The course will introduce formal higher-order languages, their syntax and proof theory, set-theoretic and homophonic approaches to their semantics, standard and non-standard (Henkin) models, relations between natural languages and higher-order languages, mathematical, semantical, and metaphysical motivations for theorizing in higher-order languages, their relation to unrestricted generality and their capacity to make the traditional ‘problem of universals’ obsolete, higher-order definitions of modality, intensionalist and hyperintensionalist versions of higher-order logic, Russell-Myhill paradoxes and the nature of propositions. Readings will be selected from Peter Fritz and Nicholas Jones (eds.), Higher-Order Metaphysics (Oxford University Press, 2024).

-

In presenza

-

-