Tolerant, classical, strict

DOI10.1007/s10992-010-9165-zzbMath1243.03038OpenAlexW2067357824MaRDI QIDQ427233

Pablo Cobreros, David Ripley, Robert van Rooij, Paul Égré

Publication date: 13 June 2012

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

Full work available at URL: https://doi.org/10.1007/s10992-010-9165-z

zbMATH Keywords

logical consequence paraconsistent logics judgments about borderline cases non-transitivity psycholinguistics sorites paradox strict truth tolerant truth trivalent logics vague predicates

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Mathematical psychology (91E99)

Related Items

Vagueness: Why do we believe in tolerance?, Paraconsistent logic, De Finettian logics of indicative conditionals. I: Trivalent semantics and validity, A family of strict/tolerant logics, Inferences and metainferences in \(\mathsf{ST}\), Vagueness as an epiphenomenon, and non-transitivity, On all strong Kleene generalizations of classical logic, A unified approach to semantic and soritical paradoxes, A generalization of ordered-pair semantics, Representation results for non-cumulative logics, Designing paradoxes: a revision-theoretic approach, What is a relevant connective?, HOW A SEMANTICS FOR TONK SHOULD BE, NAIVE SET THEORY AND NONTRANSITIVE LOGIC, Non-conditional contracting connectives, Acceptable contradictions: pragmatics or semantics? A reply to Cobreros et al., Naive \textit{modus ponens}, STRICT FINITISM, FEASIBILITY, AND THE SORITES, Three-valued logics in modal logic, Foreword: Three-valued logics and their applications, Penumbral connections in comparative constructions, The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework), Knot is not that nasty (but it is hardier than tonk), Conservative translations of four-valued logics in modal logic, Systems for non-reflexive consequence, Editorial introduction: substructural logics and metainferences, One step is enough, Deep \textsf{ST}, Metainferential reasoning on strong Kleene models, Supervaluations and the strict-tolerant hierarchy, Empty logics, Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach, MTV logics, Derivability and metainferential validity, Meta-inferences and supervaluationism, The final cut, Rough concepts, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), (I can't get no) antisatisfaction, The nature of entailment: an informational approach, (Meta)inferential levels of entailment beyond the Tarskian paradigm, From many-valued consequence to many-valued connectives, Substructural logics, pluralism and collapse, A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS, Stalnakerian connexive logics, Truth meets vagueness. Unifying the semantic and the soritical paradoxes, Conjunctive paraconsistency, Monstrous content and the bounds of discourse, The laws of thought and the laws of truth as two sides of one coin, Inferential constants, Anti-exceptionalism, truth and the BA-plan, Comparing Some Substructural Strategies Dealing with Vagueness, The quantified argument calculus with two- and three-valued truth-valuational semantics, Neutral free logic: motivation, proof theory and models, Paradox and logical revision. A short introduction, Anything goes, Multivalent semantics for vagueness and presupposition, Vague judgment: a probabilistic account, A UNIFIED THEORY OF TRUTH AND PARADOX, Nonmonotonicity and Knowability: As Knowable as Possible, Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence, What is a Paraconsistent Logic?, Respects for Contradictions, ST, LP and Tolerant Metainferences, Some Comments and Replies, Truth and gradability, Structural weakening and paradoxes, Intuitionism and the modal logic of vagueness, Classical logic and the strict tolerant hierarchy, Blurring: an approach to conflation, Tolerance and mixed consequence in the S'valuationist setting, Natural language and logic of agency, Semantical analysis of weak Kleene logics, A family of metainferential logics, Vagueness is a kind of conflation, Probabilistic approaches to vagueness and semantic competency, SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY, A hierarchy of classical and paraconsistent logics, Faithfulness for naive validity, A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES, Meaningless divisions, Cut elimination for systems of transparent truth with restricted initial sequents, Metainferential duality, Validities, antivalidities and contingencies: a multi-standard approach, Non-reflexivity and revenge, Structural proof theory for first-order weak Kleene logics, A Note on Gödel, Priest and Naïve Proof, Disjoint Logics, Priest’s Motorbike and Tolerant Identity, The Strict/Tolerant Idea and Bilattices, The logics of strict-tolerant logic, Sequent-calculi for metainferential logics, Naive modus ponens and failure of transitivity

Cites Work