41 ideas
13786 | Wisdom is called 'beautiful', because it performs fine works [Plato] |
13780 | Good people are no different from wise ones [Plato] |
13778 | A dialectician is someone who knows how to ask and to answer questions [Plato] |
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
13776 | Truths say of what is that it is, falsehoods say of what is that it is not [Plato] |
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] |
13777 | A name is a sort of tool [Plato] |
13790 | A name-giver might misname something, then force other names to conform to it [Plato] |
13791 | Things must be known before they are named, so it can't be the names that give us knowledge [Plato] |
13789 | Anyone who knows a thing's name also knows the thing [Plato] |
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] |
2063 | How can beauty have identity if it changes? [Plato] |
18680 | To avoid misunderstandings supervenience is often expressed negatively: no A-change without B-change [Orsi] |
13775 | We only succeed in cutting if we use appropriate tools, not if we approach it randomly [Plato] |
13787 | Doesn't each thing have an essence, just as it has other qualities? [Plato] |
13774 | Things don't have every attribute, and essence isn't private, so each thing has an essence [Plato] |
13772 | Is the being or essence of each thing private to each person? [Plato] |
13788 | If we made a perfect duplicate of Cratylus, there would be two Cratyluses [Plato] |
13792 | There can't be any knowledge if things are constantly changing [Plato] |
13781 | Soul causes the body to live, and gives it power to breathe and to be revitalized [Plato] |
18684 | Rather than requiring an action, a reason may 'entice' us, or be 'eligible', or 'justify' it [Orsi] |
18666 | Value-maker concepts (such as courageous or elegant) simultaneously describe and evaluate [Orsi] |
18667 | The '-able' concepts (like enviable) say this thing deserves a particular response [Orsi] |
18685 | Final value is favoured for its own sake, and personal value for someone's sake [Orsi] |
18679 | Things are only valuable if something makes it valuable, and we can ask for the reason [Orsi] |
18682 | A complex value is not just the sum of the values of the parts [Orsi] |
18683 | Trichotomy Thesis: comparable values must be better, worse or the same [Orsi] |
18686 | The Fitting Attitude view says values are fitting or reasonable, and values are just byproducts [Orsi] |
18672 | Values from reasons has the 'wrong kind of reason' problem - admiration arising from fear [Orsi] |
18677 | A thing may have final value, which is still derived from other values, or from relations [Orsi] |
18668 | Truths about value entail normative truths about actions or attitudes [Orsi] |
18670 | The Buck-Passing view of normative values says other properties are reasons for the value [Orsi] |
18669 | Values can be normative in the Fitting Attitude account, where 'good' means fitting favouring [Orsi] |
13785 | 'Arete' signifies lack of complexity and a free-flowing soul [Plato] |
13779 | The natural offspring of a lion is called a 'lion' (but what about the offspring of a king?) [Plato] |
13783 | Even the gods love play [Plato] |