Go to page
 

Bibliographic Metadata

Title
Classical Harmony and Separability
AuthorMurzi, Julien
Published in
Erkenntnis, Amsterdam, 2018, Vol. 2018, page 1-25
PublishedAmsterdam : Springer Netherlands, 2018
LanguageEnglish
Document typeJournal Article
ISSN1572-8420
URNurn:nbn:at:at-ubs:3-9610 Persistent Identifier (URN)
DOI10.1007/s10670-018-0032-6 
Restriction-Information
 The work is publicly available
Files
Classical Harmony and Separability [0.54 mb]
Links
Reference
Classification
Abstract (English)

According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesisrequirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy (Dummett in The logical basis of metaphysics, Harvard University Press, Harvard, MA, 1991; Prawitz in Theoria, 43:140, 1977; Tennant in The taming of the true, Oxford University Press, Oxford, 1997; Humberstone and Makinson in Mind 120(480):10351051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, cant be accounted for in inferentialist terms. In this paper, I challenge orthodoxy and introduce an assertion-based and single-conclusion formalization of classical propositional logic that is both harmonious and separable. In the framework I propose, classicality emerges as a structural feature of the logic.

Notice
Stats
The PDF-Document has been downloaded 10 times.
License
CC-BY-License (4.0)Creative Commons Attribution 4.0 International License