28 ideas
23449 | Interpreting a text is representing it as making sense [Morris,M] |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
23484 | Bipolarity adds to Bivalence the capacity for both truth values [Morris,M] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
23494 | Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M] |
23451 | Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M] |
23460 | To count, we must distinguish things, and have a series with successors in it [Morris,M] |
23452 | Discriminating things for counting implies concepts of identity and distinctness [Morris,M] |
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] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
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] |
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] |
23491 | There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M] |