Прагматизмдегі шындық теориясы

Theory of truth within pragmatism
A pragmatic theory of truth is a theory of truth within the philosophies of pragmatism and pragmaticism. Pragmatic theories of truth were first posited by Charles Sanders Peirce, William James, and John Dewey. The common features of these theories are a reliance on the pragmatic maxim as a means of clarifying the meanings of difficult concepts such as truth; and an emphasis on the fact that belief, certainty, knowledge, or truth is the result of an inquiry.

Pragmatic theories of truth developed from the earlier ideas of ancient philosophy, the Scholastics. Pragmatic ideas about truth are often confused with the quite distinct notions of "logic and inquiry", "judging what is true", and "truth predicates".

In one classical formulation, truth is defined as the good of logic, where logic is 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 view, truth cannot be discussed to much effect outside the context of inquiry, knowledge, and logic, all very broadly considered. 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. 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, or so on, asserts that the sign is true.

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. 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 truthbearer is true in and of itself. 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. 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.

Several objections are commonly made to pragmatist account of truth, of either sort. First, due originally to Bertrand Russell (1907) in a discussion of James's theory, is that pragmatism mixes up the notion of truth with epistemology. Pragmatism describes an indicator or a sign of truth. It really cannot be regarded as a theory of the meaning of the word "true". There's a difference between stating an indicator and giving the meaning. For example, when the streetlights turn on at the end of a day, that's an indicator, a sign, that evening is coming on. It would be an obvious mistake to say that the word "evening" just means "the time that the streetlights turn on". In the same way, while it might be an indicator of truth, that a proposition is part of that perfect science at the ideal limit of inquiry, that just isn't what "true" means. Russell's objection is that pragmatism mixes up an indicator of truth with the meaning of the predicate 'true'. There is a difference between the two and pragmatism confuses them. In this pragmatism is akin to Berkeley's view that to be is to be perceived, which similarly confuses an indication or proof of that something exists with the meaning of the word 'exists', or with what it is for something to exist. Other objections to pragmatism include how we define what it means to say a belief "works", or that it is "useful to believe". The vague usage of these terms, first popularized by James, has led to much debate. A viable, more sophisticated consensus theory of truth, a mixture of Peircean theory with speech act theory and social theory, is that presented and defended by Jürgen Habermas, which sets out the universal pragmatic conditions of ideal consensus and responds to many objections to earlier versions of a pragmatic, consensus theory of truth. Habermas distinguishes explicitly between factual consensus, i. e. the beliefs that happen to hold in a particular community, and rational consensus, i. e. consensus attained in conditions approximating an "ideal speech situation", in which inquirers or members of a community suspend or bracket prevailing beliefs and engage in rational discourse aimed at truth and governed by the force of the better argument, under conditions in which all participants in discourse have equal opportunities to engage in constative (assertions of fact), normative, and expressive speech acts, and in which discourse is not distorted by the intervention of power or the internalization of systematic blocks to communication. Recent Peirceans, Cheryl Misak, and Robert B. Talisse have attempted to formulate Peirce's theory of truth in a way that improves on Habermas and provides an epistemological conception of deliberative democracy.