Florian Steinberger
Birkbeck, University of London
The requirement of proof-theoretic harmony has played a pivotal role in a number of debates in the philosophy of logic. Different authors have attempted to precisify the notion in different ways. Among these, three proposals have been prominent in the literature: harmony–as–conservative extension, harmony–as–leveling procedure, and Tennant’s harmony–as–deductive equilibrium. In this paper I propose to clarify the logical relationships between these accounts. In particular, I demonstrate that what I call the equivalence conjecture —that these three notions essentially come to the same thing—is erroneous
Keywords logical inferentialism   harmony   logical constants   proof theory
Categories (categorize this paper)
DOI 10.1215/00294527-1731398
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,703
Through your library

References found in this work BETA

The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
The Runabout Inference Ticket.Arthur Prior - 1967 - In Peter Strawson (ed.), Analysis. Oxford University Press. pp. 38-9.
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.

View all 11 references / Add more references

Citations of this work BETA

Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Stabilizing Quantum Disjunction.Luca Tranchini - 2018 - Journal of Philosophical Logic 47 (6):1029-1047.

View all 7 citations / Add more citations

Similar books and articles


Added to PP index

Total views
64 ( #171,288 of 2,462,584 )

Recent downloads (6 months)
4 ( #179,038 of 2,462,584 )

How can I increase my downloads?


My notes