12 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
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] |
8526 | We might treat both tropes and substances as fundamental, so we can't presume it is just tropes [Daly] |
8527 | More than one trope (even identical ones!) can occupy the same location [Daly] |
8528 | If tropes are linked by the existence of concurrence, a special relation is needed to link them all [Daly] |