Philosophy of Mathematics Seminar (Monday - Week 2, MT22)
Monday 17 October, 4:30-6:30pm
Ryle Room, Radcliffe Humanities, and Online
Carlo Nicolai (King's College London): 'Graph conceptions of properties'
THE FIRST MEETING OF THE OXFORD PHILOSOPHY OF MATHEMATICS SEMINAR IN MICHAELMAS TERM 2022 WILL TAKE PLACE ON MONDAY OF SECOND WEEK 17 OCTOBER 4.30 - 6.30 PM, IN PERSON AND VIA ZOOM
CARLO NICOLAI (King's College London) will speak on GRAPH CONCEPTIONS OF PROPERTIES
Abstract: Concerns about the expressive limitations of type-theoretic approaches to properties may lead philosophers to favour type-free options, typically formulated in a first-order language. Given the success of standard set theory and the iterative conception, there have been attempts to formulate theories of properties based on ZFC, justified by an iterative picture. Such approaches, although prima facie type-free, ban any form of self-predication/instantiation, which is in some cases desirable for properties, if not for sets. An obvious alternative is to explore theories of properties based on non-wellfounded set theories and the conceptions on which they are based. In the talk I will discuss and develop this alternative.
Meeting will be in person. Those who wish to attend online, please write to Daniel Isaacson to request the zoom link.
