18 ideas
22664 | I do not care if my trivial beliefs are false, and I have no interest in many truths [Nozick] |
22665 | Maybe James was depicting the value of truth, and not its nature [Nozick] |
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] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
16678 | Without magnitude a thing would retain its parts, but they would have no location [Buridan] |
16793 | A thing is (less properly) the same over time if each part is succeeded by another [Buridan] |
16577 | Induction is not demonstration, because not all of the instances can be observed [Buridan] |
16576 | Science is based on induction, for general truths about fire, rhubarb and magnets [Buridan] |
22662 | In the instrumental view of rationality it only concerns means, and not ends [Nozick] |
22666 | Is it rational to believe a truth which leads to permanent misery? [Nozick] |
22667 | Rationality needs some self-consciousness, to also evaluate how we acquired our reasons [Nozick] |
22663 | Rationality is normally said to concern either giving reasons, or reliability [Nozick] |