15 ideas
| 21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
| 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] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |
| 3444 | If actions are not caused by other events, and are not causeless, they must be caused by the person [Chisholm] |
| 3446 | For Hobbes (but not for Kant) a person's actions can be deduced from their desires and beliefs [Chisholm] |
| 9268 | If free will miraculously interrupts causation, animals might do that; why would we want to do it? [Frankfurt on Chisholm] |
| 3442 | Responsibility seems to conflict with events being either caused or not caused [Chisholm] |
| 3443 | Desires may rule us, but are we responsible for our desires? [Chisholm] |
| 3445 | Causation among objects relates either events or states [Chisholm] |