Open Access
Translator Disclaimer
2013 On the Equivalence Conjecture for Proof-Theoretic Harmony
Florian Steinberger
Notre Dame J. Formal Logic 54(1): 79-86 (2013). DOI: 10.1215/00294527-1731398

Abstract

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.

Citation

Download Citation

Florian Steinberger. "On the Equivalence Conjecture for Proof-Theoretic Harmony." Notre Dame J. Formal Logic 54 (1) 79 - 86, 2013. https://doi.org/10.1215/00294527-1731398

Information

Published: 2013
First available in Project Euclid: 14 December 2012

zbMATH: 1301.03014
MathSciNet: MR3007963
Digital Object Identifier: 10.1215/00294527-1731398

Subjects:
Primary: 03A99

Keywords: harmony , logical constants , logical inferentialism , proof theory

Rights: Copyright © 2013 University of Notre Dame

JOURNAL ARTICLE
8 PAGES


SHARE
Vol.54 • No. 1 • 2013
Back to Top