Dictionary of Arguments

Screenshot Tabelle Begriffe

 
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.

 
Author Item Summary Meta data
Thiel I 91
Proof/Analysis/Synthesis/Frege/Thiel: Frege, Basic Laws of Arithmetic: the "decomposition"(analysis) is only for the convenience of the reader, while the following "construction" (>synthesis) contains the actual compelling proof.


_____________
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.

F I
G. Frege
Die Grundlagen der Arithmetik Stuttgart 1987

F II
G. Frege
Funktion, Begriff, Bedeutung Göttingen 1994

F IV
G. Frege
Logische Untersuchungen Göttingen 1993

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995


Send Link
> Counter arguments against Frege

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



Ed. Martin Schulz, access date 2019-03-20
Legal Notice   Contact   Data protection declaration