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…
聽Location: Edgecliffe G03
Title: Happy Immoralists and Satisfied Loners: A Pragmatic Perspective on Disagreement about Well-being Abstract: Can a morally bad person live well? Can a person without friends achieve well-being? There is long-standing disagreement about the correct answers to these questions. I offer a diagnosis of the debate between those who answer 鈥渘o鈥� (objectivists about well-being) and…
Casati, Roberto & Varzi, Achille C. (1999).聽Parts and Places: The Structures of Spatial Representation. MIT Press. Ch 5: Boundaries https://direct.mit.edu/books/monograph/2441/chapter/64763/Boundaries
漏 The University of St Andrews is a charity registered in Scotland, No SC013532.