24 ideas
8000 | He who is ignorant of the history of philosophy is doomed to repeat it [Santayana, by MacIntyre] |
18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
18769 | Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA] |
18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA] |
11116 | Being a physical object is our most fundamental category [Jubien] |
18766 | 's is non-existent' cannot be said if 's' does not designate [Anderson,CA] |
18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA] |
18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA] |
11117 | Haecceities implausibly have no qualities [Jubien] |
18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
11119 | De re necessity is just de dicto necessity about object-essences [Jubien] |
11118 | Modal propositions transcend the concrete, but not the actual [Jubien] |
11108 | Your properties, not some other world, decide your possibilities [Jubien] |
11111 | Modal truths are facts about parts of this world, not about remote maximal entities [Jubien] |
11109 | If other worlds exist, then they are scattered parts of the actual world [Jubien] |
11106 | If all possible worlds just happened to include stars, their existence would be necessary [Jubien] |
11112 | Possible worlds just give parallel contingencies, with no explanation at all of necessity [Jubien] |
11113 | Worlds don't explain necessity; we use necessity to decide on possible worlds [Jubien] |
11107 | If there are no other possible worlds, do we then exist necessarily? [Jubien] |
11105 | We have no idea how many 'possible worlds' there might be [Jubien] |
11110 | We mustn't confuse a similar person with the same person [Jubien] |