19 ideas
2546 | Philosophy is a magnificent failure in its attempt to overstep the limits of our knowledge [McGinn] |
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] |
2544 | Thoughts have a dual aspect: as they seem to introspection, and their underlying logical reality [McGinn] |
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] |
2539 | Mental modules for language, social, action, theory, space, emotion [McGinn] |
2545 | Free will is mental causation in action [McGinn] |
4871 | A thing is free if it acts only by the necessity of its own nature [Spinoza] |
2543 | Brains aren't made of anything special, suggesting panpsychism [McGinn] |
2540 | Examining mind sees no brain; examining brain sees no mind [McGinn] |
2547 | There is information if there are symbols which refer, and which can combine into a truth or falsehood [McGinn] |
2542 | Causation in the material world is energy-transfer, of motion, electricity or gravity [McGinn] |