10 ideas
20771 | Six parts: dialectic, rhetoric, ethics, politics, physics, theology [Cleanthes, by Diog. Laertius] |
10163 | Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman] |
10760 | With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg] |
16189 | The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen] |
15132 | The Barcan formulas fail in models with varying domains [Kripke, by Williamson] |
5987 | Alcmaeon was the first to say the brain is central to thinking [Alcmaeon, by Staden, von] |
6028 | Bodies interact with other bodies, and cuts cause pain, and shame causes blushing, so the soul is a body [Cleanthes, by Nemesius] |
20831 | The soul suffers when the body hurts, creates redness from shame, and pallor from fear [Cleanthes] |
5993 | The ascending scale of living creatures requires a perfect being [Cleanthes, by Tieleman] |
24043 | Soul must be immortal, since it continually moves, like the heavens [Alcmaeon, by Aristotle] |