Logical consequence and the paradoxes

DOI10.1007/s10992-013-9268-4zbMath1302.03021OpenAlexW2078225254MaRDI QIDQ484113

Francesco Paoli, Edwin D. Mares

Publication date: 18 December 2014

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

Full work available at URL: https://doi.org/10.1007/s10992-013-9268-4

zbMATH Keywords

paradoxessubstructural logicsinformational semanticsstructural contractionV-Curry paradox

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Inferences and metainferences in \(\mathsf{ST}\) ⋮ Paths to triviality ⋮ CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮ Contraction, infinitary quantifiers, and omega paradoxes ⋮ Systems for non-reflexive consequence ⋮ Instability and contraction. \textit{Méditations hégéliennes}. I ⋮ Editorial introduction: substructural logics and metainferences ⋮ Deep \textsf{ST} ⋮ The nature of entailment: an informational approach ⋮ A dialogical route to logical pluralism ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ The original sin of proof-theoretic semantics ⋮ On structural contraction and why it fails ⋮ Requiem for logical nihilism, or: logical nihilism annihilated ⋮ Paradox and logical revision. A short introduction ⋮ A note on contraction-free logic for validity ⋮ Naive structure, contraction and paradox ⋮ External curries ⋮ What is a Paraconsistent Logic? ⋮ Structural weakening and paradoxes ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ A family of metainferential logics ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ Noncontractive classical logic ⋮ Prawitz, Proofs, and Meaning ⋮ Non-reflexivity and revenge ⋮ A Note on Gödel, Priest and Naïve Proof ⋮ The logics of strict-tolerant logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational type characterization for \(\sigma\)-complete MV-algebras.
• Informational semantics as a third alternative?
• Why conclusions should remain single
• Linear logic
• Simple consequence relations
• Residuated lattices. An algebraic glimpse at substructural logics
• Relevant predication. I: The formal theory
• The semantics and proof theory of linear logic
• Semantics for relevance logic with identity
• The logic of information structures
• Semantic analysis of orthologic
• Substructural logics: a primer
• Naïve comprehension and contracting implications
• A revenge-immune solution to the semantic paradoxes
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• Studies on the axiom of comprehension
• Equivalence of consequence operations
• The semantics and proof theory of the logic of bunched implications
• Variations on a theme of Curry
• Kripke models for linear logic
• Positive abstraction and extensionality
• TRUTH WITHOUT CONTRA(DI)CTION
• Algebraizable logics
• The pure calculus of entailment
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• On t and u, and what they can do
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• The Guru, the Logician, and the Deflationist: Truth and Logical Consequence
• An alternative semantics for quantified relevant logic
• The inconsistency of certain formal logics