26 ideas
13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
8518 | Events are trope-sequences, in which tropes replace one another [Campbell,K] |
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] |
13590 | Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine] |
4033 | Two pure spheres in non-absolute space are identical but indiscernible [Campbell,K] |
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] |
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] |