17 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] |
| 7720 | Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe] |
| 7712 | On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 7710 | Perception is a mode of belief-acquisition, and does not involve sensation [Lowe] |
| 7711 | Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe] |
| 7714 | Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe] |
| 7715 | Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe] |
| 7722 | If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe] |
| 9409 | Laws are the best axiomatization of the total history of world events or facts [Lewis, by Mumford] |
| 9423 | If simplicity and strength are criteria for laws of nature, that introduces a subjective element [Mumford on Lewis] |
| 9424 | A number of systematizations might tie as the best and most coherent system [Mumford on Lewis] |