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 |
|---|---|---|---|
|
G.W. Leibniz on Proofs - Dictionary 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. 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. I 66 Proof/truths of facts/Leibniz: if the entire chain cannot be given, a reason must be given. >Reason/Leibniz, >Ultimate justification/Leibniz, >Truth/Leibniz, >Order/Leibniz, >Principles/Leibniz._____________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. |
Lei II G. W. Leibniz Philosophical Texts (Oxford Philosophical Texts) Oxford 1998 Holz I Hans Heinz Holz Leibniz Frankfurt 1992 Holz II Hans Heinz Holz Descartes Frankfurt/M. 1994 |
||
Ed. Martin Schulz, access date 2024-04-28