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. |
| 4038 | Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver] |
| Full Idea: Lewis agrees that properties cannot be sets of their actual instances, but claims they can be sets of their possible instances. This would distinguish coextensive properties like being cordate and renate, since they might be separated. | |
| From: report of David Lewis (Modal Realism at Work: Properties [1986]) by DH Mellor / A Oliver - Introduction to 'Properties' §10 | |
| A reaction: Sounds wrong. Two properties could be obviously different even if they could never be separated. In this world a creature might briefly survive without kidneys. |
| 19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
| Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist? | |
| From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions | |
| A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done? |