25 ideas
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [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] |
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] |
16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
16024 | I could have died at five, but the summation of my adult stages could not [Noonan] |
16023 | Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan] |
16015 | Problems about identity can't even be formulated without the concept of identity [Noonan] |
16017 | Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan] |
16016 | Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan] |
16020 | Identity can only be characterised in a second-order language [Noonan] |
16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |
16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
7357 | People who control others with fluent language often end up being hated [Kongzi (Confucius)] |
7358 | All men prefer outward appearance to true excellence [Kongzi (Confucius)] |
7362 | Humans are similar, but social conventions drive us apart (sages and idiots being the exceptions) [Kongzi (Confucius)] |
7360 | Do not do to others what you would not desire yourself [Kongzi (Confucius)] |
7359 | Excess and deficiency are equally at fault [Kongzi (Confucius)] |
7363 | The virtues of the best people are humility, maganimity, sincerity, diligence, and graciousness [Kongzi (Confucius)] |
7361 | Men of the highest calibre avoid political life completely [Kongzi (Confucius)] |
23393 | Confucianism assumes that all good developments have happened, and there is only one Way [Norden on Kongzi (Confucius)] |