Ideas from 'Building Blocks of Mathematical Logic' by Moses Schönfinkel [1924], by Theme Structure

[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].

green numbers give full details    |     back to texts     |     unexpand this idea


5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
Variables are auxiliary notions, and not part of the 'eternal' essence of logic
                        Full Idea: A variable in a proposition of logic ....has the status of a mere auxiliary notion that is really inappropriate to the constant, 'eternal' essence of the propositions of logic.
                        From: Moses Schönfinkel (Building Blocks of Mathematical Logic [1924], §1)
                        A reaction: He presumably thinks that what the variables stand for (and he mentions 'argument places' and 'operators') will be included in the essence. My attention was caught by the thought that he takes logic to have an essence.