22 ideas
12801 | Coherentists seek relations among beliefs that are simple, conservative and explanatory [Foley] |
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] |
17000 | We might fix identities for small particulars, but it is utopian to hope for such things [Kripke] |
11868 | A different piece of wood could have been used for that table; constitution isn't identity [Wiggins on Kripke] |
17044 | A relation can clearly be reflexive, and identity is the smallest reflexive relation [Kripke] |
16999 | A vague identity may seem intransitive, and we might want to talk of 'counterparts' [Kripke] |
17058 | What many people consider merely physically necessary I consider completely necessary [Kripke] |
4970 | What is often held to be mere physical necessity is actually metaphysical necessity [Kripke] |
17059 | Unicorns are vague, so no actual or possible creature could count as a unicorn [Kripke] |
4950 | Possible worlds are useful in set theory, but can be very misleading elsewhere [Kripke] |
17003 | Kaplan's 'Dthat' is a useful operator for transforming a description into a rigid designation [Kripke] |
9221 | The best known objection to counterparts is Kripke's, that Humphrey doesn't care if his counterpart wins [Kripke, by Sider] |
17052 | The a priori analytic truths involving fixing of reference are contingent [Kripke] |
12800 | Externalists want to understand knowledge, Internalists want to understand justification [Foley] |
12802 | We aren't directly pragmatic about belief, but pragmatic about the deliberation which precedes it [Foley] |
12803 | Justification comes from acceptable procedures, given practical constraints [Foley] |
4969 | I regard the mind-body problem as wide open, and extremely confusing [Kripke] |
4956 | A description may fix a reference even when it is not true of its object [Kripke] |
17032 | Even if Gödel didn't produce his theorems, he's still called 'Gödel' [Kripke] |