Paradox and logical revision. A short introduction

DOI10.1007/S11245-014-9286-ZMaRDI QIDQ1708458zbMATH OpenOpenAlexFDO

Authors Julien Murzi, Massimiliano Carrara

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-9286-z

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Recommendations

• Logic of paradox revisited
• Revising logic in light of paradox
• Norms of truth and logical revision
• Truth without contra(di)ction
• scientific article; zbMATH DE number 5364050

Cites work

• scientific article; zbMATH DE number 6699700 (Why is no real title available?)
• scientific article; zbMATH DE number 4016861 (Why is no real title available?)
• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 6536273 (Why is no real title available?)
• scientific article; zbMATH DE number 5521456 (Why is no real title available?)
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1096180 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• scientific article; zbMATH DE number 2229037 (Why is no real title available?)
• A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS
• A basic logic
• A calculus of antinomics
• A contextual-hierarchical approach to truth and the liar paradox
• A further consistent extension of basic logic
• A model of tolerance
• A paradox regained
• An extension of basic logic
• Conservatively extending classical logic with transparent truth
• Dialetheism, logical consequence and hierarchy
• Disarming a paradox of validity
• Doubt truth to be a liar
• Field's \textit{Saving truth from paradox}: some things it doesn't do
• Fixed points for consequence relations
• Indefinite extensibility
• Logic of antinomies
• Logical consequence and the paradoxes
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Naive \textit{modus ponens}
• Naive truth and naive logical properties
• Naive truth and restricted quantification: saving truth a whole lot better
• Non-classical metatheory for non-classical logics
• Non-reflexivity and revenge
• On Paradox without Self-Reference
• Outline of a Theory of Truth
• Proof and Paradox
• Relevant restricted quantification
• Saving truth from paradox
• Sets and Classes
• Shrieking against gluts: the solution to the `just true' problem
• Structural proof theory. With an appendix by Aarne Ranta
• The inexpressibility of validity
• The liar paradox
• The logic of paradox
• There is no paradox of logical validity
• Tolerant, classical, strict
• Truth without contra(di)ction
• Truth, reflection and hierarchies
• Understanding truth
• Universal logic
• Validity as a primitive
• What truth depends on

Cited in

(9)

• Exceptional logic
• Replies to Part III Logical Revisionism
• Designing paradoxes: a revision-theoretic approach
• Revising logic in light of paradox
• Norms of truth and logical revision
• Paradox, truth and logic. I. Paradox and truth
• Logic of paradox revisited
• A note on Gödel, Priest and naïve proof
• Introduction to mathematical logic

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Paradox and logical revision. A short introduction

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