15 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] |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| 4261 | The Lottery Paradox says each ticket is likely to lose, so there probably won't be a winner [Bonjour, by PG] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 4255 | Externalist theories of knowledge are one species of foundationalism [Bonjour] |
| 4257 | The big problem for foundationalism is to explain how basic beliefs are possible [Bonjour] |
| 4256 | The main argument for foundationalism is that all other theories involve a regress leading to scepticism [Bonjour] |
| 4258 | Extreme externalism says no more justification is required than the truth of the belief [Bonjour] |
| 4259 | External reliability is not enough, if the internal state of the believer is known to be irrational [Bonjour] |
| 4260 | Even if there is no obvious irrationality, it may be irrational to base knowledge entirely on external criteria [Bonjour] |
| 20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |