|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.|
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.
Die Grundlagen der Arithmetik Stuttgart 1987
Funktion, Begriff, Bedeutung Göttingen 1994
Logische Untersuchungen Göttingen 1993