v.

矛盾する

関: conflict、contradiction、contradictory、discrepancy、incompatibility

WordNet

deny the truth of (同)negate, contravene
be in contradiction with (同)belie, negate
be in conflict; "The two proposals conflict!"
a state of opposition between persons or ideas or interests; "his conflict of interest made him ineligible for the post"; "a conflict of loyalties"
opposition in a work of drama or fiction between characters or forces (especially an opposition that motivates the development of the plot); "this form of conflict is essential to Manns writing"
an open clash between two opposing groups (or individuals); "the harder the conflict the more glorious the triumph"--Thomas Paine; "police tried to control the battle between the pro- and anti-abortion mobs" (同)struggle, battle
an incompatibility of dates or events; "he noticed a conflict in the dates of the two meetings"
opposition between two simultaneous but incompatible feelings; "he was immobilized by conflict and indecision"
go against, as of rules and laws; "He ran afoul of the law"; "This behavior conflicts with our rules" (同)run afoul, infringe, contravene
the relation between propositions that cannot both be true at the same time (同)mutual exclusiveness, inconsistency, repugnance
(immunology) the degree to which the bodys immune system will try to reject foreign material (as transfused blood or transplanted tissue)
the quality of being unable to exist or work in congenial combination
of words or propositions so related that both cannot be true and both cannot be false; "`perfect and `imperfect are contradictory terms"
two propositions are contradictories if both cannot be true (or both cannot be false) at the same time
unable to be both true at the same time (同)mutually_exclusive
opposition between two conflicting forces or ideas
(logic) a statement that is necessarily false; "the statement `he is brave and he is not brave is a contradiction" (同)contradiction in terms
the speech act of contradicting someone; "he spoke as if he thought his claims were immune to contradiction"
a difference between conflicting facts or claims or opinions; "a growing divergence of opinion" (同)disagreement, divergence, variance
an event that departs from expectations (同)variance, variant
in a contradictory manner; "he argued contradictorily"
the relation that exists when opposites cannot coexist
contradicting yourself

PrepTutorEJDIC

〈報道・人の言説など〉'を'否定する,反ばくする(deny) / 〈陳述が〉…‘と'矛盾する,相反する / 反ばくする
(比較的長期にわたる)(…との)『争い』,闘争,戦闘《+『with』+『名』》 / (意見・利害などの)(…との)『衝突』,矛盾,食い違い《+『of』+『名』+『with』+『名』》 / (…と)『争う』《+『with』+『名』》 / (…と)衝突する,矛盾する,両立しない《+『with』+『名』》
両立しないこと;〈C〉性格の不一致
矛盾した,正反対の;(…に)矛盾する《+『to』+『名』》 / 否定の言葉,反ばく / 矛盾した事実
否定,反ばく / 矛盾
(…との)相違,不一致,食い違い《+『between』+『名』》
自己矛盾の

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2014/08/09 19:17:01」(JST)

wiki en

[Wiki en表示]

This diagram shows the contradictory relationships between categorical propositions in the square of opposition of Aristotelian logic.

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.

1 History
2 Contradiction in formal logic
- 2.1 Proof by contradiction
- 2.2 Symbolic representation
- 2.3 The notion of contradiction in an axiomatic system and a proof of its consistency
3 Contradictions and philosophy
- 3.1 Pragmatic contradictions
- 3.2 Dialectical materialism
4 Contradiction outside formal logic
5 See also
6 Footnotes
7 References
8 External links

History

By creation of a paradox, Plato's Euthydemus dialogue demonstrates the need for the notion of contradiction. In the ensuing dialogue Dionysodorus denies the existence of "contradiction", all the while that Socrates is contradicting him:

". . . I in my astonishment said: What do you mean Dionysodorus? I have often heard, and have been amazed to hear, this thesis of yours, which is maintained and employed by the disciples of Protagoras and others before them, and which to me appears to be quite wonderful, and suicidal as well as destructive, and I think that I am most likely to hear the truth about it from you. The dictum is that there is no such thing as a falsehood; a man must either say what is true or say nothing. Is not that your position?"

Indeed, Dionysodorus agrees that "there is no such thing as false opinion . . . there is no such thing as ignorance" and demands of Socrates to "Refute me." Socrates responds "But how can I refute you, if, as you say, to tell a falsehood is impossible?".^[1]

Contradiction in formal logic

Note: The symbol (falsum) represents an arbitrary contradiction, with the dual tee symbol used to denote an arbitrary tautology. Contradiction is sometimes symbolized by "Opq", and tautology by "Vpq". The turnstile symbol, is often read as "yields" or "proves".

In classical logic, particularly in propositional and first-order logic, a proposition is a contradiction if and only if . Since for contradictory it is true that for all (because ), one may prove any proposition from a set of axioms which contains contradictions. This is called the "principle of explosion" or "ex falso quodlibet" ("from falsity, whatever you like").

In a complete logic, a formula is contradictory if and only if it is unsatisfiable.

Proof by contradiction

For a proposition it is true that , i. e. that is a tautology, i. e. that it is always true, if and only if , i. e. if the negation of is a contradiction. Therefore, a proof that also proves that is true. The use of this fact constitutes the technique of the proof by contradiction, which mathematicians use extensively. This applies only in a logic using the excluded middle as an axiom.

Symbolic representation

In mathematics, the symbol used to represent a contradiction within a proof varies. [1] Some symbols that may be used to represent a contradiction include ↯, Opq, , ⊥, ↮, and ※. It is not uncommon to see Q.E.D. or some variant immediately after a contradiction symbol; this occurs in a proof by contradiction, to indicate that the original assumption was false and that the theorem must therefore be true.

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

A Consistency proof requires (i) an axiomatic system (ii) a demonstration that it is not the case that both the formula p and its negation ~p can derived in the system. But by whatever method one goes about it, all consistency proofs would seem to necessitate the primitive notion of contradiction; moreover, it seems as if this notion would simultaneously have to be "outside" the formal system in the definition of tautology.

When Emil Post in his 1921 Introduction to a general theory of elementary propositions extended his proof of the consistency of the propositional calculus (i.e. the logic) beyond that of Principia Mathematica (PM) he observed that with respect to a generalized set of postulates (i.e. axioms) he would no longer be able to automatically invoke the notion of "contradiction" – such a notion might not be contained in the postulates:

"The prime requisite of a set of postulates is that it be consistent. Since the ordinary notion of consistency involves that of contradiction, which again involves negation, and since this function does not appear in general as a primitive in [the generalized set of postulates] a new definition must be given".^[2]

Post's solution to the problem is described in the demonstration An Example of a Successful Absolute Proof of Consistency offered by Ernest Nagel and James R. Newman in their 1958 Gödel's Proof. They too observe a problem with respect to the notion of "contradiction" with its usual "truth values" of "truth" and "falsity". They observe that:

"The property of being a tautology has been defined in notions of truth and falsity. Yet these notions obviously involve a reference to something outside the formula calculus. Therefore, the procedure mentioned in the text in effect offers an interpretation of the calculus, by supplying a model for the system. This being so, the authors have not done what they promised, namely, 'to define a property of formulas in terms of purely structural features of the formulas themselves'. [Indeed] . . . proofs of consistency which are based on models, and which argue from the truth of axioms to their consistency, merely shift the problem."^[3]

Given some "primitive formulas" such as PM's primitives S₁ V S₂ [inclusive OR], ~S (negation) one is forced to define the axioms in terms of these primitive notions. In a thorough manner Post demonstrates in PM, and defines (as do Nagel and Newman, see below), that the property of tautologous – as yet to be defined – is "inherited": if one begins with a set of tautologous axioms (postulates) and a deduction system that contains substitution and modus ponens then a consistent system will yield only tautologous formulas.

So what will be the definition of tautologous?

Nagel and Newman create two mutually exclusive and exhaustive classes K₁ and K₂ into which fall (the outcome of) the axioms when their variables e.g. S₁ and S₂ are assigned from these classes. This also applies to the primitive formulas. For example: "A formula having the form S₁ V S₂ is placed into class K₂ if both S₁ and S₂ are in K₂; otherwise it is placed in K₁", and "A formula having the form ~S is placed in K₂, if S is in K₁; otherwise it is placed in K₁".^[4]

Nagel and Newman can now define the notion of tautologous: "a formula is a tautology if, and only if, it falls in the class K₁ no matter in which of the two classes its elements are placed".^[5] Now the property of "being tautologous" is described without reference to a model or an interpretation.

For example, given a formula such as ~S₁ V S₂ and an assignment of K₁ to S₁ and K₂ to S₂ one can evaluate the formula and place its outcome in one or the other of the classes. The assignment of K₁ to ~S₁ places ~S₁ in K₂, and now we can see that our assignment causes the formula to fall into class K₂. Thus by definition our formula is not a tautology.

Post observed that, if the system were inconsistent, a deduction in it (that is, the last formula in a sequence of formulas derived from the tautologies) could ultimately yield S itself. As an assignment to variable S can come from either class K₁ or K₂, the deduction violates the inheritance characteristic of tautology, i.e. the derivation must yield an (evaluation of a formula) that will fall into class K₁. From this, Post was able to derive the following definition of inconsistency without the use of the notion of contradiction:

Definition. A system will be said to be inconsistent if it yields the assertion of the unmodified variable p [S in the Newman and Nagel examples].

In other words, the notion of "contradiction" can be dispensed when constructing a proof of consistency; what replaces it is the notion of "mutually exclusive and exhaustive" classes. More interestingly,^{[citation needed]} an axiomatic system need not include the notion of "contradiction".

Contradictions and philosophy

Adherents of the epistemological theory of coherentism typically claim that as a necessary condition of the justification of a belief, that belief must form a part of a logically non-contradictory (consistent) system of beliefs. Some dialetheists, including Graham Priest, have argued that coherence may not require consistency.^[6]

Pragmatic contradictions

A pragmatic contradiction occurs when the very statement of the argument contradicts the claims it purports. An inconsistency arises, in this case, because the act of utterance, rather than the content of what is said, undermines its conclusion.^[7] For examples, arguably, Nietzsche's statement that one should not obey others, or Moore's paradox. Within the analytic tradition, these are seen as self-refuting statements and performative contradictions. Other traditions may read them more like zen koans, in which the author purposes makes a contradiction using the traditional meaning, but then implies a new meaning of the word which does not contradict the statement.

Dialectical materialism

In dialectical materialism, contradiction, as derived by Karl Marx from Hegelianism, usually refers to an opposition inherently existing within one realm, one unified force or object. This contradiction, as opposed to metaphysical thinking, is not an objectively impossible thing, because these contradicting forces exist in objective reality, not cancelling each other out, but actually defining each other's existence. According to Marxist theory, such a contradiction can be found, for example, in the fact that:

(a) enormous wealth and productive powers coexist alongside:

(b) extreme poverty and misery;

(c) the existence of (a) being contrary to the existence of (b).

Hegelian and Marxist theory stipulates that the dialectic nature of history will lead to the sublation, or synthesis, of its contradictions. Marx therefore postulated that history would logically make capitalism evolve into a socialist society where the means of production would equally serve the exploited and suffering class of society, thus resolving the prior contradiction between (a) and (b).^{[citation needed]}

Mao Zedong's philosophical essay furthered Marx and Lenin's thesis and suggested that all existence is the result of contradiction.^[8]

Contradiction outside formal logic

Contradiction on Graham's Hierarchy of Disagreement

Colloquial usage can label actions and/or statements as contradicting each other when due (or perceived as due) to presuppositions which are contradictory in the logical sense.

Proof by contradiction is used in mathematics to construct proofs.

Footnotes

^ Dialog Euthydemus from The Dialogs of Plato translated by Benjamin Jowett appearing in: BK 7 Plato: Robert Maynard Hutchins, editor in chief, 1952, Great Books of the Western World, Encyclopædia Britannica, Inc., Chicago.
^ Post 1921 Introduction to a general theory of elementary propositions in van Heijenoort 1967:272.
^ boldface italics added, Nagel and Newman:109-110.
^ Nagel and Newman:110-111
^ Nagel and Newman:111
^ In Contradiction: A Study of the Transconsistent By Graham Priest
^ Stoljar, Daniel (2006). Ignorance and Imagination. Oxford University Press - U.S. p. 87. ISBN 0-19-530658-9.
^ ON CONTRADICTION

References

Józef Maria Bocheński 1960 Précis of Mathematical Logic, translated from the French and German editions by Otto Bird, D. Reidel, Dordrecht, South Holland.
Jean van Heijenoort 1967 From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931, Harvard University Press, Cambridge, MA, ISBN 0-674-32449-8 (pbk.)
Ernest Nagel and James R. Newman 1958 Gödel's Proof, New York University Press, Card Catalog Number: 58-5610.

External links

Look up contradiction or although in Wiktionary, the free dictionary.

Wikiquote has a collection of quotations related to: Contradiction

Hazewinkel, Michiel, ed. (2001), "Contradiction (inconsistency)", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Hazewinkel, Michiel, ed. (2001), "Contradiction, law of", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Contradiction entry by Laurence R. Horn in the Stanford Encyclopedia of Philosophy

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

1. 機械的人工換気患者における気管支胸膜瘻のマネージメント management of bronchopleural fistula in patients on mechanical ventilation
2. ホームシック homesickness
3. 羊水塞栓症候群 amniotic fluid embolism syndrome
4. 家庭におけるペット：アレルギー疾患に対する影響 pets in the home impact on allergic disease
5. 夜間血液透析に関連した転帰 outcomes associated with nocturnal hemodialysis

English Journal

Tissue transglutaminase is not a biochemical marker for Alzheimer's disease.

Wolf J, Jäger C, Lachmann I, Schönknecht P, Morawski M, Arendt T, Mothes T.SourceInstitute of Laboratory Medicine, Clinical Chemistry, and Molecular Diagnostics, University Hospital, Leipzig, Germany.
Neurobiology of aging.Neurobiol Aging.2013 Nov;34(11):2495-8. doi: 10.1016/j.neurobiolaging.2013.05.008. Epub 2013 Jun 5.
Typical hallmarks of Alzheimer's disease (AD) are pathologic deposits in cortical and subcortical regions consisting of self-aggregated proteins such as amyloid-beta (Aβ) or tau. Tissue transglutaminase (tTG) catalyses calcium-dependent cross-linking between proteins (transamidation) resulting in p
PMID 23747046

Subsoil erosion dominates the supply of fine sediment to rivers draining into Princess Charlotte Bay, Australia.

Olley J, Brooks A, Spencer J, Pietsch T, Borombovits D.SourceAustralian Rivers Institute, Griffith University, Nathan, QLD 4111, Australia. Electronic address: j.olley@griffith.edu.au.
Journal of environmental radioactivity.J Environ Radioact.2013 Oct;124:121-9. doi: 10.1016/j.jenvrad.2013.04.010. Epub 2013 May 30.
The Laura-Normanby River (catchment area: 24,350 km(2)), which drains into Princess Charlotte Bay, has been identified in previous studies as the third largest contributor of sediment to the Great Barrier Reef World Heritage Area. These catchment scale modelling studies also identified surface soil
PMID 23727879

Facial soft tissue depths in French adults: Variability, specificity and estimation.

Guyomarc'h P, Santos F, Dutailly B, Coqueugniot H.SourceUniversité Bordeaux 1, UMR 5199 PACEA, Anthropologie des Populations Passées et Présentes, avenue des Facultés, bât. B8, F-33405 Talence, France; Joint POW/MIA Accounting Command, Central Identification Laboratory, 310 Worchester Avenue, Building 45, Joint Base Pearl Harbor-Hickam, HI 96853, USA. Electronic address: Pierre.Guyomarch.FRN@jpac.pacom.mil.
Forensic science international.Forensic Sci Int.2013 Sep 10;231(1-3):411.e1-411.e10. doi: 10.1016/j.forsciint.2013.04.007. Epub 2013 May 14.
Facial soft tissue depths (FSTD) are used in facial approximation to render the shape of the face, and are traditionally published specifically to population, corpulence, and sex amongst other factors. This paper investigates the variability of FSTD collected at 37 landmarks on 500 CT (computed tomo
PMID 23684263

Time trends in biological fertility in Western europe.

Joffe M, Holmes J, Jensen TK, Keiding N, Best N.AbstractWe investigated trends in biological fertility in a comprehensive analysis of 5 major European data sets with data on time to pregnancy (TTP) and proportion of contraceptive failures. In particular, we distinguished a period effect from a birth cohort effect (lifelong tendency) in both sexes. Attempts at conception not resulting in birth were excluded. We analyzed data on pregnancies occurring in 9,247 couples between 1953 and 1993 and performed sensitivity analyses to check the robustness of findings. Separate analyses of each time effect showed an increasing fertility trend. Mutually adjusted analyses demonstrated that this rise was visible as a male cohort effect for both TTP and contraceptive failure. On the other hand, the female birth cohort effect showed a slight fall in the first half of the study period for both TTP and contraceptive failure. As a period effect, fertility remained generally stable, the slight trends in TTP and contraceptive failure being in opposite directions, likely indicating an artifact. The rising trend accords with most previous evidence. The increasing trend in male fertility does not contradict the previously reported semen quality deterioration, the effects of which are calculated to be small. The declining female fertility accords with a falling dizygotic twinning rate during the same period.
American journal of epidemiology.Am J Epidemiol.2013 Sep 1;178(5):722-30. doi: 10.1093/aje/kwt048. Epub 2013 Jul 25.
We investigated trends in biological fertility in a comprehensive analysis of 5 major European data sets with data on time to pregnancy (TTP) and proportion of contraceptive failures. In particular, we distinguished a period effect from a birth cohort effect (lifelong tendency) in both sexes. Attemp
PMID 23887045