32 ideas
15169 | Metaphysics is clarifying how we speak and think (and possibly improving it) [Sidelle] |
15164 | We seem to base necessities on thought experiments and imagination [Sidelle] |
18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
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] |
15180 | There doesn't seem to be anything in the actual world that can determine modal facts [Sidelle] |
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] |
15184 | Causal reference presupposes essentialism if it refers to modally extended entities [Sidelle] |
15172 | Clearly, essential predications express necessary properties [Sidelle] |
15181 | Being a deepest explanatory feature is an actual, not a modal property [Sidelle] |
15173 | That the essence of water is its microstructure is a convention, not a discovery [Sidelle] |
15185 | We aren't clear about 'same stuff as this', so a principle of individuation is needed to identify it [Sidelle] |
18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
15175 | Evaluation of de dicto modalities does not depend on the identity of its objects [Sidelle] |
15032 | Necessary a posteriori is conventional for necessity and nonmodal for a posteriority [Sidelle, by Sider] |
15179 | To know empirical necessities, we need empirical facts, plus conventions about which are necessary [Sidelle] |
15171 | The necessary a posteriori is statements either of identity or of essence [Sidelle] |
15167 | Empiricism explores necessities and concept-limits by imagining negations of truths [Sidelle] |
15177 | Contradictoriness limits what is possible and what is imaginable [Sidelle] |
15176 | The individuals and kinds involved in modality are also a matter of convention [Sidelle] |
15174 | A thing doesn't need transworld identity prior to rigid reference - that could be a convention of the reference [Sidelle] |
15183 | 'Dthat' operates to make a singular term into a rigid term [Sidelle] |
15165 | A priori knowledge is entirely of analytic truths [Sidelle] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
15168 | That water is essentially H2O in some way concerns how we use 'water' [Sidelle] |
15166 | Causal reference seems to get directly at the object, thus leaving its nature open [Sidelle] |
15182 | Because some entities overlap, reference must have analytic individuation principles [Sidelle] |
15178 | Can anything in science reveal the necessity of what it discovers? [Sidelle] |