2 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. |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
Full Idea: Whereas particular reality statements are in principle completely verifiable or falsifiable, things are different for general reality statements: they can indeed be conclusively falsified, they can acquire a negative truth value, but not a positive one. | |
From: Karl Popper (Two Problems of Epistemology [1932], p.256), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 18 'Laws' | |
A reaction: This sounds like a logician's approach to science, but I prefer to look at coherence, where very little is actually conclusive, and one tinkers with the theory instead. |