Principles for object-linguistic consequence: from logical to irreflexive

DOI10.1007/s10992-017-9438-xzbMath1436.03059OpenAlexW2718174192WikidataQ59528608 ScholiaQ59528608MaRDI QIDQ722029

Carlo Nicolai, Lorenzo Rossi

Publication date: 20 July 2018

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

Full work available at URL: https://doi.org/10.1007/s10992-017-9438-x

zbMATH Keywords

logical consequenceV-Curry paradoxirreflexive consequenceobject-linguistic consequence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Related Items (12)

Inferences and metainferences in \(\mathsf{ST}\) ⋮ Systems for non-reflexive consequence ⋮ Editorial introduction: substructural logics and metainferences ⋮ One step is enough ⋮ (I can't get no) antisatisfaction ⋮ Truth meets vagueness. Unifying the semantic and the soritical paradoxes ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Structural weakening and paradoxes ⋮ Classical logic and the strict tolerant hierarchy ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Non-reflexivity and revenge ⋮ Logical Nihilism and the Logic of ‘prem’

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Naive \textit{modus ponens}
• Logical consequence and the paradoxes
• Disarming a paradox of validity
• What truth depends on
• Grounding, dependence, and paradox
• Reply to Professor Marcus
• Elementary induction on abstract structures
• A note on contraction-free logic for validity
• Iterated local reflection versus iterated consistency
• There is no paradox of logical validity
• Undecidable theories
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO
• Proofs and Computations
• TRUTH WITHOUT CONTRA(DI)CTION
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• Reflection principles and provability algebras in formal arithmetic
• Outline of a Theory of Truth
• Dialetheism, logical consequence and hierarchy
• Validity as a primitive
• A New Unified Account of Truth and Paradox

This page was built for publication: Principles for object-linguistic consequence: from logical to irreflexive