Steinberger, Florian (2013) On the equivalence conjecture for proof-theoretic harmony. Notre Dame Journal of Formal Logic 54 (1), pp. 79-86. ISSN 0029-4527.
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.
Metadata
| Item Type: | Article |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Humanities and Social Sciences > School of Historical Studies |
| Depositing User: | Sarah Hall |
| Date Deposited: | 25 Nov 2014 11:28 |
| Last Modified: | 02 Aug 2023 17:14 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/11108 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
