Hopeful monsters: a note on multiple conclusions

DOI10.1007/S10670-018-0019-3MaRDI QIDQ2052149zbMATH OpenOpenAlexWikidataFDO

Authors Bogdan Dicher

Publication date 25 November 2021

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10451/44467

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Multiple conclusions
• Why conclusions should remain single
• Tennant on multiple conclusions
• Acceptance, inference, and the multiple-conclusion sequent
• Harmony in multiple-conclusion natural-deduction

Cites work

• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Double-line harmony in a sequent setting
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• General-elimination harmony and the meaning of the logical constants
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Harmony and autonomy in classical logic
• Harmony and the context of deducibility
• Inferentialism, Logicism, Harmony, and a Counterpoint
• Investigations into a left-structural right-substructural sequent calculus
• Logical constants as punctuation marks
• Logicality, double-line rules, and modalities
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Multiple conclusions
• Negation, absurdity and contrariety
• Proof-theoretic semantics
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Simple consequence relations
• Some limitations to the psychological orientation in semantic theory
• Strict-choice validities: A note on a familiar pluralism
• Substructural logics: a primer
• The connectives
• The geometry of non-distributive logics
• Untersuchungen über das logische Schliessen. II
• Weak disharmony: some lessons for proof-theoretic semantics
• What's wrong with tonk(?)
• Why conclusions should remain single

Cited in

(8)

• Why conclusions should remain single
• Reading conclusions conjunctively
• Is there a neutral metalanguage?
• Monstrous content and the bounds of discourse
• Tennant on multiple conclusions
• Meta-inferences and supervaluationism
• Multiple conclusions
• The original sin of proof-theoretic semantics

This page was built for publication: Hopeful monsters: a note on multiple conclusions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052149)