::Contradiction
::concepts
{{ safesubst:#invoke:Unsubst||$N=Refimprove |date=__DATE__ |$B=
{{#invoke:Message box|ambox}}
}}
In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other. Illustrating a general tendency in applied logic, Aristotle's law of noncontradiction states that "One cannot say of something that it is and that it is not in the same respect and at the same time."
By extension, outside of classical logic, one can speak of contradictions between actions when one presumes that their motives contradict each other.
Contradiction sections
Intro History Contradiction in formal logic Contradictions and philosophy Contradiction outside formal logic See also Footnotes References External links
| PREVIOUS: Intro | NEXT: History |
| << | >> |
Logic::which Notion::formula System::varphi Proof::truth Nagel::newman Category::class
{{ safesubst:#invoke:Unsubst||$N=Refimprove |date=__DATE__ |$B=
{{#invoke:Message box|ambox}}
}}
In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other. Illustrating a general tendency in applied logic, Aristotle's law of noncontradiction states that "One cannot say of something that it is and that it is not in the same respect and at the same time."
By extension, outside of classical logic, one can speak of contradictions between actions when one presumes that their motives contradict each other.
Contradiction sections
Intro History Contradiction in formal logic Contradictions and philosophy Contradiction outside formal logic See also Footnotes References External links
| PREVIOUS: Intro | NEXT: History |
| << | >> |