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] |
3509 | Externalism may be the key idea in philosophical naturalism [Papineau] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
3513 | How does a dualist mind represent, exist outside space, and be transparent to itself? [Papineau] |
3514 | Functionalism needs causation and intentionality to explain actions [Papineau] |
3510 | Epiphenomenalism is supervenience without physicalism [Papineau] |
3511 | Supervenience requires all mental events to have physical effects [Papineau] |
3515 | Knowing what it is like to be something only involves being (physically) that thing [Papineau] |
3512 | If a mental state is multiply realisable, why does it lead to similar behaviour? [Papineau] |
3516 | The Private Language argument only means people may misjudge their experiences [Papineau] |
1474 | Moral evil may be acceptable to God because it allows free will (even though we don't see why this is necessary) [Plantinga, by PG] |
1475 | It is logically possible that natural evil like earthquakes is caused by Satan [Plantinga, by PG] |