Logic in London I

Logic in London I
30 May 2019, 1.00pm - 31 May 2019, 6.00pm
30th May - G37. 31st May - Room 246. Senate House, Malet Street, London WC1E 7HU

Logic in London I

Workshop on Type-free Concepts

The workshop brings together researchers working on the logic and the philosophy of type-free notions such as functions, classes, properties, and propositions.   

Due to the logical paradoxes, the traditional approach arranges such entities in hierarchies: type-theory and traditional set theory are well-known examples. The resulting picture has the obvious drawback of leaving out many legitimate objects. For instance, many innocuous circular properties and propositions cannot be assigned a place in the hierarchical approach. Similarly, it is not possible to accommodate propositions expressing quantification over all levels in a hierarchy.  

The aim of the workshop is to explore and compare different approaches to type-free notions that overcome such shortcomings. It will focus in particular on the formal frameworks employed to model them, and on their philosophical motivations and applications. 


Confirmed Speakers

Catrin Campbell-Moore (Bristol)

Andrea Cantini (Florence)

Laura Crosilla (Birmingham)

Øystein Linnebo (Oslo)

Beau Mount (Oxford)

Lavinia Picollo (UCL)

Thomas Schindler (Amsterdam)


Postgraduate Participants

Ludovica Conti (Pavia)

Matteo Zicchetti (Bristol)

Luca Castaldo (Bristol)


Thursday 30

1pm-2 Øystein Linnebo (Oslo) & Sam Roberts  (Oslo) - Property theory and ideological expansion.

2:15-3:15 Thomas Schindler (Amsterdam) - New axioms for type-free classes.

Coffee break

3:45-4:30 Ludovica Conti (Pavia) - Russell’s Paradox and free zig zag solutions.

4:45-5:45 Catrin Campbell-Moore (Bristol) - Undermining beliefs and imprecise probabilities.

Dinner 8pm (covered for speakers)


Friday 31

10:15 Coffee

10:30-11:30 Laura Crosilla (Birmingham) - Predicativity and Logic.

11:45-12:30 Matteo Zicchetti (Bristol) - Reflecting on Truth and Falsity.

Lunch break

1:45-2:45 Beau Mount (Oxford) - TBA.

3-3:45 Luca Castaldo (Bristol) - A new model for semantic paradoxes.

Coffee break

4:15-5:15 Andrea Cantini (Florence) - About propositions and truth, axiomatically.

Drinks Pub to be chosen by experts (not covered)


This workshop is organized by Dr Lavinia Picollo (UCL), Dr Carlo Nicolai (KCL) and Dr Corine Besson (IP/Sussex). It aims to be the first of a ‘Logic in London’ series. The organisers wish to particularly thank UCL and the British Logic Colloquium for its generous support.



Institute of Philsophy
020 7664 4865