17 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. |
| 15086 | Absolute necessity might be achievable either logically or metaphysically [Hale] |
| Full Idea: Maybe peaceful co-existence between absolute logical necessity and absolute metaphysical necessity can be secured, ..and absolute necessity is their union. ...However, a truth would then qualify as absolutely necessary in two quite different ways. | |
| From: Bob Hale (Absolute Necessities [1996], 4) | |
| A reaction: Hale is addressing a really big question for metaphysic (absolute necessity) which others avoid. In the end he votes for rejecting 'metaphysical' necessity. I am tempted to vote for rejecting logical necessity (as being relative). 'Absolute' is an ideal. |
| 8261 | Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale] |
| Full Idea: It might be metaphysically necessary that p but logically possible that not-p, so that metaphysical necessity is not, after all, absolute. | |
| From: Bob Hale (Absolute Necessities [1996]), quoted by E.J. Lowe - The Possibility of Metaphysics 1.5 | |
| A reaction: Lowe presents this as dilemma, but it sounds fine to me. Flying pigs etc. have no apparent logical problems, but I can't conceive of a possible world where pigs like ours fly in a world like ours. Earthbound pigs may be metaphysically necessary. |
| 15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
| Full Idea: One type of necessity may be said to be 'stronger' than another when the first always entails the second, but not conversely. This will obtain only if the possibility of the first is weaker than the possibility of the second. | |
| From: Bob Hale (Absolute Necessities [1996], 1) | |
| A reaction: Thus we would normally say that if something is logically necessary (a very strong claim) then it will have to be naturally necessary. If something is naturally possible, then clearly it will have to be logically possible. Sounds OK. |
| 15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale] |
| Full Idea: Necessity is 'relative' if a claim of φ-necessary that p just claims that it is a logical consequence of some statements Φ that p. We have a 'strong' version if we add that the statements in Φ are all true, and a 'weak' version if not. | |
| From: Bob Hale (Absolute Necessities [1996], 1) | |
| A reaction: I'm not sure about 'logical' consequence here. It may be necessary that a thing be a certain way in order to qualify for some category (which would be 'relative'), but that seems like 'sortal' necessity rather than logical. |
| 15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
| Full Idea: Friends of metaphysical necessity would want to hold that when it is metaphysically necessary that p, there is no good sense of 'possible' (except, perhaps, an epistemic one) in which it is possible that not-p. | |
| From: Bob Hale (Absolute Necessities [1996], 2) | |
| A reaction: We might want to say which possible worlds this refers to (and presumably it won't just be in the actual world). The normal claim would refer to all possible worlds. Adding a '...provided that' clause moves it from absolute to relative necessity. |
| 15085 | 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale] |
| Full Idea: 'Broadly' logical necessities are propositions whose truth derives entirely from the concepts involved in them (together, of course, with relevant structure). | |
| From: Bob Hale (Absolute Necessities [1996], 3) | |
| A reaction: Is the 'logical' part of this necessity bestowed by the concepts, or by the 'structure' (which I take to be a logical structure)? |
| 15088 | Logical necessities are true in virtue of the nature of all logical concepts [Hale] |
| Full Idea: The logical necessities can be taken to be the propositions which are true in virtue of the nature of all logical concepts. | |
| From: Bob Hale (Absolute Necessities [1996], p.10) | |
| A reaction: This is part of his story of essences giving rise to necessities. His proposal sounds narrow, but logical concepts may have the highest degree of generality which it is possible to have. It must be how the concepts connect that causes the necessities. |
| 15087 | Conceptual necessities are made true by all concepts [Hale] |
| Full Idea: Conceptual necessities can be taken to be propositions which are true in virtue of the nature of all concepts. | |
| From: Bob Hale (Absolute Necessities [1996], p.9) | |
| A reaction: Fine endorse essences for these concepts. Could we then come up with a new concept which contradicted all the others, and destroyed the necessity? Yes, presumably. Presumably witchcraft and astrology are full of 'conceptual necessities'. |
| 9111 | God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham] |
| Full Idea: God is not wise, but more-than-wise; God is not good, but more-than-good. | |
| From: William of Ockham (Reportatio [1330], III Q viii) | |
| A reaction: [He is quoting 'Damascene'] I quote this for interest, but I very much doubt whether Damascene or William knew what it meant, and I certainly don't. There seems to have been a politically correct desire to invent super-powers for God. |
| 9112 | We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham] |
| Full Idea: What we abstract is said to belong to perfection in so far as it can be predicated of God and can stand for Him. For if such a concept could not be abstracted from a creature, then in this life we could not arrive at a cognition of God's wisdom. | |
| From: William of Ockham (Reportatio [1330], III Q viii) | |
| A reaction: This seems to be the germ of an important argument. Without the ability to abstract from what is experienced, we would not be able to apply general concepts to things which are beyond experience. It is a key idea for empiricism. |