19 ideas
5637 | Nowadays logic is seen as the science of extensions, not intensions [Scruton] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
8228 | Being is revealed at the point between waking and sleep [Anon (Cent)] |
8232 | Neglect your self, and feel the consciousness of each other being [Anon (Cent)] |
5636 | Cartesian 'ideas' confuse concepts and propositions [Scruton] |
8230 | Just as you have the impulse to do something, stop [Anon (Cent)] |
5660 | Allegiance is prior to the recognition of individual rights [Scruton] |
8234 | Bondage and liberation are relative terms, which only frighten those already terrified of the universe [Anon (Cent)] |
5653 | A right is a power which is enforced in the name of justice [Scruton] |
8231 | Abandon attachment to body, and feel the joy of being everywhere [Anon (Cent)] |
8227 | Feel your whole body saturated with cosmic essence [Anon (Cent)] |
8229 | The serenity in blue sky beyond clouds [Anon (Cent)] |
8233 | Imagine fire burning up your whole body, but not you [Anon (Cent)] |