8 ideas
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
8132 | We now have a much more sophisticated understanding of logical form in language [Burge] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
8126 | Anti-individualism says the environment is involved in the individuation of some mental states [Burge] |
8127 | Broad concepts suggest an extension of the mind into the environment (less computer-like) [Burge] |
8129 | Anti-individualism may be incompatible with some sorts of self-knowledge [Burge] |
8131 | Some qualities of experience, like blurred vision, have no function at all [Burge] |