BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Philosophy events - ECPv6.16.5//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:/philevents
X-WR-CALDESC:Events for Philosophy events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20200921T150000
DTEND;TZID=Europe/London:20200921T170000
DTSTAMP:20200921T203527Z
CREATED:20200708T155354Z
LAST-MODIFIED:20200921T203527Z
UID:10000992-1600700400-1600707600@www.st-andrews.ac.uk
SUMMARY:Metaphysics and Logic Seminar Thomas Randriamahazaka Title: A Neo-Meinongian Logic Based on Lambda-Abstraction
DESCRIPTION:Abstract: Meinong’s object theory is thought by many to be inconsistent (or even trivial). Indeed\, its most straightforward formalisation in second-order logic is. However\, contemporary logicians have developed more subtle formalisations of Meinong’s ideas\, the so-called neo-Meinongian logics\, that are provably consistent. In this talk\, I review two of the main approachs\, Nuclear Meinongianism and Dual Copula Meinongianism\, and I develop a new one\, based on a Meinongian instinct about complex properties. I present a consistent formal system based on second-order logic augmented with lambda-abstraction (an operator constructing complex properties) and a Meinongian operator m (which constructs Meinongian objects). I then mention an application of this formal system in philosophy of mathematics. More precisely\, I show how to derive a non-standard set theory within the formal system and present some of its properties. This serves as a first step towards Meinongian foundations of mathematics\, resembling Frege’s logicism.
URL:/philevents/event/metaphysics-and-logic-seminar-tba-2/
LOCATION:A virtual seminar by Zoom\, The University\, 58³Ô¹Ï\, KY16 9L\, United Kingdom
CATEGORIES:Metaphysics and Logic group
END:VEVENT
END:VCALENDAR