13 ideas
| 16186 | The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen] |
| 16187 | The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen] |
| 16190 | BF implies that if W possibly had a child, then something is possibly W's child [Simchen] |
| 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] |
| 10496 | Monothetic categories have fixed defining features, and polythetic categories do not [Ellen] |
| 10497 | In symbolic classification, the categories are linked to rules [Ellen] |
| 10494 | Several words may label a category; one word can name several categories; some categories lack words [Ellen] |
| 10495 | Continuous experience sometimes needs imposition of boundaries to create categories [Ellen] |
| 16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
| 10498 | Classification is no longer held to be rooted in social institutions [Ellen] |