|Formalism: the thesis that statements acquire their meaning only from the rules for substituting, inserting, eliminating, forming, equality and inequality of symbols within a calculus or system. See also calculus, meaning, rules, content, correctness, systems, truth._____________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.|
Books on Amazon
Sign/FregeVsformalism: blank signs are only a blackening of the paper - their use would be a logical error - blank signs don’t solve any task - e.g. x + b = c: if b > c, there is no natural number x, which can be used - to accept the difference (c - b) as an artificial new sign is no solution - sign/Frege: where a solution is possible, it is not the sign that is the solution, but the meaning of the sign.
FregeVsformalism: only instructions for definitions - not the definition itself.
E.g. Number i: one has to re-explain the meaning of "sum" - FregeVsHilbert: it is not enough just to call for a sense._____________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.
Die Grundlagen der Arithmetik Stuttgart 1987
Funktion, Begriff, Bedeutung Göttingen 1994
Logische Untersuchungen Göttingen 1993