On the theory of inconsistent formal systems.

1974/10/01 by Newton C. A. da Costa · 15 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #semigroups and automata theory

paper · pdf · doi:10.1305/ndjfl/1093891487

Abstract

1. Meinong's theory is discussed, for example, by Russell (cf. [21] and the articles by Meinong, Ameseder and Mally cited there). One of the objections formulated by Russell against Meinong's theory is precisely that it implies a derogation of the principle of contradiction.

Cited by

• On an implication connective of \rm RM.
• Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
• Un cadre paraconsistant pour l'évaluation de similarité dans les bases de connaissances
• Does intelligence imply contradiction?
• A Comprehensive Taxonomy of Negation for NLP and Neural Retrievers
• Mathematical Pluralism
• Anti-intuitionism and paraconsistency
• Consensus, Inconsistency, Emergence: what's paraconsistency got to do with it?
• The Antinomy of the Liar and Provability
• The logic of paradox
• Languages, Algorithms, Procedures, Calculi, and Metalogic
• A General Axiomatization for the logics of the Hierarchy \mathbbIⁿ ℙ^k
• Neutrosophic Relational Data Model
• Probabilistic Acceptance
• A machine-assisted view of paraconsistency

Related

• Reflections on Russell's antinomy
• Paradoxes Are Not Contradictions: Re-examining the Third Mathematical Crisis
• Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic
• Aspectual Principle, Benford's Law and Russell's Paradox
• Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)