On the equivalence conjecture for proof-theoretic harmony
type: Item
instance of: scholarly article
title: On the equivalence conjecture for proof-theoretic harmony
zbMATH Open document ID: 1301.03014
DOI: 10.1215/00294527-1731398
author: Florian Steinberger
published in: Notre Dame Journal of Formal Logic
publication date: 2013-01-30T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1355494524
review text: The author discusses and analyzes the logical relations between three prominent accounts of harmony: harmony-as-conservative extension (see [\textit{N. Belnap}, Analysis 22, 130--134 (1962); \textit{M. Dummett}, The logical basis of metaphysics. Cambridge, MA: Harvard University Press (1991)]), harmony-as-levelling procedure (see [\textit{D. Prawitz}, Theoria 43, 2--40 (1977; Zbl 0361.02008); Dummett, loc. cit.]), and harmony-as-deductive equilibrium (see [\textit{N. Tennant}, Anti-realism and logic. Oxford: Oxford University Press (1987); The taming of the true. Oxford: Clarendon Press (1997; Zbl 0929.03001)], and concludes that there is no core notion of harmony toward which all three accounts of harmony converge.
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6132726
zbMATH Keywords: harmony
zbMATH Keywords: logical constants
zbMATH Keywords: proof theory
zbMATH Keywords: logical inferentialism
reviewed by: Branislav Boričić
MaRDI profile type: Publication
OpenAlex ID: W2088230874
Wikidata QID: Q123353703
cites work: Meaning and proofs: on the conflict between classical and intuitionistic logic
cites work: Q4192055
cites work: Q5559220
cites work: Not so stable
cites work: Harmony in a sequent setting: a reply to Tennant
cites work: Natural deduction and sequent calculus for intuitionistic relevant logic
cites work: Q4239945
cites work: Harmony in a sequent setting
description: scientific article; zbMATH DE number 6132726