33 ideas
| 17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| 17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
| 17716 | Mathematics is relations between properties we abstract from experience [Mares] |
| 17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
| 17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
| 17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
| 17700 | The most popular view is that coherent beliefs explain one another [Mares] |
| 17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
| 17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
| 17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
| 17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
| 17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
| 8239 | If the King likes music then there is hope for the state [Mengzi (Mencius)] |
| 23398 | Human nature is naturally compassionate and good (as a 'sprout'), but people may not be good [Mengzi (Mencius), by Norden] |
| 23400 | Righteousness is extending the unthinkable, to reveal what must be done [Mengzi (Mencius)] |
| 23399 | Each correct feeling relies on an underlying virtue [Mengzi (Mencius)] |
| 8235 | Should a coward who ran fifty paces from a battle laugh at another who ran a hundred? [Mengzi (Mencius)] |
| 8240 | A true king shares his pleasure with the people [Mengzi (Mencius)] |
| 8237 | Extend the treatment of the old and young in your family to the rest of society [Mengzi (Mencius)] |
| 8241 | Only put someone to death if the whole population believes it is deserved [Mengzi (Mencius)] |
| 8238 | Seeking peace through war is like looking for fish up a tree [Mengzi (Mencius)] |
| 8236 | Avoid the animals you are going to eat, as it is hard once you have got to know them [Mengzi (Mencius)] |
| 17708 | Maybe space has points, but processes always need regions with a size [Mares] |