29 ideas
6319 | Wise people choose inaction and silence [Laozi (Lao Tzu)] |
6325 | One who knows does not speak; one who speaks does not know [Laozi (Lao Tzu)] |
6321 | Vulgar people are alert; I alone am muddled [Laozi (Lao Tzu)] |
18776 | Contextual definitions eliminate descriptions from contexts [Linsky,B] |
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
18774 | Definite descriptions, unlike proper names, have a logical structure [Linsky,B] |
21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
6328 | To know yet to think that one does not know is best [Laozi (Lao Tzu)] |
6323 | Pursuit of learning increases activity; the Way decreases it [Laozi (Lao Tzu)] |
6331 | Truth is not beautiful; beautiful speech is not truthful [Laozi (Lao Tzu)] |
6330 | One with no use for life is wiser than one who values it [Laozi (Lao Tzu)] |
6327 | Do good to him who has done you an injury [Laozi (Lao Tzu)] |
23402 | The highest virtue is achieved without effort [Laozi (Lao Tzu)] |
6324 | To gain in goodness, treat as good those who are good, and those who are not [Laozi (Lao Tzu)] |
6322 | There is no crime greater than having too many desires [Laozi (Lao Tzu)] |
6320 | The best rulers are invisible, the next admired, the next feared, and the worst are exploited [Laozi (Lao Tzu)] |
6329 | People are hard to govern because authorities love to do things [Laozi (Lao Tzu)] |
6326 | The better known the law, the more criminals there are [Laozi (Lao Tzu)] |
23401 | A military victory is not a thing of beauty [Laozi (Lao Tzu)] |