35 ideas
7278 | Words of wisdom are precise and clear [Zhuangzi (Chuang Tzu)] |
7281 | Don't even start, let's just stay put [Zhuangzi (Chuang Tzu)] |
7282 | Disagreement means you do not understand at all [Zhuangzi (Chuang Tzu)] |
7284 | If you beat me in argument, does that mean you are right? [Zhuangzi (Chuang Tzu)] |
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [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] |
10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
10284 | There are three different standard presentations of semantics [Hodges,W] |
10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
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] |
10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
7289 | Do not try to do things, or to master knowledge; just be empty [Zhuangzi (Chuang Tzu)] |
23403 | You know you were dreaming when you wake, but there might then be a greater awakening from that [Zhuangzi (Chuang Tzu)] |
7285 | Did Chuang Tzu dream he was a butterfly, or a butterfly dream he was Chuang Tzu? [Zhuangzi (Chuang Tzu)] |
7277 | The perfect man has no self [Zhuangzi (Chuang Tzu)] |
7286 | To see with true clarity, your self must be irrelevant [Zhuangzi (Chuang Tzu)] |
7279 | If words can't be defined, they may just be the chirruping of chicks [Zhuangzi (Chuang Tzu)] |
23404 | Words are for meaning, and once you have that you can forget the words [Zhuangzi (Chuang Tzu)] |
7283 | Great courage is not violent [Zhuangzi (Chuang Tzu)] |
7280 | As all life is one, what need is there for words? [Zhuangzi (Chuang Tzu)] |
7288 | Go with the flow, and be one with the void of Heaven [Zhuangzi (Chuang Tzu)] |
7287 | Fish forget about each other in the pond and forget each other in the Tao [Zhuangzi (Chuang Tzu)] |