BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of California\, Berkeley//UCB Events Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
DTSTART:19701029T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19700402T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20180822T100719Z
DTSTART;TZID=America/Los_Angeles:20180831T160000
DTEND;TZID=America/Los_Angeles:20180831T170000
TRANSP:OPAQUE
SUMMARY:Logic Colloquium: Neologicist foundations: inconsistent abstraction principles and part-whole
UID:119175-ucb-events-calendar@berkeley.edu
ORGANIZER;CN="UC Berkeley Calendar Network":
LOCATION:60 Evans Hall
DESCRIPTION:Paolo Mancosu\, UC Berkeley\n\nNeologicism emerges in the contemporary debate in philosophy of mathematics with Wright's book Frege's \\textit {Conception of Numbers as Objects} (1983). Wright's project was to show the viability of a philosophy of mathematics that could preserve the key tenets of Frege's approach\, namely the idea that arithmetical knowledge is analytic. The key result was the detailed reconstruction of how to derive\, within second order logic\, the basic axioms of second order arithmetic from Hume's Principle \\[(\\textrm {HP})\\quad \\forall C\,D\\\,\\big (\\sharp (C) = \\sharp (D)\\leftrightarrow C\\cong D\\big )\\] (and definitions). This has led to a detailed scrutiny of so-called abstraction principles\, of which Basic Law V \\[(\\textrm {BLV})\\quad \\forall C\,D \\\,\\big (ext(C) = ext(D) \\leftrightarrow \\forall x\\\,(C(x)\\leftrightarrow D(x))\\big )\\] and HP are the two most famous instances. As is well known\, Russell proved that BLV is inconsistent. BLV has been the only example of an abstraction principle from (monadic) concepts to objects giving rise to inconsistency\, thereby making it appear as a sort of monster in an otherwise regular universe of abstraction principles free from this pathology. We show that BLV is part of a family of inconsistent abstractions. The main result is a theorem to the effect that second-order logic formally refutes the existence of any function $F$ that sends concepts into objects and satisfies a "part-whole" relation. In addition\, we study other properties of abstraction principles that lead to formal refutability in second-order logic.
URL:http://events.berkeley.edu/index.php/calendar/sn/pubaff.html?event_ID=119175&view=preview
SEQUENCE:0
CLASS:PUBLIC
CREATED:20180822T100719Z
LAST-MODIFIED:20180822T100719Z
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-OWNERAPPTID:-1
END:VEVENT
END:VCALENDAR