Higher-order logic as metaphysicsnull, Juhani Yli-Vakkuri (University of Bielefeld)
online seminar (see details under 'More information')
Arts West (Building 148)
Melbourne 3010
Australia
Organisers:
Topic areas
Details
https://unimelb.zoom.us/j/85134373304?pwd=Tk0wY004aDVTaEJqU1Rsdkw1ditOUT09
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.
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?