41 ideas
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] |
15105 | F(x) walked into a bar. The barman said.. [Sommers,W] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
12408 | Sartre to Waitress: Coffee with no cream, please... [Sommers,W] |
12397 | Said Plato: 'The things that we feel... [Sommers,W] |
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] |
12407 | Barman to Descartes: Would you like another drink?... [Sommers,W] |
12399 | There was a young student called Fred... [Sommers,W] |
20963 | A philosopher and his wife are out for a drive... [Sommers,W] |
12404 | Dear Sir, Your astonishment's odd.... [Sommers,W] |
12403 | There once was a man who said: 'God... [Sommers,W] |
12402 | ..But if he's a student of Berkeley... [Sommers,W] |
12409 | The philosopher Berkeley once said.. [Sommers,W] |
17052 | The a priori analytic truths involving fixing of reference are contingent [Kripke] |
14694 | "My dog's got synaesthesia." How does he smell? ..... [Sommers,W] |
12401 | A toper who spies in the distance... [Sommers,W] |
4969 | I regard the mind-body problem as wide open, and extremely confusing [Kripke] |
12410 | There once was a man who said 'Damn!... [Sommers,W] |
9392 | How do behaviourists greet each other? [Sommers,W] |
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] |
12405 | 'If you're aristocratic,' said Nietzsche... [Sommers,W] |
9391 | Why do anarchists drink herbal tea? [Sommers,W] |
12400 | Cries the maid: 'You must marry me Hume!'... [Sommers,W] |
16527 | Causation - we all thought we knew it/ Till Hume came along and saw through it/…. [Sommers,W] |
17592 | The barman called 'Time!', and Augustine said..... [Sommers,W] |
15208 | The past, present and future walked into a bar.... [Sommers,W] |