Logical consequence and the paradoxes

DOI10.1007/s10992-013-9268-4zbMath1302.03021MaRDI 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

paradoxes; substructural logics; informational semantics; structural contraction; V-Curry paradox

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

Related Items

A family of metainferential logics, The logics of strict-tolerant logic, Paths to triviality, External curries, Principles for object-linguistic consequence: from logical to irreflexive, Contraction, infinitary quantifiers, and omega paradoxes, Paradox and logical revision. A short introduction, A note on contraction-free logic for validity, Naive structure, contraction and paradox, Instability and contraction. \textit{Méditations hégéliennes}. I, CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS

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