Recommended AISE Events and Activities in Summer 2023
Block lecture course (open to interested guest participants):
AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica
(June 1 -- June 3, draft schedule)
June 1 (Thursday):
13:15-14:00: | Opening, Teaser Talk, Organisational Matters | |
| Quick break | ||
14:15-15:45: | Lecture 1: Introduction, Axioms, and Logical Objects (Truth Values and Classes) | |
Coffee break |
| |
16:15-17:45: | Practice Lecture 1 | |
| Evening meeting | Dinner & Discussion & Students Introduction |
June 2 (Friday):
09:15-10:45: | Lecture 2: Deriving the Principles Governing Situations, Possible Worlds, and Impossible Worlds |
| Coffee break | |
11:15-12:15: | Practice Lecture 2 |
| Lunch break | |
14:15-15:45: | Practice Lecture 3 |
| Coffee break | |
16:15-17:15: | Lecture 3: Deriving the Boolean Algebra and Modal Metaphysics of Concepts |
| Evening meeting | Dinner & Discussion & Students Questions |
June 3 (Saturday):
09:15-10:45: | Lecture 4: Deriving 2nd order Peano Arithmetic and ℵ_0 |
| Coffee break | |
11:15-12:15: | Practice Lecture 4 |
| Lunch break | |
14:15-15:45: | Lecture 5: Typed Object Theory and its Applications to Mathematical and Natural Language |
| Coffee break | |
16:15-17:45: | Reflection on Computational Metaphysics & AI, Future Plans, Possible Student Projects |
| Evening meeting | Farewell Dinner |