Higher-order logic as metaphysics
null, 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
Australia

Organisers:

University of Melbourne

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.

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

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.