3 ideas
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. |
12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
Full Idea: A whole must possess an attribute peculiar to and characteristic of it as a whole; there must be a characteristic relation of dependence between the parts; and the whole must have some structure which gives it characteristics. | |
From: Rescher,N/Oppenheim,P (Logical Analysis of Gestalt Concepts [1955], p.90), quoted by Peter Simons - Parts 9.2 | |
A reaction: Simons says these are basically sensible conditions, and tries to fill them out. They seem a pretty good start, and I must resist the temptation to rush to borderline cases. |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |