Combining Texts

All the ideas for 'Truth and the Past', 'Nihilism without Self-Contradiction' and 'Sets and Numbers'

unexpand these ideas     |    start again     |     specify just one area for these texts


22 ideas

2. Reason / F. Fallacies / 7. Ad Hominem
We should always apply someone's theory of meaning to their own utterances [Liggins]
     Full Idea: We should interpret philosophers as if their own theory of the meaning of their utterances were true, whether or not we agree with that theory.
     From: David Liggins (Nihilism without Self-Contradiction [2008], 8)
     A reaction: This seems to give legitimate grounds for some sorts of ad hominem objections. It would simply be an insult to a philosopher not to believe their theories, and then apply them to what they have said. This includes semantic theories.
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
The master science is physical objects divided into sets [Maddy]
     Full Idea: The master science can be thought of as the theory of sets with the entire range of physical objects as ur-elements.
     From: Penelope Maddy (Sets and Numbers [1981], II)
     A reaction: This sounds like Quine's view, since we have to add sets to our naturalistic ontology of objects. It seems to involve unrestricted mereology to create normal objects.
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett]
     Full Idea: I once wrote that there are three linguistic devices that make it possible for us to frame undecidable statements: quantification over infinity totalities, as expressed by word such as 'never'; the subjunctive conditional form; and the past tense.
     From: Michael Dummett (Truth and the Past [2001], 4)
     A reaction: Dummett now repudiates the third one. Statements containing vague concepts also appear to be undecidable. Personally I have no problems with deciding (to a fair extent) about 'never x', and 'if x were true', and 'it was x'.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins]
     Full Idea: It is quite standard to interpret sentences of the form 'There are Fs' using a singular quantifier and a singular predicate, but this tradition may be mistaken.
     From: David Liggins (Nihilism without Self-Contradiction [2008], 8)
     A reaction: Liggins is clearly in support of the use of plural quantification, referring to 'there are some xs such that'.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
Surely there is no exact single grain that brings a heap into existence [Dummett]
     Full Idea: There is surely no number n such that "n grains of sand do not make a heap, although n+1 grains of sand do" is true.
     From: Michael Dummett (Truth and the Past [2001], 4)
     A reaction: It might be argued that there is such a number, but no human being is capable of determing it. Might God know the value of n? On the whole Dummett's view seems the most plausible.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy]
     Full Idea: If you wonder why multiplication is commutative, you could prove it from the Peano postulates, but the proof offers little towards an answer. In set theory Cartesian products match 1-1, and n.m dots when turned on its side has m.n dots, which explains it.
     From: Penelope Maddy (Sets and Numbers [1981], II)
     A reaction: 'Turning on its side' sounds more fundamental than formal set theory. I'm a fan of explanation as taking you to the heart of the problem. I suspect the world, rather than set theory, explains the commutativity.
Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy]
     Full Idea: The standard account of the relationship between numbers and sets is that numbers simply are certain sets. This has the advantage of ontological economy, and allows numbers to be brought within the epistemology of sets.
     From: Penelope Maddy (Sets and Numbers [1981], III)
     A reaction: Maddy votes for numbers being properties of sets, rather than the sets themselves. See Yourgrau's critique.
Numbers are properties of sets, just as lengths are properties of physical objects [Maddy]
     Full Idea: I propose that ...numbers are properties of sets, analogous, for example, to lengths, which are properties of physical objects.
     From: Penelope Maddy (Sets and Numbers [1981], III)
     A reaction: Are lengths properties of physical objects? A hole in the ground can have a length. A gap can have a length. Pure space seems to contain lengths. A set seems much more abstract than its members.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Sets exist where their elements are, but numbers are more like universals [Maddy]
     Full Idea: A set of things is located where the aggregate of those things is located, ...but a number is simultaneously located at many different places (10 in my hand, and a baseball team) ...so numbers seem more like universals than particulars.
     From: Penelope Maddy (Sets and Numbers [1981], III)
     A reaction: My gut feeling is that Maddy's master idea (of naturalising sets by building them from ur-elements of natural objects) won't work. Sets can work fine in total abstraction from nature.
Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy]
     Full Idea: I am not suggesting a reduction of number theory to set theory ...There are only sets with number properties; number theory is part of the theory of finite sets.
     From: Penelope Maddy (Sets and Numbers [1981], V)
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
If mathematical objects exist, how can we know them, and which objects are they? [Maddy]
     Full Idea: The popular challenges to platonism in philosophy of mathematics are epistemological (how are we able to interact with these objects in appropriate ways) and ontological (if numbers are sets, which sets are they).
     From: Penelope Maddy (Sets and Numbers [1981], I)
     A reaction: These objections refer to Benacerraf's two famous papers - 1965 for the ontology, and 1973 for the epistemology. Though he relied too much on causal accounts of knowledge in 1973, I'm with him all the way.
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy]
     Full Idea: Number words are not like normal adjectives. For example, number words don't occur in 'is (are)...' contexts except artificially, and they must appear before all other adjectives, and so on.
     From: Penelope Maddy (Sets and Numbers [1981], IV)
     A reaction: [She is citing Benacerraf's arguments]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists rely on the proof of mathematical statements, not their truth [Dummett]
     Full Idea: The intuitionist account of the meaning of mathematical statements does not employ the notion of a statement's being true, but only that of something's being a proof of the statement.
     From: Michael Dummett (Truth and the Past [2001], 2)
     A reaction: I remain unconvinced that anyone could give an account of proof that didn't discreetly employ the notion of truth. What are we to make of "we suspect this is true, but no one knows how to prove it?" (e.g. Goldbach's Conjecture).
7. Existence / B. Change in Existence / 1. Nature of Change
A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett]
     Full Idea: The idea of 'Cambridge Change' is like saying 'the landscape changes as you travel east'.
     From: Michael Dummett (Truth and the Past [2001], 5)
     A reaction: The phrase was coined in Oxford. It is a useful label with which realists can insult solipsists, idealists and other riff-raff. Four Dimensionalists seem to see time in this way. Events sit there, and we travel past them. But there are indexical events.
7. Existence / D. Theories of Reality / 4. Anti-realism
I no longer think what a statement about the past says is just what can justify it [Dummett]
     Full Idea: In distinguishing between what can establish a statement about the past as true and what it is that that statement says, we are repudiating antirealism about the past.
     From: Michael Dummett (Truth and the Past [2001], 3)
     A reaction: This is a late shift of ground from the champion of antirealism. If Dummett's whole position is based on a 'justificationist' theory of meaning, he must surely have a different theory of meaning now for statements about the past?
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Nihilists needn't deny parts - they can just say that some of the xs are among the ys [Liggins]
     Full Idea: We can interpret '..is a part of..' as '..are among..': the xs are a part of the ys just when the xs are among the ys (though if the ys are 'one' then they would not have parts).
     From: David Liggins (Nihilism without Self-Contradiction [2008], 9)
     A reaction: The trouble is that this still leaves us with gerrymandered 'parts', in the form of xs that are scattered randomly among the ys. That's not what we mean by 'part'. No account of identity works if it leaves out coherent structure.
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett]
     Full Idea: The existence of a universe from which sentience was permanently absent is an unintelligible fantasy. What exists is what can be known to exist. What is true is what can be known to be true. Reality is what can be experienced and known.
     From: Michael Dummett (Truth and the Past [2001], 5)
     A reaction: This strikes me as nonsense. The fact that we cannot think about a universe without introducing a viewpoint does not mean that we cannot 'intellectually imagine' its existence devoid of viewpoints. Nothing could ever experience a star's interior.
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Verification is not an individual but a collective activity [Dummett]
     Full Idea: Verification is not an individual but a collective activity.
     From: Michael Dummett (Truth and the Past [2001], 3)
     A reaction: This generates problems. Are deceased members of the community included? (Yes, says Dummett). If someone speaks to angels (Blake!), do they get included? Is a majority necessary? What of weird loners? Etc.
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett]
     Full Idea: To demonstrate the necessity of a truth-conditional theory of meaning, a proponent of such a theory must argue that use cannot be described without appeal to the conditions for the truth of statements.
     From: Michael Dummett (Truth and the Past [2001], 1)
     A reaction: Unlike Dummett, I find that argument rather appealing. How do you decide the possible or appropriate use for a piece of language, if you don't already know what it means. Basing it all on social conventions means it could be meaningless ritual.
The truth-conditions theory must get agreement on a conception of truth [Dummett]
     Full Idea: It is not enough for the truth-condition theorist to argue that we need the concept of truth: he must show that we should have the same conception of truth that he has.
     From: Michael Dummett (Truth and the Past [2001], 2)
     A reaction: Davidson invites us to accept Tarski's account of truth. It invites the question of what the theory would be like with a very robust correspondence account of truth, or a flabby rather subjective coherence view, or the worst sort of pragmatic view.
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
Maybe past (which affects us) and future (which we can affect) are both real [Dummett]
     Full Idea: Maybe both the past and the future are real, determined by our current temporal perspective. Past is then events capable of having a causal influence upon events near us, and future is events we can affect, but from which we receive no information.
     From: Michael Dummett (Truth and the Past [2001], 5)
     A reaction: This is the Four-Dimensional view, which is opposed to Presentism. Might immediate unease is that it gives encouragement to fortune-tellers, whom I have always dismissed with 'You can't see the future, because it doesn't exist'.
27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths
The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett]
     Full Idea: The idea that only the present is real cannot be sustained. St Augustine pointed out that the present has no duration; it is a mere boundary between past and future, and dependent on them. It also denies truth-value to statements about past or future.
     From: Michael Dummett (Truth and the Past [2001], 5)
     A reaction: To defend Presentism, I suspect that one must focus entirely on the activities of consciousness and short-term memory. All truths, of past or future, must refer totally to such mental events. But what could an event be if there is no enduring time?