Anything goes

DOI10.1007/s11245-014-9261-8zbMath1382.03078OpenAlexW3187892551MaRDI QIDQ1708461

David Ripley

Publication date: 23 March 2018

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-014-9261-8

zbMATH Keywords

paradoxsequent calculusstructural rulesinferentialismtonk

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (13)

‘Transitivity’ of Consequence Relations ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ What is a relevant connective? ⋮ Knot is not that nasty (but it is hardier than tonk) ⋮ The nature of entailment: an informational approach ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ ST, LP and Tolerant Metainferences ⋮ Blurring: an approach to conflation ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ Noncontractive classical logic ⋮ Faithfulness for naive validity ⋮ A Note on Gödel, Priest and Naïve Proof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Tolerant, classical, strict
• Bilateralism in proof-theoretic semantics
• General-elimination harmony and the meaning of the logical constants
• What's wrong with tonk(?)
• Connectives stranger than tonk
• Gentzen calculi for modal propositional logic
• A model of tolerance
• Truth values and proof theory
• Substructural logics: a primer
• Definitional reflection and basic logic
• Validity concepts in proof-theoretic semantics
• CUT FOR CORE LOGIC
• Proof and Paradox
• Basic logic: reflection, symmetry, visibility
• Assertion, Denial and Non-classical Theories
• Inferentialism, Logicism, Harmony, and a Counterpoint

This page was built for publication: Anything goes