4 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
9992 | The 'extension of a concept' in general may be quantitatively completely indeterminate [Cantor] |
14286 | In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker] |
14285 | A possible world is the ontological analogue of hypothetical beliefs [Stalnaker] |