Philosophy Dictionary of ArgumentsHome | |||
| |||
G.W. Leibniz - Philosophy Dictionary of Arguments | |||
G.W. Leibniz (1646-1716), German philosopher, mathematician, scientist, jurist, diplomat, librarian, and polymath. His major works include Dissertatio de arte combinatoria (1666), Discours de métaphysique (1686), and Monadologie (1714). He mainly worked on philosophy, mathematics, science, and law.
Standard data for cataloging: VIAF LCCN GND | |||
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 | Item | More concepts for author | |
---|---|---|---|
Aristotle | Proofs | Aristotle | |
Barrow, John D. | Proofs | Barrow | |
Chalmers, David | Proofs | Chalmers | |
Deutsch, David | Proofs | Deutsch | |
Dummett, Michael E. | Proofs | Dummett | |
d’Abro, A. | Proofs | d’Abro | |
Frege, Gottlob | Proofs | Frege | |
Genz, Hennig | Proofs | Genz | |
Goodman, Nelson | Proofs | Goodman | |
Heidegger, Martin | Proofs | Heidegger | |
Lakatos, Imre | Proofs | Lakatos | |
Leibniz, G.W. | Proofs | Leibniz | |
Logic Texts | Proofs | Logic Texts | |
Lorenzen, Paul | Proofs | Lorenzen | |
Mayr, Ernst | Proofs | Mayr | |
Nozick, Robert | Proofs | Nozick | |
Quine, W.V.O. | Proofs | Quine | |
Schopenhauer, Arthur | Proofs | Schopenhauer | |
Tarski, Alfred | Proofs | Tarski | |
Vollmer, Gerhard | Proofs | Vollmer | |
Waismann, Friedrich | Proofs | Waismann | |
Wittgenstein, Ludwig | Proofs | Wittgenstein | |
|