ALC Seminar | Speaker: René Gazzari (CMAT, Universidade do Minho)

Title: The Impact of Second-Order Logic on Proof-Theoretic Meaning

Online:    https://videoconf-colibri.zoom.us/j/6642411492

Abstract: One basic idea of proof-theoretic semantics is that language use (which is given by the logical rules of reasoning) determines meaning (of the logical operators). Second-order universal quantifier challenges this idea, as the inference rules are compatible with more than a single semantic interpretation. Even worse, there are similar problems already with respect to propositional logic. We illustrate these problems in some more details and consider some solutions suggested in the literature.