Principles for object-linguistic consequence: from logical to irreflexive

DOI10.1007/S10992-017-9438-XMaRDI QIDQ722029zbMATH OpenOpenAlexWikidataFDO

Authors Carlo Nicolai, Lorenzo Paolo Rossi

Publication date 20 July 2018

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

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• Towards a Logic for Pragmatics. Assertions and Conjectures
• Objects and modalities. A study in the semantics of modal logic
• The logic of intentional objects. A Meinongian version of classical logic
• scientific article; zbMATH DE number 6699700
• Objects and existence: Reflections on free logic
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• scientific article; zbMATH DE number 4135924
• Perspectives on the logical study of language
• A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication

Cites work

• scientific article; zbMATH DE number 6389756 (Why is no real title available?)
• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• A new unified account of truth and paradox
• A note on contraction-free logic for validity
• Axiomatic theories of truth
• Conservatively extending classical logic with transparent truth
• Dialetheism, logical consequence and hierarchy
• Disarming a paradox of validity
• Elementary induction on abstract structures
• Field's \textit{Saving truth from paradox}: some things it doesn't do
• Fixed points for consequence relations
• Grounding, dependence, and paradox
• Iterated local reflection versus iterated consistency
• Logical consequence and the paradoxes
• Naive \textit{modus ponens}
• Outline of a Theory of Truth
• Proofs and computations
• Reflection principles and provability algebras in formal arithmetic
• Reply to Professor Marcus
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• Saving truth from paradox
• Structural proof theory. With an appendix by Aarne Ranta
• There is no paradox of logical validity
• Truth without contra(di)ction
• Undecidable theories
• Validity as a primitive
• Validity in a dialetheist framework
• What truth depends on

Cited in

(16)

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

Describes a project that uses

Uses Software

• Pesca

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)