14 ideas
13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
13590 | Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine] |
9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
8483 | Necessity is relative to context; it is what is assumed in an inquiry [Quine] |
13589 | Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine] |
13588 | A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine] |
13592 | Beliefs can be ascribed to machines [Quine] |
9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |
5994 | Is the cosmos open or closed, mechanical or teleological, alive or inanimate, and created or eternal? [Robinson,TM, by PG] |