|Truth, philosophy: a property of sentences, not a property of utterances because utterances are events. See also truth conditions, truth definition, truth functions, truth predicate, truth table, truth theory, truth value, correspondence theory, coherence theory.
The most diverse approaches claim to define or explain truth, or to assert their fundamental indefinability.
A. Linguistic-oriented theories presuppose either a match of statements with extracts of the world or a consistency with other statements. See also truth theory, truth definition, theory of meaning, correspondence theory, coherence theory, facts, circumstances, paradoxes, semantics, deflationism, disquotationalism, criteria, evidence.
B. Action-oriented truth theories take a future realization of states as the standard, which should be reconciled with an aspired ideal. See also reality, correctness, pragmatism, idealization, ideas.
C. Truth-oriented theories of art attribute qualities to works of art under certain circumstances which reveal the future realization of ideal assumed social conditions. See also emphatic truth, fiction, art, works of art.
_____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
Truth/Mathematics/Hilbert/Waismann: The absolute truths are rather the insights which are provided by my theory of proof concerning the provability and the consistency of these formal systems.
The subject of this theory is the signs themselves, which can be surveyed completely in all their parts. Their exposition, distinction, succession with the objects is at the same time immediately clear for us there as something that cannot be reduced to something else.
There are the following considerations:
1. If a definite sign occurs more than once in a provable formula, then we must encounter a formula that has this property for the first time.
2. If, in a finite series of formulas, the first has a certain property, and this always translates to the following, all formulas have this property. (Induction in the finite)._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
Einführung in das mathematische Denken Darmstadt 1996
Logik, Sprache, Philosophie Stuttgart 1976