## Philosophy Lexicon of Arguments | |||

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. | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Books on Amazon |
P. Lorenzen Ein dialogisches Konstruktivitätskriterium (1959) in Karel Berka/L. Kreiser Logik Texte Berlin, 1983 Berka I 270 Truth/Dialogical Logic/Lorenzen: with the infinite inductive definitions, one can transform, e.g. the semantic concept of truth into a dialogically definite concept. There are two sets, the set T of the true formulas and the set F of the wrong formulas. --- I 271 If the formulas with the logical particles are constructed from decision-definite prime formulas, then T (true) and F (false) are defined infinitely inductively as follows: A e T u B e T > A u B e T A e F > A u B e F B e F > A u B e F (correcpondingly for v) A e F > i A e T A e T > i A e F (n)A(n) e T > (x)A(x) e T A(n) e F > (x)A(x) e F (correspondingly for (Ex)). Foundation/Lorenzen: for this definition one does not need ordinal numbers as step numbers, because the definition scheme is "sound". That is, one gets after a finite number of steps to a prime formula. |
Lorn I P. Lorenzen Constructive Philosophy Cambridge 1987 Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei

Ed. Martin Schulz, access date 2017-05-28