13 ideas
23476 | Logical constants seem to be entities in propositions, but are actually pure form [Russell] |
23477 | We use logical notions, so they must be objects - but I don't know what they really are [Russell] |
18273 | Logical truths are known by their extreme generality [Russell] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
22315 | There can't be a negative of a complex, which is negated by its non-existence [Potter on Russell] |
7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |