Generative approaches to properties

Many philosophers conceive of properties in higher-order terms, in part because untyped conceptions are threatened by a version of Russell's paradox. Nonetheless, untyped conceptions of properties remain attractive, not least because of their greater expressive power. This workshop will explore philosophical and logical questions concerning typed as well as untyped properties, e.g.: 

– Do we really need a theory of untyped properties? 

– Is there an iterative conception of properties, just as there is an iterative conception of sets? 

– What role, if any, should predicativity play in a theory of properties? 

– What role, if any, should a notion of indefinite extensibility play in a conception of properties? 

Program 

Tuesday 7th July

12.00-13.15 Oystein Linnebo

14.45-16.00 Sam Roberts

16.45-18.00 Kit Fine

Wednesday 8th July 

10.00-11.15 James Studd

11.45-13.00 Laura Crosilla

14.00-15.15 Tim Button and Rob Trueman