Logical consequence and the paradoxes

DOI10.1007/S10992-013-9268-4zbMATH Open1302.03021OpenAlexW2078225254MaRDI QIDQ484113FDOQ484113

Authors: 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

Recommendations

• Truth without contra(di)ction
• Noncontractive classical logic
• scientific article; zbMATH DE number 6389756
• Naive structure, contraction and paradox
• On structural contraction and why it fails

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)

Cites Work

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

Cited In (47)

• Non-reflexivity and revenge
• The logics of strict-tolerant logic
• Paradox and logical revision. A short introduction
• A family of metainferential logics
• Contraction, infinitary quantifiers, and omega paradoxes
• Noncontractive classical logic
• Noisy vs. merely equivocal logics
• Inferences and metainferences in \(\mathsf{ST}\)
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• Paradox, truth and logic. I. Paradox and truth
• Prawitz, Proofs, and Meaning
• Title not available (Why is that?)
• Second-order logic of paradox
• Title not available (Why is that?)
• Principles for object-linguistic consequence: from logical to irreflexive
• Truth without contra(di)ction
• Paths to triviality
• What is a paraconsistent logic?
• Title not available (Why is that?)
• Title not available (Why is that?)
• A note on contraction-free logic for validity
• Fixed points for consequence relations
• Deep \textsf{ST}
• Naive structure, contraction and paradox
• The nature of entailment: an informational approach
• Title not available (Why is that?)
• Contractions of noncontractive consequence relations
• The paradox of classical reasoning
• Paradoxes of logical equivalence and identity
• Trivial Dialetheism and the Logic of Paradox
• A dialogical route to logical pluralism
• Title not available (Why is that?)
• Editorial introduction: substructural logics and metainferences
• Requiem for logical nihilism, or: logical nihilism annihilated
• Paraconsistent Logical Consequence
• External curries
• Non-contractability and revenge
• Systems for non-reflexive consequence
• Instability and contraction. \textit{Méditations hégéliennes}. I
• A note on Gödel, Priest and naïve proof
• Two Kinds of Logical Impossibility
• Exceptional logic
• On structural contraction and why it fails
• Towards a non-classical meta-theory for substructural approaches to paradox
• The original sin of proof-theoretic semantics
• Classifying material implications over minimal logic
• Structural weakening and paradoxes

This page was built for publication: Logical consequence and the paradoxes

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