## Philosophy Lexicon of Arguments | |||

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

Lorenzen, Paul Books on Amazon |
Logic | Berka I187 Operational logic/dialogical/Lorenzen/Berka: Variant of the constructivist interpretation of intuitionism. Functors and quantifiers are constructively defined with regard to a dialogue game. Truth-functions: can then be proved as sentences about the dialogic use of the functions. (See, VIII 3). --- I 188 N.B.: the successful defense of a formula in dialogue is not sufficient to prove the effective logical truth (logical validity) of this formula. For this proof it must be shown that the formula can be successfully defended against any possible strategy of the opponent. --- Thiel I 103 Logic/Lorenzen: It was only in the sixties that a construction of logic was developed, which can also be described as a justification in scientific theory and in a philosophical sense. It provides a possibility, not yet seen, for the justification of both the classical and the constructive concept of the "validity" of logical propositions. (Lorenzens' "dialogical logic" with proponent and opponent, also "argumentation-theoretical structure of logic"). It is supposed to show that the axiomatic derivation does not constitute the whole meaning of the proof, but that a proof should provide reasons for the truth or validity of the proved proposition. .. + .. I 105. |
Lorn I P. Lorenzen Constructive Philosophy Cambridge 1987 T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |

back to list view | > Suggest your own contribution | > Suggest a correction

Ed. Martin Schulz, access date 2017-03-27