Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Proofs: A proof in logic, mathematics is a finite string of symbols, which derives a statement in a system from the axioms of the system together with already proven statements. See also Proof theory, Provability, Syntax, Axioms._____________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. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
P. Lorenzen on Proofs - Dictionary of Arguments
Berka I 267 Definition Proof/Dialogical Logic/Lorenzen: E.g. the assertion of such statements as (1) (Ex) R (x, n) should not trigger a meaningless dispute! It is obvious, then, to agree on that the person who claims (1) is also obliged to give a number m, so that (2) R (m,n) is true. If he cannot do this, he has "lost" his claim. (1) is "proved" by (2) if this latter statement is true. Since (2) is decisive-definite, it is here defined how to decide whether the statement presented as "proof" is really a "proof". Definition proof-definite/Lorenzen: proof-definite are statements whose use is defined in the dialogue so that it is clear how to decide whether a statement is a proof. To this belongs in mathematics, for example, assertions about the derivability of a figure in a calculus.(1) >Derivability, >Calculus. 1. P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, in: Infinitistic Methods, (1961), 193-200 --- Thiel I 256 ff Proof/Lorenzen: Dialogical proof procedure according to Lorenzen (Proponent/Opponent) ... + ... in a certain situation the proponent wins quite independently of whether the opponent can justify his position or not. >Dialogical logic. The proponent wins against any opponent regardless of the truth value, but not independently of the knowledge of the truth value! >Intuitionist. Because he needs this knowledge to make the right choice. This separates the effectively universal theses from the just classic generally valid ones. The classical ones are the ones that he can find on the basis of the knowledge of the truth values through the winning strategy. The effective ones are those through which a dialogue can be won without knowledge of the truth values. >Truth values._____________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. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Lorn I P. Lorenzen Constructive Philosophy Cambridge 1987 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |
||
Ed. Martin Schulz, access date 2024-04-16