Harmony and autonomy in classical logic

DOI10.1023/A:1004787622057zbMath0947.03008OpenAlexW2021296883MaRDI QIDQ1568714

Stephen Read

Publication date: 21 June 2000

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004787622057

zbMATH Keywords

harmonyDummettclassical negationGentzenconstructivist theory of meaningfundamental assumptionintroduction-rulesmultiple-conclusion logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (32)

Proof-theoretic semantics, a problem with negation and prospects for modality ⋮ Antirealism, Meaning and Truth-Conditional Semantics ⋮ Conservativeness and Eliminability for Anti-Realistic Definitions ⋮ Necessary Truth and Proof ⋮ SEMANTIC POLLUTION AND SYNTACTIC PURITY ⋮ EPISTEMIC MULTILATERAL LOGIC ⋮ General-elimination harmony and the meaning of the logical constants ⋮ Is there a neutral metalanguage? ⋮ Proof-theoretic pluralism ⋮ Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) ⋮ What is the logic of inference? ⋮ The original sin of proof-theoretic semantics ⋮ Bilateral Rules as Complex Rules ⋮ On Inversion Principles ⋮ Book review of: N. Kürbis, Proof and falsity: a logical investigation ⋮ A note on harmony ⋮ Some Comments and Replies ⋮ Harmonising natural deduction ⋮ Proof Terms for Generalized Natural Deduction ⋮ Noisy vs. Merely Equivocal Logics ⋮ General-elimination stability ⋮ Harmony in multiple-conclusion natural-deduction ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ Why conclusions should remain single ⋮ HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ Inversion Principles and Introduction Rules ⋮ General-Elimination Harmony and Higher-Level Rules ⋮ Hopeful monsters: a note on multiple conclusions ⋮ Classical harmony and separability ⋮ Single-assumption systems in proof-theoretic semantics ⋮ An alternative normalization of the implicative fragment of classical logic

Uses Software

• PLINK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On sequence-conclusion natural deduction systems
• Formal and material consequence
• Untersuchungen über das logische Schliessen. II
• What is Logic?
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Conditionals Are Not Truth-Functional: An Argument from Peirce

This page was built for publication: Harmony and autonomy in classical logic