Principles for object-linguistic consequence: from logical to irreflexive

DOI10.1007/S10992-017-9438-XzbMATH Open1436.03059OpenAlexW2718174192WikidataQ59528608 ScholiaQ59528608MaRDI QIDQ722029FDOQ722029

Carlo Nicolai, Lorenzo Paolo 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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structural proof theory. With an appendix by Aarne Ranta
• Conservatively extending classical logic with transparent truth
• TRUTH WITHOUT CONTRA(DI)CTION
• Outline of a Theory of Truth
• Logical consequence and the paradoxes
• Grounding, dependence, and paradox
• Elementary induction on abstract structures
• There is no paradox of logical validity
• Undecidable theories
• Proofs and Computations
• Naive \textit{modus ponens}
• What truth depends on
• Reflection principles and provability algebras in formal arithmetic
• Reply to Professor Marcus
• Iterated local reflection versus iterated consistency
• Disarming a paradox of validity
• A note on contraction-free logic for validity
• FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• Dialetheism, logical consequence and hierarchy
• Validity as a primitive
• A New Unified Account of Truth and Paradox

Cited In (13)

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

Uses Software

• Pesca

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects 👍 👎
• Objects and modalities. A study in the semantics of modal logic 👍 👎
• Towards a Logic for Pragmatics. Assertions and Conjectures 👍 👎
• Objects and existence: Reflections on free logic 👍 👎
• The logic of intentional objects. A Meinongian version of classical logic 👍 👎
• Perspectives on the logical study of language 👍 👎

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

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