13 ideas
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| 11984 | Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga] |
| 11980 | A possible world is a maximal possible state of affairs [Plantinga] |
| 11982 | If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga] |
| 11983 | It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga] |
| 11985 | If individuals can only exist in one world, then they can never lack any of their properties [Plantinga] |
| 11986 | The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga] |
| 11987 | Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga] |
| 2854 | Prescriptivism says 'ought' without commitment to act is insincere, or weakly used [Hooker,B] |
| 2856 | Universal moral judgements imply the Golden Rule ('do as you would be done by') [Hooker,B] |