58吃瓜

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…