Metaphysics and Logic Seminar:
Wee relaxed organisational meeting with tea and biscuits.
Wee relaxed organisational meeting with tea and biscuits.
Pre-read session: Dorr, C. (2016), To Be F Is To Be G. Philosophical Perspectives, 30: 39-134. https://doi.org/10.1111/phpe.12079
Pre-read session: Dorr, C. (2016), To Be F Is To Be G. Philosophical Perspectives, 30: 39-134. https://doi.org/10.1111/phpe.12079
Title: Inference behaviour semantics for all* connectives in two-dimensional sequent calculi Abstract: In this talk, I present inference behaviour semantics (IBS) for connectives in two-dimensional sequent calculi. IBS is a…
Though faced with Kripkes clear knock-down objection, Dont be too quick with tracking-the-truth rejection. OK, one knows a red barn for its hue, Yet knows it not as a barn,…
穢 The University of St Andrews is a charity registered in Scotland, No SC013532.