This page belongs to resource collections on Logic and Inquiry.

A truth theory or a theory of truth is a conceptual framework that underlies a particular conception of truth, such as those used in art, ethics, logic, mathematics, philosophy, the sciences, or any discussion that either mentions or makes use of a notion of truth. A truth theory can be anything from an informal theory, based on implicit or tacit ideas, to a formal theory, constructed from explicit axioms and definitions and developed by means of definite rules of inference. The scope of a truth theory can be restricted to tightly-controlled and well-bounded universes of discourse or its horizon may extend to the limits of the human imagination.

Truth in perspective


Notions of truth are notoriously difficult to disentangle from many of our most basic concepts — meaning, reality, and values in general, to mention just a few.

The subjects of meaning and truth are commonly treated together, the idea being that a thing must be meaningful before it can be true or false. This association is found in ancient times, and has become standard in modern times under the heading of semantics, especially formal semantics and model theory. Another association of longstanding interest is the relation between truth and logical validity, "because the fundamental notion of logic is validity and this is definable in terms of truth and falsehood" (Kneale and Kneale, 16). Though not the main subjects of this article, meaning and validity are truth's neighbors, and incidental inquiries of them can serve to cast light on truth's character.

Beyond this minor note of accord, hardly universal, suggesting that meaning is necessary to truth, reflectors on the idea of truth just as quickly disperse into schools of thought that barely comprehend each other's thinking. A few of the more notable points of departure are these:

  1. One of the first partings of the ways occurs at the watershed between literal and symbolic meanings, leading to a corresponding division in truths. People often speak of truth in art, truth in drama, truth in fiction, human truth, moral, religious, and spiritual truth, along with the difference between truth in principle and truth in practice. These topics demand a perspective on meaning, reality, and truth that looks beyond the bounds of literal truth and the branches of philosophy that are limited to it.
  2. Merely resolving that meaning precedes truth, logically speaking, only brings up a host of new questions, since the meaning of the word meaning is notoriously hard to pin down. There are just to start at least two different dimensions of meaning that are commonly recognized, namely, connotative meaning and denotative meaning.

In one classical formulation, truth is defined as the good of logic, where logic is treated as a normative science, that is, an inquiry into a good or a value that seeks knowledge of it and the means to achieve it. In this scheme of ideas, truth is the positive quality of a sign that indicates the right course of action for reaching a value that we value for its own sake. As such, truth takes its place among justice and beauty, whose normative sciences are ethics and aesthetics, respectively. Viewed in this light, it is pointless to discuss truth in isolation from a frame of reference that encompasses the topics of inquiry, knowledge, logic, meaning, practice, and value, all very broadly conceived.

Historical overview


In an ancient fragment of text called the Dissoi Logoi, a writer is evidently trying to prove the impossibility of speaking consistently about truth and falsehood. One of the conundrums put forward to confound the reader cites the case of the verbal form, "I am an initiate", which is true when A says it but false when B says it. Escape from befuddlement seems easy enough if one observes that it is not the verbal expression, the sentence, to which the predicates of truth and falsity apply but what the sentence expresses, the proposition that it states. (Cf. Kneale and Kneale, 16). This same tension between strings of characters and their meanings remains with us to this day.

In his early work Περι Ερμηνειαs (Peri Hermeneias or On Interpretation) Aristotle strikes a chord that not only sets the key for a number of philosophical movements down through the ages but supplies the initial motif for many themes in the logic of meaning and truth that are still undergoing active development in our time.

Words spoken (phoné) are symbols or signs (symbola) of affections or impressions (pathemata) of the soul (psyche); written words (graphomena) are the signs of words spoken. As writing, so also is speech not the same for all races of men. But the mental affections themselves, of which these words are primarily signs (semeia), are the same for the whole of mankind, as are also the objects (pragmata) of which those affections are representations or likenesses, images, copies (homoiomata). (Aristotle, On Interpretation, 1.16a4).

Some of the points to be noted in this passage are these:

  1. Aristotle employs a distinction in Greek that is drawn between natural or physical signs (semeia) and artificial or cultural signs (symbola).
  2. The passage mentions three principal domains of elements, namely, the objects (pragmata), the signs (semeia, symbola), and the psychological elements (pathemata). The last domain extends over the full range of a human being's affective and cognitive experiences, for brevity summed up as ideas and impressions, where these words are taken in their broadest conceivable senses.
  3. This means that the phenomena under investigation have to do with the types of three-place relations that conceivably exist among three domains of this sort. As a general rule, three-place relations can be very complex, and a commonly-tried strategy for approaching their complexity is to consider the two-place relations that are left when the presence of a selected domain is simply ignored.
  4. There are two types of two-place relation on the face of the overall three-place relation that Aristotle takes the trouble to mention, namely these:

    Sign   Idea. Words spoken are signs or symbols of pathemata.

    Idea   Object. Pathemata are icons (homoiomata) of pragmata.

  5. More incidentally, but still bearing heavily on many later discussions, Aristotle holds that the relation between writing and speech is analogous to the relation between speech and the realm of experiences, feelings, and thoughts.

    Writing   Speech. Written words are symbols of spoken words.

    Speech   Ideation. Spoken words are symbols of impressions.

Elements of theory


It is customary in philosophy to refer to a distinctive treatment of a particular subject matter, frequently summed up in a succinctly stated thesis, as a theory, whether or not it qualifies as a theory by strict empirical or logical standards. When there is any risk of confusion, an informal thesis of this kind may be referred to as an account, a perspective, a treatment, or so on, reserving the term theory for the type of formal system that serves in logic and science.

Theories of truth can be classified according to the following features:

  • Primary subjects. What kinds of things are potentially meaningful enough to be asserted or not, believed or not, or considered true or false?
  • Relevant objects. What kinds of things, in addition to primary subjects, are pertinent to deciding whether to assert them or not, believe them or not, or consider them true or false?
  • Value predicates. What kinds of things are legitimate to say about primary subjects, either in themselves, or in relation to relevant objects?

In some discussions of meaning and truth that consider forms of expression well beyond the limits of literally-interpreted linguistic forms, potentially meaningful elements are called representations, or signs for short, taking these words in the broadest conceivable senses.

Most treatments of truth draw an important distinction at this point, though the language in which they draw it may vary. On the one hand there is a type of incomplete sign that is nevertheless said to be true or false of various objects. For example, in logic there are terms such as "man" or "woman" that are true of some things and false of others, and there are predicates such as "__is a man" or "__is a woman" that are true or false in the same way. On the other hand there is a type of complete sign that expresses what grammarians traditionally call a complete thought. Here one speaks of sentences and propositions. Some considerations of truth admit both types of signs, terms and sentences, while others admit only the bearers of complete thoughts into the arena of judgment. In a number of recent discussions that focus on linguistic analysis, the vehicles of complete thoughts are described as truthbearers, with no intention of prejudging whether they bear truth or falsehood. The things that can be said about any of these representations, signs, or truthbearers are expressed in what most truth theorists describe as truth predicates.

Most inquiries into the character of truth begin with a notion of an informative, meaningful, or significant element, the truth of whose information, meaning, or significance may be put into question and needs to be evaluated. Depending on the context, this element might be called an artefact, expression, image, impression, lyric, mark, performance, picture, sentence, sign, string, symbol, text, thought, token, utterance, word, work, and so on. For the sake of brevity, it is convenient to use the term sign for any one of these elements. Whatever the case, one has the task of judging whether the bearers of information, meaning, or significance are indeed truth-bearers. This judgment is typically expressed in the form of a specific truth predicate, whose positive application to a sign asserts that the sign is true.

Considered within the broadest horizon, there is little reason to imagine that the process of judging a work, that leads to a predication of false or true, is necessarily amenable to formalization, and it may always remain what is commonly called a judgment call. But there are indeed many well-circumscribed domains where it is useful to consider disciplined forms of evaluation, and the observation of these limits allows for the institution of what is called a method of judging truth and falsity.

One of the first questions that can be asked in this setting is about the relationship between the significant performance and its reflective critique. If one expresses oneself in a particular fashion, and someone says "that's true", is there anything useful at all that can be said in general terms about the relationship between these two acts? For instance, does the critique add value to the expression criticized, does it say something significant in its own right, or is it just an insubstantial echo of the original sign?

Theories of truth may be described according to several dimensions of description that affect the character of the predicate "true". The truth predicates that are used in different theories may be classified by the number of things that have to be mentioned in order to assess the truth of a sign, counting the sign itself as the first thing. In formal logic, this number is called the arity of the predicate. The kinds of truth predicates may then be subdivided according to any number of more specific characters that various theorists recognize as important.

  1. A monadic truth predicate is one that applies to its main subject ? typically a concrete representation or its abstract content ? independently of reference to anything else. In this case one can say that a truth bearer is true in and of itself.
  2. A dyadic truth predicate is one that applies to its main subject only in reference to something else, a second subject. Most commonly, the auxiliary subject is either an object, an interpreter, or a language to which the representation bears some relation.
  3. A triadic truth predicate is one that applies to its main subject only in reference to a second and a third subject. For example, in a pragmatic theory of truth, one has to specify both the object of the sign, and either its interpreter or another sign called the interpretant before one can say that the sign is true of its object to its interpreting agent or sign.

Several qualifications must be kept in mind with respect to any such radically simple scheme of classification, as real practice seldom presents any pure types, and there are settings in which it is useful to speak of a theory of truth that is "almost" k-adic, or that "would be" k-adic if certain details can be abstracted away and neglected in a particular context of discussion. That said, given the generic division of truth predicates according to their arity, further species can be differentiated within each genus according to a number of more refined features.

The truth predicate of interest in a typical correspondence theory of truth tells of a relation between representations and objective states of affairs, and is therefore expressed, for the most part, by a dyadic predicate. In general terms, one says that a representation is true of an objective situation, more briefly, that a sign is true of an object. The nature of the correspondence may vary from theory to theory in this family. The correspondence can be fairly arbitrary or it can take on the character of an analogy, an icon, or a morphism, whereby a representation is rendered true of its object by the existence of corresponding elements and a similar structure.



In some branches of philosophy and fields of science the domain of potentially meaningful entities may include almost any kind of informative or significant element. The generic terms sign or representation suffice for these, with the qualification that the terms are used equivocally up and down a full spectrum from the more abstract types to the more concrete tokens that are associated with each other. More specifically, the linguistic turn in analytic philosophy begins with a focus on the syntactic character of the sentence, from which is abstracted its meaningful content, referred to as the corresponding proposition. A proposition is the content expressed by a sentence, held in a belief, or affirmed in an assertion or judgment.

Truthbearer is used by a number of writers to refer to any entity that can be judged true or false. The term truthbearer may be applied to propositions, sentences, statements, ideas, beliefs, and judgments. Some writers exclude one or more of these categories, or argue that some of them are true (or false) only in a derivative sense. Other writers may add additional entities to the list.

Truthbearers typically have two possible values, true or false. Fictional forms of expression are usually regarded as false if interpreted literally, but may be said to bear a species of truth if interpreted suitably. Still other truthbearers may be judged true or false to a greater or lesser degree.

Higher order signs


As predicate terms, most discussions of truth allow for a number of phrases that are used to say in what ways signs or sentences or their abstract senses are regarded as true, either by themselves or in relation to other things. Theorists who admit the term call these phrases truth predicates. A truth predicate that is used to ascribe truth to something, in and of itself, in effect treating truth as an intrinsic property of the thing, is called a one-place or monadic truth predicate. Other forms of truth predicates may be used to say that something is true in relation to specified numbers and types of other things. These are called many-place or polyadic truth predicates.

In ordinary parlance, the things that one says about a subject are expressed in predicates. If one says that a sentence is true, then one is predicating truth of that sentence. Is this the same thing as asserting the sentence? This question serves as useful touchstone for sorting out some of the theories of truth.

Propositional attitudes


What sort of name shall we give to verbs like 'believe' and 'wish' and so forth? I should be inclined to call them 'propositional verbs'. This is merely a suggested name for convenience, because they are verbs which have the form of relating an object to a proposition. As I have been explaining, that is not what they really do, but it is convenient to call them propositional verbs. Of course you might call them 'attitudes', but I should not like that because it is a psychological term, and although all the instances in our experience are psychological, there is no reason to suppose that all the verbs I am talking of are psychological. There is never any reason to suppose that sort of thing. (Russell 1918, 227).

What a proposition is, is one thing. How we feel about it, or how we regard it, is another. We can accept it, assert it, believe it, command it, contest it, declare it, deny it, doubt it, enjoin it, exclaim it, expect it, imagine it, intend it, know it, observe it, prove it, question it, suggest it, or wish it were so. Different attitudes toward propositions are called propositional attitudes, and they are also discussed under the headings of intentionality and linguistic modality. The formal properties of verbs like assert, believe, command, consider, deny, doubt, hunt, imagine, judge, know, want, wish, and a host of others, are studied under these headings by linguists and logicians alike.

Many problematic situations in real life arise from the circumstance that many different propositions in many different modalities are in the air at once. In order to compare propositions of different colors and flavors, as it were, we have no basis for comparison but to examine the underlying propositions themselves. Thus we are brought back to matters of language and logic. Despite the name, propositional attitudes are not regarded as psychological attitudes proper, since the formal disciplines of linguistics and logic are concerned with nothing more concrete than what can be said in general about their formal properties and their patterns of interaction.

The variety of attitudes that a proposer can bear toward a single proposition is a critical factor in evaluating its truth. One topic of central concern is the relation between the modalities of assertion and belief, especially when viewed in the light of the proposer's intentions. For example, we frequently find ourselves faced with the question of whether a person's assertions conform to his or her beliefs. Discrepancies here can occur for many reasons, but when the departure of assertion from belief is intentional, we usually call that a lie.

Other comparisons of multiple modalities that frequently arise are the relationships between belief and knowledge and the discrepancies that occur among observations, expectations, and intentions. Deviations of observations from expectations are commonly perceived as surprises, phenomena that call for explanations to reduce the shock of amazement. Deviations of observations from intentions are commonly experienced as problems, situations that call for plans of action to reduce the drive of dissatisfaction. Either type of discrepancy forms an impulse to inquiry (Awbrey and Awbrey 1995).

Reflection and quotation


The study of propositional attitudes is no sooner begun than it leads to the all-important philosophical distinction between (1) using a meaning-bearer to bear its meaning in an active manner and (2) mentioning a meaning-bearer in a form that keeps its meaning in a more inert or inhibited state. The reasons for doing the latter are various, but involve the need to reflect on a potential meaning, to compare and contrast it with others, to criticize and evaluate both its logical implications and its practical consequences, all before deciding whether to put its meaning into action or not.

The word “quote” derives from the Latin verb quotare, which refers to the practice of numbering references and referring to pieces of text by marking their numbers. There is a certain aesthetic distance involved in this practice, and it leads, if only for moments at a time, to viewing each piece of text as a string of characters that bears its own litter of meanings, but meanings to be reflected on and critically compared with others, both in and out of their litter. It is hardly an accident, then, that matters of Gödel numbers, quotation, and reflection are bound up with each other in mathematical logic and computation theory.

Varieties of truth theory


Nominal truth theories


A nominal truth theory is defined by the axiom that the concept truth is a mere name. In traditional systems of logic, a concept is always a symbol, specifically, a mental symbol, and so the word mere in the nominal axiom says that truth is nothing more than a symbol. One of the aims of nominal philosophies, generally speaking, is to clear away the conceptual clutter of excess metaphysical ideas through the searching examination of their verbal formulations. Thus the question arises whether truth is one of the essentials or one of the excesses of rational thought. One method of critical analysis that is commonly brought to bear at this juncture is based on the nominal corollary that if one can do without the word in every linguistic context, then one can do without the concept, which is after all nothing but the word.

Real truth theories


Formal truth theories


There is a generally acknowledged distinction between merely contemplating or entertaining a proposition, and actually asserting or believing it. This does not mean that there is general agreement as to the precise nature of the distinction. Although there are many ways of talking about the distinction, words alone do not guarantee clarity, and they often lead to the problem of having to decide which descriptions say the same thing and which say something different.

For example, formal logic provides symbolic operators for indicating the assertion of a sentence, or the assertion of the proposition that comes from interpreting the sentence relative to a particular context of discussion. Another way of saying something about a sentence or the corresponding proposition is by means of various semantic predicates, including truth predicates as a special case. This raises the question of how these operators and predicates are related to one another. As noted before, one of the first questions of this sort is whether asserting a proposition amounts to the same thing as predicating truth of that proposition.

Semantic relations


A denotation relation, or a name relation, is a relation between symbols (formulas, words, phrases) and the things that they are interpreted as denoting or naming in a particular context of discussion (Church 1962). The things denoted, which may be quite literally anything that can be talked about or thought about, are called the objects of denotation.

Different theories of meaning vary in their use of denotation relations and the properties that they require of them. The following are two criteria that serve to distinguish particular theories of denotation:

  1. How many things can a symbol denote? For instance, can a symbol denote more than one thing, or must a symbol always denote at most one thing?
  2. Is denoting the same sort of relation as being true of, and thus a state of affairs that can be described by a particular type of truth predicate, or is denoting a very different sort of relation than that?

Truth and the conduct of life


Again, in a ship, if a man were at liberty to do what he chose, but were devoid of mind and excellence in navigation (αρετηs κυβερνητικηs), do you perceive what must happen to him and his fellow sailors? (Plato, Alcibiades, 135A).


  • Aristotle, “On Interpretation”, Harold P. Cooke (trans.), pp. 111–179 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.
  • Awbrey, J.L., and Awbrey, S.M. (Autumn 1995), “Interpretation as Action : The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), pp. 40–52. Archive. Journal. Online.
  • Blackburn, S. (1996), The Oxford Dictionary of Philosophy, Oxford University Press, Oxford, UK, 1994. Paperback edition with new Chronology, 1996.
  • Blackburn, S., and Simmons, K. (eds., 1999), Truth, Oxford University Press, Oxford, UK.
  • Church, A. (1962a), “Name Relation, or Meaning Relation”, p. 204 in Dagobert D. Runes (ed.), Dictionary of Philosophy, Littlefield, Adams, and Company, Totowa, NJ.
  • Church, A. (1962b), “Truth, Semantical”, p. 322 in Dagobert D. Runes (ed.), Dictionary of Philosophy, Littlefield, Adams, and Company, Totowa, NJ.
  • Kneale, W., and Kneale, M. (1962), The Development of Logic, Oxford University Press, London, UK, 1962. Reprinted with corrections, 1975.
  • Plato, “Alcibiades 1”, W.R.M. Lamb (trans.), pp. 93–223 in Plato, Volume 12, Loeb Classical Library, William Heinemann, London, UK, 1927.
  • Russell, B. (1918), “The Philosophy of Logical Atomism”, The Monist, 1918. Reprinted, pp. 177–281 in Logic and Knowledge: Essays 1901–1950, Robert Charles Marsh (ed.), Unwin Hyman, London, UK, 1956. Reprinted, pp. 35–155 in The Philosophy of Logical Atomism, David Pears (ed.), Open Court, La Salle, IL, 1985.

Further reading

  • Beaney, M. (ed., 1997), The Frege Reader, Blackwell Publishers, Oxford, UK.
  • Dewey, J. (1900–1901), Lectures on Ethics 1900?1901, Donald F. Koch (ed.), Southern Illinois University Press, Carbondale and Edwardsville, IL, 1991.
  • Dewey, John (1932), Theory of the Moral Life, Part 2 of John Dewey and James H. Tufts, Ethics, Henry Holt and Company, New York, NY, 1908. 2nd edition, Holt, Rinehart, and Winston, 1932. Reprinted, Arnold Isenberg (ed.), Victor Kestenbaum (Preface), Irvington Publishers, New York, NY, 1980.
  • Dummett, M. (1991), Frege and Other Philosophers, Oxford University Press, Oxford, UK.
  • Dummett, M. (1993), Origins of Analytical Philosophy, Harvard University Press, Cambridge, MA.
  • Foucault, M. (1997), Essential Works of Foucault, 1954–1984, Volume 1, Ethics : Subjectivity and Truth, Paul Rabinow (ed.), Robert Hurley et al. (trans.), The New Press, New York, NY.
  • Gadamer, H.-G. (1986), The Idea of the Good in Platonic–Aristotelian Philosophy, P. Christopher Smith (trans.), Yale University Press, New Haven, CT. 1st published, Die Idee des Guten zwischen Plato und Aristoteles, J.C.B. Mohr, Heidelberg, Germany, 1978.
  • Grover, Dorothy (1992), A Prosentential Theory of Truth, Princeton University Press, Princeton, NJ.
  • Habermas, J. (1979), Communication and the Evolution of Society, Thomas McCarthy (trans.), Beacon Press, Boston, MA.
  • Habermas, J. (1990), Moral Consciousness and Communicative Action, Christian Lenhardt and Shierry Weber Nicholsen (trans.), Thomas McCarthy (intro.), MIT Press, Cambridge, MA.
  • Habermas, J. (2003), Truth and Justification, Barbara Fultner (trans.), MIT Press, Cambridge, MA.
  • Kirkham, R.L. (1992), Theories of Truth, MIT Press, Cambridge, MA.
  • Kripke, S.A. (1975), “An Outline of a Theory of Truth”, Journal of Philosophy 72 (1975), 690?716.
  • Kripke, S.A. (1980), Naming and Necessity, Harvard University Press, Cambridge, MA.
  • Lewis, C.I. (1946), An Analysis of Knowledge and Valuation, The Paul Carus Lectures, Series 8, Open Court, La Salle, IL.
  • Linsky, L. (ed., 1971), Reference and Modality, Oxford University Press, London, UK.
  • Martin, R.L. (ed., 1984), Recent Essays on Truth and the Liar Paradox, Oxford University Press, Oxford, UK.
  • Moody, E.A. (1953), Truth and Consequence in Mediaeval Logic, North-Holland, Amsterdam, Netherlands, 1953. Reprinted, Greenwood Press, Westport, CT, 1976.
  • Nietzsche, Friedrich (1873/1968). “Uber Wahrheit und Lüge im aussermoralischen Sinn”, (“On Truth and Lying in an Extra-moral Sense”), in Jürgen Habermas (ed.), Erkenntnistheoretische Schriften, Suhrkamp, Frankfurt, Germany.
  • Putnam, Hilary (1981), Reason, Truth, and History, Cambridge University Press, Cambridge, UK.
  • Quine, W.V. (1982), Methods of Logic, (1st ed. 1950), (2nd ed. 1959), (3rd ed. 1972), 4th edition, Harvard University Press, Cambridge, MA.
  • Quine, W.V. (1992), Pursuit of Truth, Harvard University Press, Cambridge, MA, 1990. Revised edition, Harvard University Press, Cambridge, MA, 1992.
  • Quine, W.V., and Ullian, J.S. (1978), The Web of Belief, Random House, New York, NY, 1970. 2nd edition, Random House, New York, NY, 1978.
  • Rawls, J. (2000), Lectures on the History of Moral Philosophy, Barbara Herman (ed.), Harvard University Press, Cambridge, MA.
  • Rescher, N. (1973), The Coherence Theory of Truth, Oxford University Press, Oxford, UK.
  • Rorty, R. (1991), Objectivity, Relativism, and Truth : Philosophical Papers, Volume 1, Cambridge University Press, Cambridge, UK.
  • Russell, B. (1913), Theory of Knowledge (The 1913 Manuscript), Elizabeth Ramsden Eames (ed.), Kenneth Blackwell (collab.), George Allen & Unwin, 1984. Reprinted, Routledge, London, UK, 1992.
  • Russell, B. (1940), An Inquiry into Meaning and Truth, 'The William James Lectures for 1940 Delivered at Harvard University', George Allen & Unwin, 1950. Reprinted, Thomas Baldwin (intro.), Routledge, London, UK, 1992.
  • Salmon, N., and Soames, Scott (eds., 1988), Propositions and Attitudes, Oxford University Press, Oxford, UK.
  • Smart, N. (1969), The Religious Experience of Mankind, Charles Scribner's Sons, New York, NY.
  • Tarski, A. (1944), “The Semantic Conception of Truth and the Foundations of Semantics”, Philosophy and Phenomenological Research 4 (3), 341–376.
  • Wallace, A.F.C.]] (1966), Religion, An Anthropological View, Random House, New York, NY.
  • Williams, B. (2002), Truth and Truthfulness: An Essay in Genealogy, Princeton University Press, Princeton, NJ.



Focal nodes


Peer nodes


Logical operators



Relational concepts


Information, Inquiry



Document history


Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

This article contains material from an earlier version of the former Wikipedia article, Truth Theory, no longer extant. The Wikipedia article was deleted and its edit history destroyed by Wikipedia administrators, in violation of the GNU Free Documentation License. A record of the Wikipedia AFD (Article For Deletion) proceedings can be found at the following locations: