8 ideas
4037 | Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver] |
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
4027 | Properties are respects in which particular objects may be alike or differ [Mellor/Oliver] |
4029 | Nominalists ask why we should postulate properties at all [Mellor/Oliver] |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |
4039 | Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver] |