|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.|
Books on Amazon
|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.
G. W. Leibniz
Philosophical Texts (Oxford Philosophical Texts) Oxford 1998
H. H. Holz
Leibniz Frankfurt 1992