5 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
9103 | A universal is not a real feature of objects, but only a thought-object in the mind [William of Ockham] |
5987 | Alcmaeon was the first to say the brain is central to thinking [Alcmaeon, by Staden, von] |
9104 | A universal is the result of abstraction, which is only a kind of mental picturing [William of Ockham] |
24043 | Soul must be immortal, since it continually moves, like the heavens [Alcmaeon, by Aristotle] |