Anything goes

DOI10.1007/S11245-014-9261-8MaRDI QIDQ1708461zbMATH OpenOpenAlexFDO

Authors 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

inferentialismparadoxsequent calculusstructural rulestonk

Mathematics Subject Classification ID

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

Recommendations

• How a semantics for tonk should be
• Connectives stranger than tonk
• Intelim rules for classical connectives
• What's wrong with tonk(?)
• scientific article; zbMATH DE number 2211927

Cites work

• A model of tolerance
• Assertion, Denial and Non-classical Theories
• Basic logic: reflection, symmetry, visibility
• Bilateralism in proof-theoretic semantics
• Connectives stranger than tonk
• Cut for core logic
• Definitional reflection and basic logic
• General-elimination harmony and the meaning of the logical constants
• Gentzen calculi for modal propositional logic
• scientific article; zbMATH DE number 5902347 (Why is no real title available?)
• scientific article; zbMATH DE number 4016861 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 819916 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Inferentialism, Logicism, Harmony, and a Counterpoint
• Multiple conclusions
• Proof and Paradox
• Substructural logics: a primer
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Tolerant, classical, strict
• Truth values and proof theory
• Validity concepts in proof-theoretic semantics
• What's wrong with tonk(?)

Cited in

(24)

• Blurring: an approach to conflation
• Faithfulness for naive validity
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• What is a relevant connective?
• Noncontractive classical logic
• The laws of thought and the laws of truth as two sides of one coin
• ST, LP and tolerant metainferences
• ``Transitivity of consequence relations
• A note on Gödel, Priest and naïve proof
• Weak disharmony: some lessons for proof-theoretic semantics
• 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
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• Reading conclusions conjunctively
• A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
• Meta-arguments in heterogeneous logics and how to evaluate them
• When rules define logical operators: rules as second-order definitions
• Meta-classical non-classical logics
• An inferentialist approach to Mates's puzzle
• Whence admissibility constraints? From inferentialism to tolerance
• How we learned to stop worrying and love tonk
• Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
• What's wrong with tonk(?)

This page was built for publication: Anything goes

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