Higher-order logic as metaphysics
Juhani Yli-Vakkuri (Australian Catholic University), Juhani Yli-Vakkuri (University of Bielefeld)

March 18, 2021, 12:15pm - 2:15pm
Philosophy Discipline, The University of Melbourne

online seminar (see details under 'More information')
Arts West (Building 148)
Melbourne 3010


University of Melbourne

Topic areas



    Password: 146008

Abstract: In recent years there has been an increasing tendency to formalize theories of propositions, functions, properties, and relations, in higher-order logic. This paper illustrates the fruitfulness of that approach by showing that, in a certain natural extension of classical higher-order logic, modal logic, the logic of indexicals, the theory of classes, and the theory of possible worlds can all be derived from the axiom of choice.

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.