BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260420T140308Z
DTSTART;TZID=Australia/Melbourne:20120504T120000
DTEND;TZID=Australia/Melbourne:20120504T140000
SUMMARY:Metavaluations\, Naïve Set Theory and Inconsistency
UID:20260420T195810Z-iCalPlugin-Grails@philevents-web-f5d4878dd-nv7xt
TZID:Australia/Melbourne
LOCATION:University of Melbourne (Parkville)\, Melbourne\, Australia
DESCRIPTION:This paper proves the non-triviality of inconsistent naïve set theory using metavaluations. The proof is based on a 4-valued logic rather than the 3-valued logics previously used\, and metavaluations are\, for the first time\, used without a completeness theorem\, thus disassociating themselves somewhat from the proof theory. Further\, it is shown that some axioms and a rule can be added to the logic\, which could not be included in earlier model-theoretic approaches.
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR