MoL-2017-23: The Philosophical Motivation for Proof-Theoretic Harmony

MoL-2017-23: van der Knaap, Guido (2017) The Philosophical Motivation for Proof-Theoretic Harmony. [Report]

[thumbnail of MoL-2017-23.text.pdf]

Download (473kB) | Preview


This thesis presents, discusses, and evaluates the philosophical motivations for proof-theoretic harmony - one of the central concepts of logical inferentialism - and relates them to the corresponding formal notions. It will be argued that the principle of innocence manages the objections against the philosophical motivations for harmony in the most satisfying way. Since the principle of innocence is formulated regarding the deductive system as a whole, this strongly suggests that the formal harmony requirement needs to be a global one. The considerations regarding the corresponding formal notions endorse this view, in particular it will be shown how local constraints fail to rule out constants such as quantum disjunction and bullet, the proof-theoretic variant of the Liar sentence. The further aim of this thesis is to emphasize the role of the structural rules and the context of a rule, both made explicit by the sequent calculus, for the inferentialistic behaviour of a logical constant.

Item Type: Report
Report Nr: MoL-2017-23
Series Name: Master of Logic Thesis (MoL) Series
Year: 2017
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 12 Oct 2017 14:34
Last Modified: 12 Oct 2017 14:34

Actions (login required)

View Item View Item