25 ideas
13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
7855 | Some suggest that materialism is empty, because 'physical' cannot be properly characterized [Mellor/Crane, by Papineau] |
13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |
13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
6120 | Causation depends on intrinsic properties [Mellor/Crane] |
6121 | There are many psychophysicals laws - about the effects of sweets, colours and soft cushions [Mellor/Crane] |
6122 | No defences of physicalism can deprive psychology of the ontological authority of other sciences [Mellor/Crane] |