17 ideas
23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
3509 | Externalism may be the key idea in philosophical naturalism [Papineau] |
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] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |