Combining Texts

Ideas for 'fragments/reports', 'works' and 'Building Blocks of Mathematical Logic'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699	Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]
	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.