 Dialetheism

Dialetheism is the view that some statements can be both true and false simultaneously. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", or dialetheia.
Dialetheism is not a system of formal logic; instead, it is a hypothesis that can be introduced as an axiom within preexisting systems of formal logic. Introducing dialetheism has various consequences, depending on the theory into which it is introduced. For example, in traditional systems of logic (e.g., classical logic and intuitionistic logic), every statement becomes true if a contradiction is true; this means that such systems become trivial when dialetheism is included as an axiom. Other logical systems do not explode in this manner when contradictions are introduced; such contradictiontolerant systems are known as paraconsistent logics.
Graham Priest, of the University of Melbourne and the CUNY Graduate Center, is dialetheism's most prominent contemporary champion. He defines Dialetheism as the view that there are true contradictions.^{[1]} JC Beall of the University of Connecticut is another contemporary advocate. His position differs from Priest's in advocating constructive (methodological) deflationism regarding the truth predicate.^{[2]}
Contents
Motivations
Dialetheism resolves certain paradoxes
The Liar's paradox and Russel's paradox deal with selfcontradictory statements in classical logic and naïve set theory, respectively. Contradictions are problematic in these theories because they cause the theories to explode—if a contradiction is true, then every proposition is true. The classical way to solve this problem is to ban contradictory statements, to revise the axioms of the logic so that selfcontradictory statements do not appear. Dialetheists, on the other hand, respond to this problem by accepting the contradictions as true.
Dialetheism may accurately model human reasoning
Ambiguous situations may cause humans to affirm both a proposition and its negation. For example, if John stands in the doorway to a room, it may seem reasonable both to affirm that John is in the room and to affirm that John is not in the room. Critics argue that this merely reflects an ambiguity in our language rather than a dialetheic quality in our thoughts; if we replace the given statement with one that is less ambiguous (such as "John is halfway in the room" or "John is in the doorway"), the contradiction disappears.
It seems that so long as we accept that space is extended (is not a point), "John is in the room" when John is standing in the doorway does not seem to lend support to nor against the idea that our actual thinking is dialetheic.^{[citation needed]}
Dialetheism appears in other philosophical doctrines
The Jain philosophical doctrine of anekantavada — nononesidedness — states that^{[citation needed]} all statements are true in some sense and false in another. Some interpret this as saying that dialetheia not only exist but are ubiquitous. Technically, however, a logical contradiction is a proposition that is true and false in the same sense; a proposition which is true in one sense and false in another does not constitute a logical contradiction. (For example, although in one sense a man cannot both be a "father" and "celibate", there is no contradiction for a man to be a spiritual father and also celibate; the sense of the word father is different here.)
The Buddhist logic system named Catuṣkoṭi similarly implies that a statement and its negation may possibly coexist.
Graham Priest argues in Beyond the Limits of Thought that dialetheia arise at the borders of expressibility, in a number of philosophical contexts other than formal semantics.
Formal consequences
In some logics, we can show that the formula P & ¬P implies everything; taking a contradiction as a premise, we can prove any A:
(This is often called the principle of explosion, since the truth of a contradiction makes the number of theorems in a system "explode".) Any system in which any formula is provable is trivial and uninformative; this is the motivation for solving the semantic paradoxes. Dialethesists solve this problem by rejecting the principle of explosion, and, along with it, at least one of the more basic principles that lead to it, e.g. disjunctive syllogism or transitivity of entailment, or disjunction introduction.
Advantages
The proponents of dialetheism mainly advocate its ability to avoid problems faced by other more orthodox resolutions as a consequence of their appeals to hierarchies. Graham Priest once wrote "the whole point of the dialetheic solution to the semantic paradoxes is to get rid of the distinction between object language and metalanguage".^{[1]}
Criticisms
One important criticism of dialetheism is that it fails to capture something crucial about negation and, consequently, disagreement. Imagine John's utterance of P. Sally's typical way of disagreeing with John is a consequent utterance of ¬P. Yet, if we accept dialetheism, Sally's so uttering does not prevent her from also accepting P; after all, P may be a dialetheia and therefore it and its negation are both true. The absoluteness of disagreement is lost. The dialetheist can respond by saying that disagreement can be displayed by uttering "¬P and, furthermore, P is not a dialetheia". Again, though, the dialetheist's own theory is his Achilles' heel: the most obvious codification of "P is not a dialetheia" is ¬(P & ¬P). But what if this itself is a dialetheia as well? One dialetheist response is to offer a distinction between assertion and rejection. This distinction might be hashed out in terms of the traditional distinction between logical qualities, or as a distinction between two illocutionary speech acts: assertion and rejection. This tactic however, does not overcome the objection to dialetheism but merely tries to ignore it. Another criticism is that Dialetheism cannot describe logical consequences because of its inability to describe hierarchies.^{[1]}
Works cited
 Frege, Gottlob. "Negation." Logical Investigations. Trans. P. Geach and R. H Stoothoff. New Haven, Conn.: Yale University Press, 1977. 31–53.
 Parsons, Terence. "Assertion, Denial, and the Liar Paradox." Journal of Philosophical Logic 13 (1984): 137–152.
 Parsons, Terence. "True Contradictions." Canadian Journal of Philosophy 20 (1990): 335–354.
 Priest, Graham. In Contradiction. Dordrecht: Martinus Nijhoff (1987). (Second Edition, Oxford: Oxford University Press, 2006.)
 Priest, Graham. "What Is So Bad About Contradictions?" Journal of Philosophy 95 (1998): 410–426.
See also
 Problem of future contingents
 Jorge Luis Borges' The Garden of Forking Paths
 Manyworlds interpretation
 Leibniz's compossibility
 Liar paradox
 Gödel's incompleteness theorems
 Doublethink
References
External links
 Graham Priest. Dialetheism. In the Stanford Encyclopedia of Philosophy, 2004.
 JC Beall UCONN Homepage
 (Blog & ~Blog)
 Kabay on dialetheism and trivialism (includes both published and unpublished works)
Categories: Theories of deduction
 Nonclassical logic
Wikimedia Foundation. 2010.
См. также в других словарях:
dialetheism — noun The view that there are true contradictions, i.e. true statements whose negations are also true. [It] is important to point out that endorsing dialetheism is not the same as rejecting logic or rational argumentation. Syn: dialethism … Wiktionary
Dialetheism — a metaphysical doctrine according to which there are true contradictions … Mini philosophy glossary
Law of noncontradiction — This article uses forms of logical notation. For a concise description of the symbols used in this notation, see List of logic symbols. In classical logic, the law of non contradiction (LNC) (or the principle of non contradiction (PNC), or the… … Wikipedia
Liar paradox — In philosophy and logic, the liar paradox, known to the ancients as the pseudomenon, encompasses paradoxical statements such as This sentence is false. or The next sentence is false. The previous sentence is true. These statements are paradoxical … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
Paradox — For other uses, see Paradox (disambiguation). Further information: List of paradoxes A paradox is a seemingly true statement or group of statements that lead to a contradiction or a situation which seems to defy logic or intuition. Typically,… … Wikipedia
Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… … Wikipedia
Principle of contradiction — In logic, the Principle of contradiction ( principium contradictionis in Latin) is the second of the so called three classic laws of thought. The oldest statement of the law is that contradictory statements cannot both at the same time be true, e … Wikipedia
Graham Priest — Infobox Philosopher region = Western Philosophy era = Contemporary philosophy, color = #B0C4DE image caption = name = Graham Priest birth = 1948 death = school tradition = Analytic philosophy main interests = Logic notable ideas = Dialetheism… … Wikipedia