Welcome

Welcome to the Introduction to Higher-order Metaphysics project.
This is a Summer course offered at the Institute for Logic, Language and Information of the University of Amsterdam taught by me, Pablo Rivas-Robledo.
Here you will find the syllabus and all the material I have prepared for the class.
Some general information about the course:
It will run during June 2024.
Ideally three meetings every week from 11:00 to 13:00 on Mondays, Wednesdays and Fridays.
First two weeks are devoted to lectures.
Third week is for students' presentations.
Fourth week is for essay writing.
Contact:
By email. My institutional email address is "p.rivasrobledo" at "uva" dot "nl"
The grades will be uploaded by Thomas Schindler, who is my supervisor, so in case of problems with the grades be sure to email us both.

Syllabus

Week 1: Technical preliminaries

During this week we will familiarise ourselves both with Higher-order Logics and the Higher-order Metaphysics research programme.
We will give an overview of the Higher-order Metaphysics research programme and start discussing Second- and Higher-order logic.
We will talk about the metalogic of the full semantics and introduce Henkin semantics.
See also the handout: .

Week 2

During this week we dive deep into some philosophical problems that can be examined from a higher-order perspective.

Week 3

This week is reserved for students' presentations

Monday:

HL
SD

Wednesday:

MdM
SK

Friday: Free

Week 4

This week is reserved for writing the final essay.

Monday:

FX
Roundtable

Wednesday:

Proposal

Friday:

Draft, independent work

Unlinked References