Proof Theoretic Harmony With Higher-Order Rules

(Plenarvortrag, Englisch, Ort: HS 101)

ogical inferentialism is the idea that the meaning of a logical connective is determined by the inference rules that govern its use. Proof theoretic semantics attempts to make this idea precise in a proof theoretic framework, using for example natural deduction or sequent calculus rules. Since Prior's infamous connective tonk much of proof theoretic semantics have been occupied with formal (anti-tonk) conditions which rule out ill-behaved connectives (e.g. conservativeness, harmony). Common between them is that inference rules only succeed in determining the meaning of a connective only if the proof theoretic conditions are fulfilled. On the traditional account, however, such conditions are insensitive to substructural dimensions of proof theory, e.g. the distinction between additive and multiplicative connectives. We argue that proof theoretic semantics ought to have the resources to attribute different meanings to substructurally distinct connectives. Subsequently we show how to develop a notion of proof theoretic harmony that preserves substructural distinctions from introduction to elimination rules.

Chair: Albert J.J. Anglberger

Zeit: 09:00-10:30, 13. September 2013 (Freitag)

Ort: HS 101

Ole T. Hjortland

(MCMP, LMU Munich, Deutschland)

Ole T. Hjortland is Assistant Professor at the Chair of Logic and Philosophy of Language, at the Ludwig-Maximilians-Universität (LMU Munich). He is a researcher in the Munich Center for Mathematical Philosophy. Before that he was a Postdoctoral Research Fellow in the Arché Research Centre, University of St Andrews. His work is mainly on the philosophy of logic and mathematical logic, but also extends to epistemology and philosophy of language. Recent publications: "Speech acts, categoricity, and the meanings of logical connectives", Notre Dame Journal of Formal Logic, 2013 and "Logical Pluralism, Meaning Variance, and Verbal Disputes", Australasian Journal of Philosophy, 2013. For more information about Ole T. Hjortland see website1 & website2!

© 2021 SOPhiA. Alle Rechte vorbehalten.
Letzte Aktualisierung: 2013-02-14.