Paraconsistent logic

Definition

Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic, purposefully excluding the principle of explosion.

Related concepts

Activation function Alan Ross Anderson Alfred Tarski Argentina Aristotle Artificial intelligence Artificial neuron Associativity B. H. Slater Bas van Fraassen Bayesian inference Belief revision Black hole Brazil Bryson Brown Cambridge University Press Carl Hewitt Chris Mortensen (philosopher)Classical logic Commutativity Computer scientist Conjunction elimination Constructive analysis Constructive set theory Contradiction Control (management)Control system Counterexample Curry's paradox David Kellogg Lewis David Lewis (philosopher)De Morgan's laws Deduction theorem Degree of truth Dempster-Shafer theory Deontic logic Description logic Deviant logic Dialetheic logic Dialetheism Diderik Batens Digital filter Disjunction Disjunction introduction Disjunctive syllogism Distributivity Documentation Double negation Double negation elimination Dov Gabbay Duality (mathematics)Dynamic semantics Edward N. Zalta Electronics Empirical adequacy Entailment Epistemology Equivalential calculus Excluded middle Expert system Florencio González Asenjo Formal logic Four-valued logic Francisco Miró Quesada Francisco Miró Quesada Cantuarias Function (mathematics)Function approximation Fuzzy finite element Fuzzy logic Fuzzy rule Fuzzy set Fuzzy set operations Graham Priest Hartry Field Hawking radiation Heyting arithmetic IEEE 1164 Idempotence If and only if Implicational propositional calculus Inference Information Inquisitive semantics Intermediate logic Internet Encyclopedia of Philosophy Intuitionism Intuitionistic logic Intuitionistic type theory Itala M. L. D'Ottaviano J. Michael Dunn Jan Łukasiewicz Jean-Yves Béziau Journal of Applied Logic Keith Simmons (philosopher)Kluwer Academic Publishers Knowledge management Latin Law of excluded middle Law of identity Law of noncontradiction Law of thought Liar paradox Linear logic Logic Logic synthesis Logical conjunction Logical connective Logical consequence Logical constant Logical truth Lorenzo Peña Many-valued logic Material conditional Metaethics Metalanguage Metatheory Minimal logic Model identification Modus ponens Multi-valued logic Natural deduction Negation Neural network Newton da Costa Nicolai A. Vasiliev Non-classical logic Non-monotonic logic Nuel Belnap Ontology (information science)Ontology language Otávio Bueno Paraconsistent mathematics Paradox Peru Philosopher Philosophical logic Poland Positive propositional calculus Principle of explosion Probability logic Propositional calculus Quantum computing Quantum coupling Quantum entanglement Quantum physics R. E. Jennings Relation (mathematics)Relevance logic Relevant logic Richard Sylvan Robert K. Meyer Ross Brady Semantics Sequent calculus Software engineering Software systems Solomon Feferman Source code Spintronics Square of opposition Stanford Encyclopedia of Philosophy Stanisław Jaśkowski Stewart Shapiro Structural rule Substructural logic Syllogism Table of logic symbols Tautology (language)Tautology (logic)Theory (logic)Three-state logic Three-valued logic Tri-state buffer Trivialism Truth Truth-functional Truth maintenance systems Truth value Uncertainty principle University of Pittsburgh Use cases VHDL Val Plumwood Verilog Walter Carnielli Well-formed formula Łukasiewicz logic

28 concepts already in your glossary