References for Contradiction

Back to article

References to other articles, organized by section

Aristotle
Bias
Bottom type
Categorical proposition
Disingenuous
Fact
False (logic)
Falsum
Formal logic
Law of noncontradiction
Proposition
Square of opposition
Term logic
Traditional logic
Type theory

History

Dionysodorus (sophist)
Euthydemus (dialogue)
Paradox
Plato
Socrates

In formal logic

Completeness (logic)
First-order logic
If and only if
Principle of explosion
Propositional logic
Unsatisfiable

Proof by contradiction

Classical logic
De Morgan's law
Disjunction and existence properties
Gödel-Dummett logic
Intermediate logic
Intuitionistic logic
Law of excluded middle
Minimal logic
Peirce's law
Principle of bivalence
Proof (logic)
Proof by contradiction
Proof techniques

Symbolic representation

Boolean algebra
False (logic)
Q.E.D.

The notion of contradiction in an axiomatic system and a proof of its consistency

Axiomatic system
Collectively exhaustive events
Consistency proof
Deduction system
Emil Post
Ernest Nagel
Gödel
James R. Newman
Modus ponens
Mutually exclusive
Principia Mathematica
Propositional calculus
Substitution (logic)
Tautology (logic)

Philosophy

Belief
Coherentism
Dialetheism
Epistemology
Graham Priest
System

Dialectical materialism

Aufheben
Capitalism
Dialectic
Dialectical materialism
Hegelianism
Marxist theory
Means of production
Proletariat
Socialism
Thesis, antithesis, synthesis

Outside formal logic

Colloquialism
Mathematical proof
Mathematics
Presupposition
Proof by contradiction
Scientific method

Notes and references

Archive for Mathematical Logic
Benjamin Jowett
Chicago
Edward N. Zalta
Encyclopædia Britannica
Encyclopedia of Mathematics
European Mathematical Society
Great Books of the Western World
ISBN (identifier)
Laurence R. Horn
Robert Maynard Hutchins
Stanford Encyclopedia of Philosophy

Source on Wikipedia (https://en.wikipedia.org)

--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 5.7 KB. 96.33% smaller than original: 155.48 KB 🤮
Fetched: 17 ms. Converted: 437 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0