21 ideas
| 9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
| Full Idea: ZF set theory is a first-order axiomatization. Variables range over sets, there are no second-order variables, and primitive predicates are just 'equals' and 'member of'. The axiom of extensionality says sets with the same members are identical. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 7) | |
| A reaction: If the eleven members of the cricket team are the same as the eleven members of the hockey team, is the cricket team the same as the hockey team? Our cricket team is better than our hockey team, so different predicates apply to them. |
| 9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
| Full Idea: The main alternative to ZF is two-sorted theories, with some variables ranging over classes. Classes have more generous existence assumptions: there is a universal class, containing all sets, and a class containing all ordinals. Classes are not members. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 7.1.1) | |
| A reaction: My intuition is to prefer strict systems when it comes to logical theories. The whole point is precision. Otherwise we could just think about things, and skip all this difficult symbolic stuff. |
| 9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
| Full Idea: It must not be concluded from the rejection of excluded middle that intuitionistic logic operates with three values: true, false, and neither true nor false. It does not make use of true and false, but only with a construction being a proof. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 8.1) | |
| A reaction: This just sounds like verificationism to me, with all its problems. It seems to make speculative statements meaningless, which can't be right. Realism has lots of propositions which are assumed to be true or false, but also unknowable. |
| 9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
| Full Idea: First-order logic is distinguished by generalizations (quantification) only over objects: second-order logic admits generalizations or quantification over properties or kinds of objects, and over relations between them, and functions defined over them. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 3.1) | |
| A reaction: Second-order logic was introduced by Frege, but is (interestingly) rejected by Quine, because of the ontological commitments involved. I remain unconvinced that quantification entails ontological commitment, so I'm happy. |
| 9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |
| Full Idea: There are two ways of characterizing logical truths and correct inference. Proof-theoretic or syntactic characterizations, if the formalization admits of proof or derivation; and model-theoretic or semantic versions, being true in all interpretations. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 3.1) | |
| A reaction: Dummett calls this distinction 'fundamental'. The second one involves truth, and hence meaning, where the first one just responds to rules. ..But how can you have a notion of correctly following a rule, without a notion of truth? |
| 9191 | Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett] |
| Full Idea: It can be argued that the notion of ordinal numbers is more fundamental than that of cardinals. To count objects, we must count them in sequence. ..The theory of ordinals forms the substratum of Cantor's theory of cardinals. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 5) | |
| A reaction: Depends what you mean by 'fundamental'. I would take cardinality to be psychologically prior ('that is a lot of sheep'). You can't order people by height without first acquiring some people with differing heights. I vote for cardinals. |
| 9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |
| Full Idea: The number 4 cannot be characterized solely by its position in a system, because it has different positions in the system of natural numbers and that of the positive whole numbers, whereas these systems have the very same structure. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 6.1) | |
| A reaction: Dummett seems to think this is fairly decisive against structuralism. There is also the structure of the real numbers. We will solve this by saying that the wholes are abstracted from the naturals, which are abstracted from the reals. Job done. |
| 18033 | The meaning of a representation is its role in thought, perception or decisions [Block] |
| Full Idea: According to conceptual role semantics, the meaning of a representation is the role of that representation in the cognitive life of the agent, for example, in perception, thought and decision-making. | |
| From: Ned Block (Semantics, Conceptual Role [1998]) | |
| A reaction: I never believe theories of this kind, because I always find myself asking 'what is the nature of this representation which enables it to play this role?'. |
| 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. |