16 ideas
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
10027 | Mathematics is higher-order modal logic [Hodes] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
3986 | The 'intentional stance' is a way of interpreting an entity by assuming it is rational and self-aware [Dennett] |
3987 | Like the 'centre of gravity', desires and beliefs are abstract concepts with no actual existence [Dennett] |
3984 | The nature of content is entirely based on its functional role [Dennett] |
3983 | Learning is evolution in the brain [Dennett] |
3985 | Biology is a type of engineering, not a search for laws of nature [Dennett] |