25 ideas
5831 | The new view is that "water" is a name, and has no definition [Schwartz,SP] |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
5829 | We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP] |
5830 | The traditional theory of names says some of the descriptions must be correct [Schwartz,SP] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
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] |
4033 | Two pure spheres in non-absolute space are identical but indiscernible [Campbell,K] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
5826 | The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP] |
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] |