Symposium 1 - 2016

This symposium took place from Tuesday 12 July to Sunday 17 July, 2016, on the campus of the University of Aberdeen.

The first four days consisted of a series of four lectures by speakers leading up to the last two days where conference-style presentations took place. The programme is available, along with abstracts for all the talks and lectures.

Participants included:

Topics will include:
  1. Stationary Tower Forcing & Omega-Logic
  2. Modal logic and Geology of Forcing
  3. 2nd Order Logic and Set theory
  4. Indeterminacy and Foundations
  5. Naturalness and Foundations
  6. Foundations, Ontology and Methodology
If you have any questions about the symposium, please contact the Network Facilitator, Benedict Eastaugh (, or the Principal Investigator, Toby Meadows (