18 ideas
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| Full Idea: By a 'propositional function' I mean something which contains a variable x, and expresses a proposition as soon as a value is assigned to x. That is to say, it differs from a proposition solely by the fact that it is ambiguous. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.216) | |
| A reaction: This is Frege's notion of a 'concept', as an assertion of a predicate which still lacks a subject. |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| Full Idea: Such a proposition as 'all the judgements made by Epimenedes are true' will only be prima facie capable of truth if all his judgements are of the same order. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.227) | |
| A reaction: This is an attempt to use his theory of types to solve the Liar. Tarski's invocation of a meta-language is clearly in the same territory. |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| Full Idea: Russell's theory of types meant that features common to different levels of the hierarchy became uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions). | |
| From: comment on Bertrand Russell (The Theory of Logical Types [1910]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H | |
| A reaction: I'm not clear whether this is the main reason why type theory was abandoned. Ramsey was an important critic. |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| Full Idea: In Russell's mature 1910 theory of types classes are defined in terms of propositional functions, and functions themselves are regimented by a ramified theory of types mitigated by the axiom of reducibility. | |
| From: report of Bertrand Russell (The Theory of Logical Types [1910]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133 |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| Full Idea: We will define a function of one variable as 'predicative' when it is of the next order above that of its arguments, i.e. of the lowest order compatible with its having an argument. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.237) | |
| A reaction: 'Predicative' just means it produces a set. This is Russell's strict restriction on which functions are predicative. |
| 3926 | The human heart has a natural concern for public good [Hume] |
| Full Idea: While the human heart is compounded of the same elements as at present, it will never be wholly indifferent to public good. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.I.222) | |
| A reaction: Even criminals can be patriotic. Why do people dump rubbish in beauty spots? |
| 3929 | No moral theory is of any use if it doesn't serve the interests of the individual concerned [Hume] |
| Full Idea: What theory of morals can ever serve any useful purpose, unless it can show, by a particular detail, that all the duties which it recommends, are also the true interest of each individual? | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.II.228) | |
| A reaction: It is hard to disagree, even if occasional cases of extreme altruism can occur. |
| 3925 | Personal Merit is the possession of useful or agreeable mental qualities [Hume] |
| Full Idea: Personal Merit consists altogether in the possession of mental qualities, useful or agreeable to the person himself or to others. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.I.217) | |
| A reaction: If pleasure and utility can be intrinsically valuable, why can't virtue be as well? |
| 3922 | Justice only exists to support society [Hume] |
| Full Idea: The necessity of justice to the support of society is the sole foundation of that virtue. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], III.II.163) | |
| A reaction: A sense of fairness precedes the building of a society, rather than arising out of it. |
| 23560 | If we all naturally had everything we could ever desire, the virtue of justice would be irrelevant [Hume] |
| Full Idea: Suppose nature has bestowed on humans such abundance of external conveniences that every individual is fully provided with whatever his appetites can want. …Justice, in that case, would be totally useless, and have no place in the catalogue of virtues. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], I.III.145) | |
| A reaction: [compressed] This seems to emphasise possessions and satisfaction of appetites, but presumably it would also need total security from other humans, which nature might struggle to provide. No sharing in this imagined world. |
| 3918 | Moral philosophy aims to show us our duty [Hume] |
| Full Idea: The end of all moral speculations is to teach us our duty. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], I.136) | |
| A reaction: A surprising view from someone who thinks morals are basically sentiment. |
| 3919 | Conclusions of reason do not affect our emotions or decisions to act [Hume] |
| Full Idea: Inference and conclusions of the understanding have no hold of the affections nor set in motion the active powers of man. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], I.136) | |
| A reaction: I disagree. This is a typical empiricist separation of ideas from experience, of inner from outer, of analytic from synthetic. |
| 3928 | Virtue just requires careful calculation and a preference for the greater happiness [Hume] |
| Full Idea: The sole trouble which virtue demands is that of just calculation, and a steady preference for the greater happiness. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.II.228) | |
| A reaction: Hume was the parent of utilitarianism. Can one person exhibit virtue on a desert island? |
| 3923 | No one would cause pain to a complete stranger who happened to be passing [Hume] |
| Full Idea: Would any man, who is walking along, tread as willingly on another's gouty toes, whom he has no quarrel with, as on the hard flint and pavement? | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], V.II.183) | |
| A reaction: He is right that we empathise with the pain of others, and this is presumably one of the bases of morality. Animals lack sympathy for other animals. |
| 3924 | Nature makes private affections come first, because public concerns are spread too thinly [Hume] |
| Full Idea: It is wisely ordained by nature, that private connexions should commonly prevail over universal views and considerations; otherwise our affections and actions would be dissipated and lost, for want of a proper limited object. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], V.II.186n) | |
| A reaction: A very good objection to the excessively altruistic demands of utilitarianism. |
| 3921 | The safety of the people is the supreme law [Hume] |
| Full Idea: The safety of the people is the supreme law. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], III.II.157) | |
| A reaction: No political system ever seems able to disagree with this. |
| 3927 | Society prefers helpful lies to harmful truth [Hume] |
| Full Idea: Truths which are pernicious to society, if any such there be, will yield to errors which are salutary and advantageous. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], IX.II.228) | |
| A reaction: Hume probably meant religion. Two centuries later we have a greater appetite for uncomfortable truth. |
| 3920 | If you equalise possessions, people's talents will make them unequal again [Hume] |
| Full Idea: Render possessions ever so equal, men's different degrees of art, care, and industry will immediately break that equality. | |
| From: David Hume (Enquiry concerning Principles of Morals [1751], III.II.155) | |
| A reaction: This might not be so if there is a totalitarian restriction of economic freedom. |