33 ideas
| 7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
| 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] |
| 8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
| 9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
| 8518 | Events are trope-sequences, in which tropes replace one another [Campbell,K] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 8513 | Two red cloths are separate instances of redness, because you can dye one of them blue [Campbell,K] |
| 8514 | Red could only recur in a variety of objects if it was many, which makes them particulars [Campbell,K] |
| 8522 | Tropes solve the Companionship Difficulty, since the resemblance is only between abstract particulars [Campbell,K] |
| 8523 | Tropes solve the Imperfect Community problem, as they can only resemble in one respect [Campbell,K] |
| 8524 | Trope theory makes space central to reality, as tropes must have a shape and size [Campbell,K] |
| 8521 | Nominalism has the problem that without humans nothing would resemble anything else [Campbell,K] |
| 8515 | Tropes are basic particulars, so concrete particulars are collections of co-located tropes [Campbell,K] |
| 8519 | Bundles must be unique, so the Identity of Indiscernibles is a necessity - which it isn't! [Campbell,K] |
| 4033 | Two pure spheres in non-absolute space are identical but indiscernible [Campbell,K] |
| 11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
| 9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
| 7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |
| 9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
| 21500 | We rely on memory for empirical beliefs because they mutually support one another [Lewis,CI] |
| 21501 | If we doubt memories we cannot assess our doubt, or what is being doubted [Lewis,CI] |
| 6556 | If anything is to be probable, then something must be certain [Lewis,CI] |
| 21498 | Congruents assertions increase the probability of each individual assertion in the set [Lewis,CI] |
| 5828 | Extension is the class of things, intension is the correct definition of the thing, and intension determines extension [Lewis,CI] |
| 9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
| 8512 | Abstractions come before the mind by concentrating on a part of what is presented [Campbell,K] |
| 8517 | Causal conditions are particular abstract instances of properties, which makes them tropes [Campbell,K] |
| 8516 | Davidson can't explain causation entirely by events, because conditions are also involved [Campbell,K] |
| 9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |