BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260409T001429Z
DTSTART;TZID=Europe/London:20241010T180000
DTEND;TZID=Europe/London:20241010T193000
SUMMARY:Overview of Principia Logico-Metaphysica 
UID:20260409T233822Z-iCalPlugin-Grails@philevents-web-f5d4878dd-r5qzs
TZID:Europe/London
DESCRIPTION:<p>I present an overview of the body of (formal) metaphysical theorems derived from (formal) metaphysical axioms of object theory (OT).&nbsp\; In particular\, I plan to review the "List of the Most Important Theorems&rdquo\; on PDF pages 10-14 (= numbered pages xvi&mdash\;xx) of the unpublished monograph&nbsp\;https://mally.stanford.edu/principia.pdf&nbsp\;.&nbsp\; The theorems demonstrate the many applications of OT for the analysis of (1) the mathematical objects and relations of &nbsp\;2nd-order Peano Arithmetic\, (2) truth-values\, (3) situations\, (4) possible and impossible worlds\, (5) possibilities (&aacute\; la Humberstone\, van Benthem\, Holliday\, etc.)\, (6) the Routley star operation\, (7) Leitgeb&rsquo\;s HYPE logic\, (8) world-indexed relations\, (9) Fregean extensions\, and (10) Leibniz&rsquo\;s calculus of concepts and modal metaphysics. The objects in (1) &mdash\; (10) &nbsp\;are defined and the principles that govern them can be derived. And once analytic truths of the form &ldquo\;In theory T\, &phi\;&rdquo\;\, for arbitrary mathematical theories T\, are added\, the objects and relations of T can be precisely identified and the truth conditions for the theorems of T can be given an exact formulation &mdash\; mathematics is thereby shown to be about abstract objects and abstract relations.&nbsp\;</p>\n<p>Link:&nbsp\;https://us06web.zoom.us/j/87649813438&nbsp\;</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR