32 ideas
8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
15127 | A categorical basis could hardly explain a disposition if it had no powers of its own [Hawthorne] |
15123 | Is the causal profile of a property its essence? [Hawthorne] |
15122 | Could two different properties have the same causal profile? [Hawthorne] |
15124 | If properties are more than their powers, we could have two properties with the same power [Hawthorne] |
14590 | If we accept scattered objects such as archipelagos, why not think of cars that way? [Hawthorne] |
15128 | We can treat the structure/form of the world differently from the nodes/matter of the world [Hawthorne] |
15121 | An individual essence is a necessary and sufficient profile for a thing [Hawthorne] |
14591 | Four-dimensionalists say instantaneous objects are more fundamental than long-lived ones [Hawthorne] |
8970 | Our notion of identical sets involves identical members, which needs absolute identity [Hawthorne] |
14589 | A modal can reverse meaning if the context is seen differently, so maybe context is all? [Hawthorne] |
19553 | Commitment to 'I have a hand' only makes sense in a context where it has been doubted [Hawthorne] |
19551 | How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne] |
19552 | We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne] |
19554 | Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne] |
8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
15126 | Maybe scientific causation is just generalisation about the patterns [Hawthorne] |
15125 | We only know the mathematical laws, but not much else [Hawthorne] |
14588 | Modern metaphysicians tend to think space-time points are more fundamental than space-time regions [Hawthorne] |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |