26 ideas
23064 | So-called wisdom is just pondering things instead of acting [Cioran] |
23072 | Systems are the worst despotism, in philosophy and in life [Cioran] |
23075 | A text explained ceases to be a text [Cioran] |
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
23066 | Negation doesn't arise from reasoning, but from deep instincts [Cioran] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
23077 | The word 'being' is very tempting, but in fact means nothing at all [Cioran] |
23068 | People who really believe anti-realism don't bother to prove it [Cioran] |
23073 | Convictions are failures to study anything thoroughly [Cioran] |
23078 | Opinions are fine, but having convictions means something has gone wrong [Cioran] |
23076 | If people always acted without words we would take them for robots [Cioran] |
23065 | If only we could write like a reptile, of endless sensations and no concepts! [Cioran] |
23071 | We could only be responsible if we had consented before birth to who we are [Cioran] |
23070 | We morally dissolve if we spend time with excessive beauty [Cioran] |
5655 | Happiness is not satisfaction of desires, but fulfilment of values [Bradley, by Scruton] |
23074 | In anxiety people cling to what reinforces it, because it is a deep need [Cioran] |
23069 | Fear cures boredom, because it is stronger [Cioran] |
23062 | It is better to watch the hours pass, than trying to fill them [Cioran] |
23067 | Suicide is pointless, because it always comes too late [Cioran] |
23063 | The first man obviously found paradise unendurable [Cioran] |