8 ideas
17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
15946 | Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine] |
17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
15911 | Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine] |
17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
2596 | Maybe mind and body are parallel, like two good clocks [Leibniz] |
17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |
2595 | If the universe is a perfect agreement of uncommunicating substances, there must be a common source [Leibniz] |