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. |
7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |
Full Idea: The forefather of modern intuitionism is Richard Price. | |
From: report of Richard Price (works [1760]) by Jonathan Dancy - Intuitionism |
7492 | Early societies are based on community, and modern societies on association [Tönnies, by Watson] |
Full Idea: Pre-modern societies are based on community (Gemeinschaft), whereas modern societies are based on association (Gesellschaft). | |
From: report of Ferdinand Tönnies (Community and Association [1887]) by Peter Watson - Ideas Ch.32 | |
A reaction: A very interesting distinction. The modern term implies contracts, and it strikes me as an extremely accurate description of modern liberal democracies. There is very little sense of community, but a strong sense of innumerable contracts that bind us. |