Philosophy Lexicon of Arguments

Author Item Excerpt Meta data

Books on Amazon
I 53
Isomorphism/Mathematics/general public/generalization/axioms/Hilbert/Waismann:
New: in modern mathematics one came to the realization that geometrical sentences can be applied to a completely different field.
For example, all the theorems that are about the straight lines of our space can be interpreted as being about all the points of a four-dimensional space. The two thought systems are completely isomorphic (built the same).
The sensuous appearance thus plays no role for the validity of the sentences. One is now consciously dispensing with saying what a straight line is.
I 54
Point, line, plane, are understood to mean any things for which the axioms set forth are true.
Hilbert gives an example: the numerical distribution of deviations in the cultivation of Drosophila (flies) coincide with the linear Euclidean axioms of congruence and the geometric concept "between". So simple and so accurate as you would not have dreamed of.
I 55
The last step: also the signs of the logic calculus are content-wise undefined. (connection signs).
Problem: consistency must first be defined e.g.:
Definition consistent: is a formula system, if, in it, 1 unequal 1 does never occur.
Metamathematics is then content-related, with the main goal of consistency.
Hilbert: The axioms and provable propositions are representations of the thoughts which constituted the usual method of the previous mathematics, but they are not themselves the truths in the absolute sense. -> truth/Waismann, truth/Hilbert.

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.

Wa I
F. Waismann
Einführung in das mathematische Denken Darmstadt 1996

F. Waismann
Logik, Sprache, Philosophie Stuttgart 1976

> Counter arguments against Waismann

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  

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-09-21