58³Ô¹Ï

Title: ‘Logic and Inference in the Sender-Receiver Model’ Abstract: Logic, inference, language – somehow these are all connected. But how? One of David Lewis’s goals in his book Convention (1969) was to answer this question. There, he presented what is now known as the sender-receiver model of communication, and he revealed how conventionally meaningful communication might come about.…

Title: What do we mean? Semantics, Practices and Pluralism   Abstract: In this informal talk, I will revisit some longstanding issues in philosophical logic in the light of some contemporary developments.    The longstanding issues? (1) Michael Dummett’s challenge in The Logical Basis of Metaphysics to the effect that to get anywhere in fundamental issues of metaphysics we would do…

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 novel approach to proof-theoretic semantics (PTS) that emphasises Wittgenstein’s conception of ‘meaning as use’, alongside Gentzen’s idea of operational rules as connective definitions. The core…