|Proof in logic, mathematics: finite string of symbols, which derives a statement in a system from the axioms of the system together with already proven statements._____________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. |
|Holz I 48
Proof/Leibniz: Problem: if there is a chain of evidence, where is the beginning? A reasoning problem can easily lead to regress.
Holz I 56
Proof/Leibniz: so every proof is a "reductio ad absurdum". The proof does not require any direct assumptions or principles, but only more reflexive.
Evidence does not accept any principles at all, but only shows how certain hypotheses contradict each other: therefore there is no problem of reasoning for the principles here.
Holz I 66
Proof/truths of facts/Leibniz: if the entire chain cannot be given, a reason must be given._____________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.
G. W. Leibniz
Philosophical Texts (Oxford Philosophical Texts) Oxford 1998
Hans Heinz Holz
Descartes Frankfurt/M. 1994
H. H. Holz
Leibniz Frankfurt 1992