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:
Christoph Benzmüller

Opening, Teaser Talk, Organisational Matters 
Quick break 

14:15-15:45:
Edward Zalta

Lecture 1: Introduction, Axioms, and Logical Objects (Truth Values and Classes)

Coffee break

 

 

 

16:15-17:45:
Daniel Kirchner

Practice Lecture 1
Evening meetingDinner & Discussion & Students Introduction

June 2 (Friday):

09:15-10:45:
Edward Zalta

Lecture 2: Deriving the Principles Governing Situations, Possible Worlds, and Impossible Worlds
Coffee break 

11:15-12:15:
Kirchner, Benzmüller

Practice Lecture 2
Lunch break 

14:15-15:45:
Daniel Kirchner

Practice Lecture 3
Coffee break 

16:15-17:15:
Edward Zalta

Lecture 3: Deriving the Boolean Algebra and Modal Metaphysics of Concepts
Evening meetingDinner & Discussion & Students Questions

June 3 (Saturday):

09:15-10:45:
Edward Zalta

Lecture 4: Deriving 2nd order Peano Arithmetic and ?_0
Coffee break 

11:15-12:15:
Daniel Kirchner

Practice Lecture 4
Lunch break 

14:15-15:45:
Edward Zalta

Lecture 5: Typed Object Theory and its Applications to Mathematical and Natural Language
Coffee break 

16:15-17:45:
Benzmüller, Kirchner, Zalta

???Reflection on Computational Metaphysics & AI, Future Plans, Possible Student Projects
Evening meetingFarewell Dinner