精东传媒

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…

Though faced with Kripke鈥檚 clear knock-down objection, Don鈥檛 be too quick with tracking-the-truth rejection. OK, one knows a red barn for its hue, Yet knows it not as a barn, though it be true. That may be so and yet we know some facts, Despite the chance we鈥檙e all just brains in vats. And tracking…