10 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] |
| 9455 | Maybe proper names have the content of fixing a thing's category [Bealer] |
| 9454 | The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer] |
| 16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
| 9453 | Sentences saying the same with the same rigid designators may still express different propositions [Bealer] |
| 9452 | Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer] |
| 9451 | Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer] |
| 3029 | Stilpo said if Athena is a daughter of Zeus, then a statue is only the child of a sculptor, and so is not a god [Stilpo, by Diog. Laertius] |