3 ideas
| 15380 | Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem] |
| Full Idea: Intuitively, the Barcan formula says that nothing comes into existence when moving from a possible world to an alternative world. The converse says that nothing goes out of existence. Together they say the domain of quantification is fixed for all worlds. | |
| From: Koen Vervloesem (Barcan Formulae [2010]) | |
| A reaction: Stated so clearly, they sound absurd. The sensible idea, I suppose, is that you can refer to all the things from any world, but that doesn't mean they are possible. Shades of Meinong. 'Square circles' are not possible. |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
| From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
| 19382 | Abstracta are abbreviated ways of talking; there are just substances, and truths about them [Leibniz] |
| Full Idea: I consider abstracta not as real things but as abbreviated ways of talking ...and to that extent I am a nominalist, at least provisionally ...It suffices to posit only substances as real things, and, to assert truths about these. | |
| From: Gottfried Leibniz (On the Reality of Accidents [1688]), quoted by Richard T.W. Arthur - Leibniz | |
| A reaction: I am a modern nominalist, in my hostility to a serious ontological commitment to abstracta. You get into trouble, though, if you say there are only objects or substances. Physics says reality may all be 'fields', or something.... 'Truths' is good. |