40 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] |
13776 | Truths say of what is that it is, falsehoods say of what is that it is not [Plato] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
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] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
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] |