Isomorphism invariance, logical consequence and the logical constants

Professor Alexander Paseau, University of Oxford. Joint Mathematics and Philosophy Logic Seminar. Part of the Logic Seminar Series.

Our talk will sketch some features of the correct foundational logic, by which we mean the logic that correctly captures logical consequence. We argue that this logic is maximally infinitary. We build on and extend ideas of Tarski and Gila Sher by proposing Uniform Isomorphism Invariance as a sufficient condition of logical constanthood. We review some of the challenges faced by this approach to logic.

This work is joint with Dr Owen Griffiths, University of Cambridge.