Paradox and logical revision. A short introduction

DOI10.1007/s11245-014-9286-zzbMath1382.03049OpenAlexW2111842374MaRDI QIDQ1708458

Massimiliano Carrara, Julien Murzi

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)

Related Items (1)

A Note on Gödel, Priest and Naïve Proof

Uses Software

• Pesca

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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Naive \textit{modus ponens}
• Tolerant, classical, strict
• Logical consequence and the paradoxes
• Disarming a paradox of validity
• What truth depends on
• Relevant restricted quantification
• A model of tolerance
• A paradox regained
• The liar paradox
• The logic of paradox
• A contextual-hierarchical approach to truth and the liar paradox
• Non-reflexivity and revenge
• There is no paradox of logical validity
• Non-classical metatheory for non-classical logics
• Truth, reflection and hierarchies
• A calculus of antinomics
• Logic of antinomies
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER
• NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO
• TRUTH WITHOUT CONTRA(DI)CTION
• The inexpressibility of validity
• Proof and Paradox
• On Paradox without Self-Reference
• Outline of a Theory of Truth
• Dialetheism, logical consequence and hierarchy
• Validity as a primitive
• Shrieking against gluts: the solution to the 'just true' problem
• Sets and Classes
• A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS
• An extension of basic logic
• A further consistent extension of basic logic
• A basic logic

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