|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.|
Books on Amazon
|Berka I 395
Truth/Absolute Truth/Hilbert: Axioms and provable propositions are images of the thoughts which make up the method of the previous mathematics, but they are not themselves the absolute truths.
Definition absolute truth/Hilbert: absolute truths are the insights provided by my > proof theory with regard to the provability and consistency of the formula systems.
Through this program, the truth of the axioms is already shown for our theory of proof.
Berka I 486
Relative truth/correctness in the domain/Tarski: the relative truth plays a much greater role than the (Hilbertian) concept of the absolute truth, which has so far been mentioned:
Definition correct statement in the domain a/Tarski: is every statement, which then (in the usual sense (s)> Putnam would choose spelling with asterisks)) would be true if we limit the scope of the individuals to the given class a.
That is, if we interpret the terms "individual" as "element of class a",
"Class of individuals" as "subclasses of class a", and so on.
Class Calculation: here you would have to interpret expressions
e.g. of the type "Πxp" as
"For each subclass x of class a: p" and
e.g. "Ixy" as "the subclass x of the class a is contained in the subclass y of the class a".
Then we modify definition 22 and 23. As derived terms, we will introduce the concept of the statement, which in
an individual domain with k elements is correct, and the assertion which is correct in
each individual area.
K. Berka/L. Kreiser
Logik Texte Berlin 1983