103 ideas
17774 | Definitions make our intuitions mathematically useful [Mayberry] |
Full Idea: Definition provides us with the means for converting our intuitions into mathematically usable concepts. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-1) |
17773 | Proof shows that it is true, but also why it must be true [Mayberry] |
Full Idea: When you have proved something you know not only that it is true, but why it must be true. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-2) | |
A reaction: Note the word 'must'. Presumably both the grounding and the necessitation of the truth are revealed. |
15186 | In the tenseless view, all times are equally real, so statements of the future have truth-values [Le Poidevin] |
Full Idea: The tenseless stance is quite clear: all times are equally real, so there are truth-makers for the future-tense statements, which consequently have determinate truth-values. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], Intro) | |
A reaction: The tenseless view is linked to the B-series view, and to eternalism. This seems to mean that Aristotle took a tensed A-series view of time. |
10455 | Free logic at least allows empty names, but struggles to express non-existence [Bach] |
Full Idea: Unlike standard first-order logic, free logic can allow empty names, but still has to deny existence by either representing it as a predicate, or invoke some dubious distinction such as between existence and being. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L1) |
17795 | Set theory can't be axiomatic, because it is needed to express the very notion of axiomatisation [Mayberry] |
Full Idea: Set theory cannot be an axiomatic theory, because the very notion of an axiomatic theory makes no sense without it. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.413-2) | |
A reaction: This will come as a surprise to Penelope Maddy, who battles with ways to accept the set theory axioms as the foundation of mathematics. Mayberry says that the basic set theory required is much more simple and intuitive. |
17796 | There is a semi-categorical axiomatisation of set-theory [Mayberry] |
Full Idea: We can give a semi-categorical axiomatisation of set-theory (all that remains undetermined is the size of the set of urelements and the length of the sequence of ordinals). The system is second-order in formalisation. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.413-2) | |
A reaction: I gather this means the models may not be isomorphic to one another (because they differ in size), but can be shown to isomorphic to some third ingredient. I think. Mayberry says this shows there is no such thing as non-Cantorian set theory. |
17800 | The misnamed Axiom of Infinity says the natural numbers are finite in size [Mayberry] |
Full Idea: The (misnamed!) Axiom of Infinity expresses Cantor's fundamental assumption that the species of natural numbers is finite in size. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2) |
17801 | The set hierarchy doesn't rely on the dubious notion of 'generating' them [Mayberry] |
Full Idea: The idea of 'generating' sets is only a metaphor - the existence of the hierarchy is established without appealing to such dubious notions. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2) | |
A reaction: Presumably there can be a 'dependence' or 'determination' relation which does not involve actual generation. |
17803 | Limitation of size is part of the very conception of a set [Mayberry] |
Full Idea: Our very notion of a set is that of an extensional plurality limited in size. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.415-2) |
17786 | The mainstream of modern logic sees it as a branch of mathematics [Mayberry] |
Full Idea: In the mainstream tradition of modern logic, beginning with Boole, Peirce and Schröder, descending through Löwenheim and Skolem to reach maturity with Tarski and his school ...saw logic as a branch of mathematics. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.410-1) | |
A reaction: [The lesser tradition, of Frege and Russell, says mathematics is a branch of logic]. Mayberry says the Fregean tradition 'has almost died out'. |
17788 | First-order logic only has its main theorems because it is so weak [Mayberry] |
Full Idea: First-order logic is very weak, but therein lies its strength. Its principle tools (Compactness, Completeness, Löwenheim-Skolem Theorems) can be established only because it is too weak to axiomatize either arithmetic or analysis. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.411-2) | |
A reaction: He adds the proviso that this is 'unless we are dealing with structures on whose size we have placed an explicit, finite bound' (p.412-1). |
17791 | Only second-order logic can capture mathematical structure up to isomorphism [Mayberry] |
Full Idea: Second-order logic is a powerful tool of definition: by means of it alone we can capture mathematical structure up to isomorphism using simple axiom systems. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1) |
10454 | In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach] |
Full Idea: In standard logic we can't straightforwardly say that n exists. We have to resort to using a formula like '∃x(x=n)', but we can't deny n's existence by negating that formula, because standard first-order logic disallows empty names. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L1) |
10453 | In logic constants play the role of proper names [Bach] |
Full Idea: In standard first-order logic the role of proper names is played by individual constants. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L1) |
10452 | Proper names can be non-referential - even predicate as well as attributive uses [Bach] |
Full Idea: Like it or not, proper names have non-referential uses, including not only attributive but even predicate uses. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L1) | |
A reaction: 'He's a right little Hitler'. 'You're doing a George Bush again'. 'Try to live up to the name of Churchill'. |
10456 | Millian names struggle with existence, empty names, identities and attitude ascription [Bach] |
Full Idea: The familiar problems with the Millian view of names are the problem of positive and negative existential statements, empty names, identity sentences, and propositional attitude ascription. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L1) | |
A reaction: I take this combination of problems to make an overwhelming case against the daft idea that the semantics of a name amounts to the actual object it picks out. It is a category mistake to attempt to insert a person into a sentence. |
10440 | An object can be described without being referred to [Bach] |
Full Idea: An object can be described without being referred to. | |
From: Kent Bach (What Does It Take to Refer? [2006], Intro) | |
A reaction: I'm not clear how this is possible for a well-known object, though it is clearly possible for a speculative object, such as a gadget I would like to buy. In the former case reference seems to occur even if the speaker is trying to avoid it. |
10444 | Definite descriptions can be used to refer, but are not semantically referential [Bach] |
Full Idea: If Russell is, as I believe, basically right, then definite descriptions are the paradigm of singular terms that can be used to refer but are not linguistically (semantically) referential. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.1 s5) | |
A reaction: I'm not sure that we can decide what is 'semantically referential'. Most of the things we refer to don't have names. We don't then 'use' definite descriptions (I'm thinking) - they actually DO the job. If we use them, we can 'use' names too? |
17787 | Big logic has one fixed domain, but standard logic has a domain for each interpretation [Mayberry] |
Full Idea: The 'logica magna' [of the Fregean tradition] has quantifiers ranging over a fixed domain, namely everything there is. In the Boolean tradition the domains differ from interpretation to interpretation. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.410-2) | |
A reaction: Modal logic displays both approaches, with different systems for global and local domains. |
17790 | No Löwenheim-Skolem logic can axiomatise real analysis [Mayberry] |
Full Idea: No logic which can axiomatize real analysis can have the Löwenheim-Skolem property. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1) |
17779 | 'Classificatory' axioms aim at revealing similarity in morphology of structures [Mayberry] |
Full Idea: The purpose of a 'classificatory' axiomatic theory is to single out an otherwise disparate species of structures by fixing certain features of morphology. ...The aim is to single out common features. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.406-2) |
17778 | Axiomatiation relies on isomorphic structures being essentially the same [Mayberry] |
Full Idea: The central dogma of the axiomatic method is this: isomorphic structures are mathematically indistinguishable in their essential properties. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.406-2) | |
A reaction: Hence it is not that we have to settle for the success of a system 'up to isomorphism', since that was the original aim. The structures must differ in their non-essential properties, or they would be the same system. |
17780 | 'Eliminatory' axioms get rid of traditional ideal and abstract objects [Mayberry] |
Full Idea: The purpose of what I am calling 'eliminatory' axiomatic theories is precisely to eliminate from mathematics those peculiar ideal and abstract objects that, on the traditional view, constitute its subject matter. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.407-1) | |
A reaction: A very interesting idea. I have a natural antipathy to 'abstract objects', because they really mess up what could otherwise be a very tidy ontology. What he describes might be better called 'ignoring' axioms. The objects may 'exist', but who cares? |
17789 | No logic which can axiomatise arithmetic can be compact or complete [Mayberry] |
Full Idea: No logic which can axiomatise arithmetic can be compact or complete. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1) | |
A reaction: I take this to be because there are new truths in the transfinite level (as well as the problem of incompleteness). |
17784 | Real numbers can be eliminated, by axiom systems for complete ordered fields [Mayberry] |
Full Idea: We eliminate the real numbers by giving an axiomatic definition of the species of complete ordered fields. These axioms are categorical (mutually isomorphic), and thus are mathematically indistinguishable. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.408-2) | |
A reaction: Hence my clever mathematical friend says that it is a terrible misunderstanding to think that mathematics is about numbers. Mayberry says the reals are one ordered field, but mathematics now studies all ordered fields together. |
17782 | Greek quantities were concrete, and ratio and proportion were their science [Mayberry] |
Full Idea: Quantities for Greeks were concrete things - lines, surfaces, solids, times, weights. At the centre of their science of quantity was the beautiful theory of ratio and proportion (...in which the notion of number does not appear!). | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.407-2) | |
A reaction: [He credits Eudoxus, and cites Book V of Euclid] |
17781 | Real numbers were invented, as objects, to simplify and generalise 'quantity' [Mayberry] |
Full Idea: The abstract objects of modern mathematics, the real numbers, were invented by the mathematicians of the seventeenth century in order to simplify and to generalize the Greek science of quantity. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.407-2) |
17799 | Cantor's infinite is an absolute, of all the sets or all the ordinal numbers [Mayberry] |
Full Idea: In Cantor's new vision, the infinite, the genuine infinite, does not disappear, but presents itself in the guise of the absolute, as manifested in the species of all sets or the species of all ordinal numbers. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2) |
17797 | Cantor extended the finite (rather than 'taming the infinite') [Mayberry] |
Full Idea: We may describe Cantor's achievement by saying, not that he tamed the infinite, but that he extended the finite. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2) |
17775 | If proof and definition are central, then mathematics needs and possesses foundations [Mayberry] |
Full Idea: If we grant, as surely we must, the central importance of proof and definition, then we must also grant that mathematics not only needs, but in fact has, foundations. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-1) |
17776 | The ultimate principles and concepts of mathematics are presumed, or grasped directly [Mayberry] |
Full Idea: The ultimate principles upon which mathematics rests are those to which mathematicians appeal without proof; and the primitive concepts of mathematics ...themselves are grasped directly, if grasped at all, without the mediation of definition. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-1) | |
A reaction: This begs the question of whether the 'grasping' is purely a priori, or whether it derives from experience. I defend the latter, and Jenkins puts the case well. |
17777 | Foundations need concepts, definition rules, premises, and proof rules [Mayberry] |
Full Idea: An account of the foundations of mathematics must specify four things: the primitive concepts for use in definitions, the rules governing definitions, the ultimate premises of proofs, and rules allowing advance from premises to conclusions. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-2) |
17804 | Axiom theories can't give foundations for mathematics - that's using axioms to explain axioms [Mayberry] |
Full Idea: No axiomatic theory, formal or informal, of first or of higher order can logically play a foundational role in mathematics. ...It is obvious that you cannot use the axiomatic method to explain what the axiomatic method is. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.415-2) |
17792 | 1st-order PA is only interesting because of results which use 2nd-order PA [Mayberry] |
Full Idea: The sole theoretical interest of first-order Peano arithmetic derives from the fact that it is a first-order reduct of a categorical second-order theory. Its axioms can be proved incomplete only because the second-order theory is categorical. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1) |
17793 | It is only 2nd-order isomorphism which suggested first-order PA completeness [Mayberry] |
Full Idea: If we did not know that the second-order axioms characterise the natural numbers up to isomorphism, we should have no reason to suppose, a priori, that first-order Peano Arithmetic should be complete. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1) |
17794 | Set theory is not just first-order ZF, because that is inadequate for mathematics [Mayberry] |
Full Idea: The idea that set theory must simply be identified with first-order Zermelo-Fraenkel is surprisingly widespread. ...The first-order axiomatic theory of sets is clearly inadequate as a foundation of mathematics. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-2) | |
A reaction: [He is agreeing with a quotation from Skolem]. |
17802 | We don't translate mathematics into set theory, because it comes embodied in that way [Mayberry] |
Full Idea: One does not have to translate 'ordinary' mathematics into the Zermelo-Fraenkel system: ordinary mathematics comes embodied in that system. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.415-1) | |
A reaction: Mayberry seems to be a particular fan of set theory as spelling out the underlying facts of mathematics, though it has to be second-order. |
17805 | Set theory is not just another axiomatised part of mathematics [Mayberry] |
Full Idea: The fons et origo of all confusion is the view that set theory is just another axiomatic theory and the universe of sets just another mathematical structure. ...The universe of sets ...is the world that all mathematical structures inhabit. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.416-1) |
22919 | A thing which makes no difference seems unlikely to exist [Le Poidevin] |
Full Idea: It is a powerful argument for something's non-existence that it would make absolutely no difference. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 02 'Everything') | |
A reaction: Powerful, but not conclusive. Neutrinos don't seem to do much, so it isn't far from there to get a particle which does nothing. |
17785 | Real numbers as abstracted objects are now treated as complete ordered fields [Mayberry] |
Full Idea: The abstractness of the old fashioned real numbers has been replaced by generality in the modern theory of complete ordered fields. | |
From: John Mayberry (What Required for Foundation for Maths? [1994], p.408-2) | |
A reaction: In philosophy, I'm increasingly thinking that we should talk much more of 'generality', and a great deal less about 'universals'. (By which I don't mean that redness is just the set of red things). |
12900 | How could 'S knows he has hands' not have a fixed content? [Bach] |
Full Idea: How can it be that a sentence like 'George knows that he has hands', even with time and references fixed, does not have a fixed propositional content? | |
From: Kent Bach (The Emperor's New 'Knows' [2005], I) | |
A reaction: The appeal is to G.E. Moore's common sense view of immediate knowledge (Idea 6349). The reply is simply that the word 'knows' shifts its meaning, having high standards in sceptical philosophy classes, and low standards on the street. |
12901 | If contextualism is right, knowledge sentences are baffling out of their context [Bach] |
Full Idea: Contextualism seems to predict that if you encounter a knowledge attribution out of context you won't be in a position to grasp which proposition the sentence expresses. | |
From: Kent Bach (The Emperor's New 'Knows' [2005], I) | |
A reaction: It is only the word 'knows' which is at issue in the sentence. If someone is said to 'know' about the world of the fairies, we might well be puzzled as to what proposition was being expressed. Is the word 'flat' baffling out of context? |
12902 | Sceptics aren't changing the meaning of 'know', but claiming knowing is tougher than we think [Bach] |
Full Idea: When a sceptic brings up far-fetched possibilities and argues that we can't rule them out, he is not raising the standard for the word 'know'. He is showing it is tougher than we realise for a belief to qualify as normal knowledge at all. | |
From: Kent Bach (The Emperor's New 'Knows' [2005], III) | |
A reaction: [Bach cites Richard Feldman for this idea] I think that what happens in the contextual account is that 'true', 'belief' and 'know' retain their standard meaning, and it is 'justified' which shifts. 'I am fully justified' can have VERY different meanings! |
15207 | We want illuminating theories, rather than coherent theories [Le Poidevin] |
Full Idea: Don't ask, which theory is more coherent? Ask, which theory is more illuminating? | |
From: Robin Le Poidevin (Past, Present and Future of Debate about Tense [1998], 5) |
22926 | In addition to causal explanations, they can also be inferential, or definitional, or purposive [Le Poidevin] |
Full Idea: Not all explanations are causal. We can explain some things by showing what follows logically from what, or what is required by the definition of a term, or in terms of purpose. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 05 'Limits') | |
A reaction: Would these fully qualify as 'explanations'? You don't explain the sea by saying that 'wet' is part of its definition. |
10446 | Fictional reference is different inside and outside the fiction [Bach] |
Full Idea: We must distinguish 'reference' in a fiction from reference outside the fiction to fictional entities. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.1) | |
A reaction: This may be more semantically than ontologically significant. It is perhaps best explicated by Coleridge's distinction over whether or not I am 'suspending my disbelief' when I am discussing a character. |
10447 | We can refer to fictional entities if they are abstract objects [Bach] |
Full Idea: If fictional entities, such as characters in a play, are real, albeit abstract entities, then we can genuinely refer to them. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.1) | |
A reaction: [He cites Nathan Salmon 1998] Personally I would prefer to say that abstract entities are fictions. Fictional characters have uncertain identity conditions. Do they all have a pancreas, if this is never mentioned? |
10443 | You 'allude to', not 'refer to', an individual if you keep their identity vague [Bach] |
Full Idea: If you say 'a special person is coming to visit', you are not referring to but merely 'alluding to' that individual. This does not count as referring because you are not expressing a singular proposition about it. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.1 s2) | |
A reaction: If you add 'I hope he doesn't wear his red suit, but I hope he plays his tuba', you seem to be expressing singular propositions about the person. Bach seems to want a very strict notion of reference, as really attaching listeners to individuals. |
10439 | What refers: indefinite or definite or demonstrative descriptions, names, indexicals, demonstratives? [Bach] |
Full Idea: Philosophers agree that some expressions refer, but disagree over which ones. Few include indefinite descriptions, but some include definite descriptions, or only demonstrative descriptions. Some like proper names, some only indexicals and demonstratives. | |
From: Kent Bach (What Does It Take to Refer? [2006], Intro) | |
A reaction: My initial prejudice is rather Strawsonian - that people refer, not language, and it can be done in all sorts of ways. But Bach argues well that only language intrinsically does it. Even pointing fails without linguistic support. |
10441 | If we can refer to things which change, we can't be obliged to single out their properties [Bach] |
Full Idea: We can refer to things which change over time, which suggests that in thinking of and in referring to an individual we are not constrained to represent it as that which has certain properties. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.1) | |
A reaction: This seems a good argument against the descriptive theory of reference which is not (I think) in Kripke. Problems like vagueness and the Ship of Theseus rear their heads. |
10442 | We can think of an individual without have a uniquely characterizing description [Bach] |
Full Idea: Being able to think of an individual does not require being able to identify that individual by means of a uniquely characterizing description. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.1 s1) | |
A reaction: There is a bit of an equivocation over 'recognise' here. His example is 'the first child born in the 4th century'. We can't visually recognise such people, but the description does fix them, and a records office might give us 'recognition'. |
10445 | It can't be real reference if it could refer to some other thing that satisfies the description [Bach] |
Full Idea: If one is referring to whatever happens to satisfy a description, and one would be referring to something else were it to have satisfied the description instead, this is known as 'weak' reference,...but surely this is not reference at all. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.1 s7) | |
A reaction: Bach wants a precise notion of reference, as success in getting the audience to focus on the correct object. He talks of this case as 'singling out' some unfixed thing, and he also has 'alluding to' an unstated thing. Plausible view. |
10457 | Since most expressions can be used non-referentially, none of them are inherently referential [Bach] |
Full Idea: An embarrassingly simple argument is that most expressions can be used literally but not referentially, no variation in meaning explains this fact, so its meaning is compatible with being non-referential, so no expression is inherently referential. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L2) | |
A reaction: I think I have decided that no expression is 'inherently referential', and that it is all pragmatics. |
10463 | Just alluding to or describing an object is not the same as referring to it [Bach] |
Full Idea: Much of what speakers do that passes for referring is merely alluding or describing. ...It is one thing for a speaker to express a thought about a certain object using an expression, and quite another for the expression to stand for that object. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.3) | |
A reaction: Bach builds up a persuasive case for this view. If the question, though, is 'what are you talking about?', then saying what is being alluded to or singled out or described seems fine. Bach is being rather stipulative. |
10459 | Context does not create reference; it is just something speakers can exploit [Bach] |
Full Idea: Context does not determine or constitute reference; rather, it is something for the speaker to exploit to enable the listener to determine the intended reference. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L3) | |
A reaction: Bach thinks linguistic reference is a matter of speaker's intentions, and I think he is right. And this idea is right too. The domain of quantification constantly shifts in a conversation, and good speakers and listeners are sensitive to this. |
10460 | 'That duck' may not refer to the most obvious one in the group [Bach] |
Full Idea: If one ducks starts quacking furiously, and you say 'that duck is excited', it isn't context that makes me take it that you are referring to the quacking duck. You could be referring to a quiet duck you recognise by its distinctive colour. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L3) | |
A reaction: A persuasive example to make his point against the significance of context in conversational reference. Speaker's intended reference must always trump any apparent reference suggested by context. |
10461 | What a pronoun like 'he' refers back to is usually a matter of speaker's intentions [Bach] |
Full Idea: To illustrate speakers' intentions, consider the anaphoric reference using pronouns in these: "A cop arrested a robber; he was wearing a badge", and "A cop arrested a robber; he was wearing a mask". The natural supposition is not the inevitable one. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L4) | |
A reaction: I am a convert to speakers' intentions as the source of all reference, and this example seems to illustrate it very well. 'He said..' 'Who said?' |
10462 | Information comes from knowing who is speaking, not just from interpretation of the utterance [Bach] |
Full Idea: It is a fallacy that all the information in an utterance must come from its interpretation, which ignores the essentially pragmatic fact that the speaker is making the utterance. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L4) | |
A reaction: [He cites Barwise and Perry 1983:34] This is blatantly obvious in indexical remarks like 'I am tired', where the words don't tell you who is tired. But also 'the car has broken down, dear'. |
22932 | We don't just describe a time as 'now' from a private viewpoint, but as a fact about the world [Le Poidevin] |
Full Idea: In describing a time as 'now' one is not merely describing the world from one's own point of view, but describing the world as it is. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 08 'Mystery') | |
A reaction: If we accept this view (which implies absolute time, and the A-series view), then 'now' is not an indexical, in the way that 'I' and 'here' are indexicals. |
10458 | People slide from contextual variability all the way to contextual determination [Bach] |
Full Idea: People slide from contextual variability to context relativity to context sensitivity to context dependence to contextual determination. | |
From: Kent Bach (What Does It Take to Refer? [2006], 22.2 L3) | |
A reaction: This is reminiscent of the epistemological slide from cultural or individual relativity of some observed things, to a huge metaphysical denial of truth. Bach's warning applies to me, as I have been drifting down his slope lately. Nice. |
6866 | It is disturbing if we become unreal when we die, but if time is unreal, then we remain real after death [Le Poidevin] |
Full Idea: For the A-theorists called 'presentists' the past is as unreal as the future, and reality leaves us behind once we die, which is disturbing; but B-theorists, who see time as unreal, say we are just as real after our deaths as we were beforehand. | |
From: Robin Le Poidevin (Interview with Baggini and Stangroom [2001], p.174) | |
A reaction: See Idea 6865 for A and B theories. I wonder if this problem is only superficially 'disturbing'. Becoming unreal may sound more drastic than becoming dead, but they both sound pretty terminal to me. |
15190 | Evil can't be an illusion, because then the illusion that there is evil would be evil [Le Poidevin] |
Full Idea: The view that evil is an illusion is self-refuting: that is, if there is no evil, the illusion that there is evil is certainly evil. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 2) | |
A reaction: [The idea comes from McTaggart, and Le Poidevin is quoting Dummett on it] |
6867 | Existentialism focuses on freedom and self-making, and insertion into the world [Le Poidevin] |
Full Idea: I take existentialism to be the focus on the freedom and self-making of the human being, and his or her insertion into the world. | |
From: Robin Le Poidevin (Interview with Baggini and Stangroom [2001], p.222) | |
A reaction: I take 'self-making' to be the key here. If neuroscientists somehow 'proved' that there was no free will, I don't see that making any difference to existentialism. 'Insertion' seems odd, unless it refers to growing up. |
22927 | The logical properties of causation are asymmetry, transitivity and irreflexivity [Le Poidevin] |
Full Idea: The usual logical properties of the causal relation are asymmetry (one-way), transitivity and irreflexivity (no self-causing). | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 05 'Great') | |
A reaction: If two balls rebound off each other, that is only asymmetric if we split the action into two parts, which may be a fiction. Does a bomb cause its own destruction? |
22922 | We can identify unoccupied points in space, so they must exist [Le Poidevin] |
Full Idea: If the midpoint on a line between the chair and the window is five feet from the end of the bookcase. This can be true, but if no object occupies that midpoint, then unoccupied points exist | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 03 'Lessons') | |
A reaction: We can also locate perfect circles (running through fairy rings, or the rings of Saturn), so they must also exist. But then we can also locate the Loch Ness monster. Hm. |
22924 | If spatial points exist, then they must be stationary, by definition [Le Poidevin] |
Full Idea: If there are such things as points in space, independently of any other object, then these points are by definition stationary (since to be stationary is to stay in the same place, and a point is a place). | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 03 'Search') | |
A reaction: So what happens if the whole universe moves ten metres to the left? Is the universe defined by the objects in it (which vary), or by the space that contains them? Why can't a location move, even if that is by definition undetectable? |
22923 | Absolute space explains actual and potential positions, and geometrical truths [Le Poidevin] |
Full Idea: Absolutists say space plays a number of roles. It is what we refer to when we talk of positions. It makes other things possible (by moving into unoccupied positions). And it explains geometrical truths. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 03 'Redundancy') | |
A reaction: I am persuaded by these, and am happy to treat space (and time) as a primitive of metaphysics. |
22928 | For relationists moving an object beyond the edge of space creates new space [Le Poidevin] |
Full Idea: For the relationist, if Archytas goes to the edge of space and extends his arm, he is creating a new spatial relation between objects, and thus extending space, which is, after all, just the collection of thos relations. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 05 'beyond') | |
A reaction: The obvious point is what are you moving your arm into? And how can some movements be in space, while others create new space? It's a bad theory. |
22931 | We distinguish time from space, because it passes, and it has a unique present moment [Le Poidevin] |
Full Idea: The most characteristic features of time, which distinguish it from space, are the fact that time passes, and the fact that the present is in some sense unique | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 08 'Mystery') | |
A reaction: The B-series view tries to avoid passing time and present moments. I suspect that modern proponents of the B-series mainly want to unifying their view of time with Einstein's, to give us a scientific space-time. |
22917 | Since nothing occurs in a temporal vacuum, there is no way to measure its length [Le Poidevin] |
Full Idea: Since, by definition, nothing happens in a temporal vacuum, there is no possible means of determining its length. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 02 'without change') | |
A reaction: This is offered a part of a dubious proof that a temporal vacuum is impossible. I like Shoemaker's three worlds thought experiment, which tests this idea to the limit. |
22921 | Temporal vacuums would be unexperienced, unmeasured, and unending [Le Poidevin] |
Full Idea: Three arguments that a temporal vacuum is impossible: we can't experience it, we can't measure it, and it would have no reason to ever terminate. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 03 'Lessons') | |
A reaction: [summarised] The first two reasons are unimpressive. The interiors of black holes are off limits for us. The arrival of time into a timeless situation may actually have occurred, but be beyond our understanding. |
15195 | If the future is not real, we don't seem to have any obligation to future individuals [Le Poidevin] |
Full Idea: If the future is unreal, future individuals are ontologically problematic. Any apparent obligations towards them cannot, it seems, have an object. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 5) | |
A reaction: I certainly 'feel' obligations to the future, but I am not sure whether I 'have' them. How far into the future do the extend? Should I care if homo sapiens is replaced by a different dominant species? |
15188 | If things don't persist through time, then change makes no sense [Le Poidevin] |
Full Idea: It would appear that any denial of the existence of continuants entails a denial of change. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 1) | |
A reaction: [He cites Lowe for this view] Presumably we don't just accept change at face value, in that case. Indeed, views about temporal parts or time-worms give a different account of change (though perhaps a less convincing one). |
22934 | Time can't speed up or slow down, so it doesn't seem to be a 'process' [Le Poidevin] |
Full Idea: Processes can speed up or slow down, but surely the passage of time is not something that can speed up or slow down? | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 08 'Mystery') | |
A reaction: If something is a process we can ask 'process of what?', but the only answer seems to be that it's a process of processing. So it is that which makes processes possible (and so, as I keep saying) it is best viewed as a primitive. |
15191 | At the very least, minds themselves seem to be tensed [Le Poidevin] |
Full Idea: A worry haunts the denial of tense: if tense is just mind-dependent, then minds at least themselves must be tensed. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 2) |
15197 | Fiction seems to lack a tensed perspective, and offers an example of tenseless language [Le Poidevin] |
Full Idea: If we cannot coherently adopt a tensed perspective on events within fiction, then fictional discourse seems to provide an example of a tenseless language of before and after which is quite independent of the language of tense. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 7) |
15206 | It is the view of the future that really decides between tensed and tenseless views of time [Le Poidevin] |
Full Idea: It is crucially one's view of the status of the future that makes one a tensed or a tenseless theorist. | |
From: Robin Le Poidevin (Past, Present and Future of Debate about Tense [1998], 5) | |
A reaction: If you believe in the reality of the future, you are an eternalist and like the B-series. If you deny the existence of the future, you must opt for Presentism or the Growing Block (depending on the status of the past). |
15198 | In the B-series, time-positions are unchanging; in the A-series they change (from future to present to past) [Le Poidevin] |
Full Idea: The crucial distinction is that in the B-series positions in time are unchanging. Positions in the A-series, in contrast, do change: what is now present was once future and will be past. | |
From: Robin Le Poidevin (Past, Present and Future of Debate about Tense [1998], 1 (a)) | |
A reaction: So does A-series time consist of a property which things gain and then lose, or a location which things enter and then leave? Neither analogy seems to throw much light. |
15189 | Things which have ceased change their A-series position; things that persist change their B-series position [Le Poidevin] |
Full Idea: Events and objects that have ceased to exist change their A-series position (by becoming increasingly past), but persisting objects, in contrast, change their present B-series position. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 1 n2) | |
A reaction: The second half seems to imply a 'moving spotlight' of the present. This distinction is important, as it creates problems for all theories. The asymmetry seems weird. |
6865 | A-theory says past, present, future and flow exist; B-theory says this just reports our perspective [Le Poidevin] |
Full Idea: The A-theory regards our intuitive distinction of time into past, present and future as objective, and takes seriously the idea that time flows; the B-theory says this just reflects our perspective, like the spatial distinction between here and there. | |
From: Robin Le Poidevin (Interview with Baggini and Stangroom [2001], p.174) | |
A reaction: The distinction comes from McTaggart. Physics seems to be built on an objective view of time, and yet Einstein makes time relative. What possible evidence could decide between the two theories? |
15187 | It is claimed that the tense view entails the unreality of both future and past [Le Poidevin] |
Full Idea: It has been argued that the tensed view of time is actually committed to the unreality, not just of the future, but of the past also. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], Intro) | |
A reaction: There seem to be strong and weak version here, since if you are committed to tenses, you are presumably committed to the possibility of truths about the past and future. The strong version (denying past and future) seems to make tenses pointless. |
15205 | Tensed theorists typically try to reduce the tenseless to the tensed [Le Poidevin] |
Full Idea: Tensed theorists typically seek to reduce facts about tenseless relations to tensed facts. | |
From: Robin Le Poidevin (Past, Present and Future of Debate about Tense [1998], 4 (b)) | |
A reaction: This presumably involves denial of tenseless truths like '2+2=4', which might become '2+2 is always 4'. I can't see an objection to that. Tooley 1997 is cited as an exception to this idea. |
15192 | We share a common now, but not a common here [Le Poidevin] |
Full Idea: We appear to share a common now, but not a common here. | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 2) | |
A reaction: Personally I take this to be quite a strong argument against the simplistic view that there is just something called 'spacetime', with no distinction of dimensions. |
15193 | The new tenseless theory offers indexical truth-conditions, instead of a reductive analysis [Le Poidevin] |
Full Idea: The new tenseless theory has given up Russell's attempt to reduce tensed statements (in terms of 'simultaneous with'), and instead give tenseless truth-conditions (in terms of indexicals). | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 3) | |
A reaction: [compressed] |
22938 | To say that the past causes the present needs them both to be equally real [Le Poidevin] |
Full Idea: The causal connection between the past and the present seems to require that the past is as real as the present. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 08 'First') | |
A reaction: Cause and effect need to conjoin in space, but their subsequent separation doesn't seem to be a problem. The idea that causes and their effects must be eternally compresent is an absurdity. |
22939 | The B-series doesn't seem to allow change [Le Poidevin] |
Full Idea: How can anything change in a B-universe? | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 08 'Second') | |
A reaction: It seems that change needs time to move on. A timeless series of varying states doesn't seem to be the same thing as change. B-seriesers must be tempted to deny change, and yet nothing seems more obvious to us than change. |
22940 | If the B-universe is eternal, why am I trapped in a changing moment of it? [Le Poidevin] |
Full Idea: What in the B-universe determines my temporal perspective? I can move around in space at will, but I have no choice over where I am in time. What time I am is something that changes, and again I have no control over that | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 08 'Second') | |
A reaction: The B-series always has to be asserted from the point of view of eternity (e.g. by Einstein). Yet an omniscient mind would still see each of us trapped in our transient moments, so that is part of eternal reality. |
22953 | Time's arrow is not causal if there is no temporal gap between cause and effect [Le Poidevin] |
Full Idea: If there is no temporal gap between cause and effect, then the causal analysis of time's arrow is doomed. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 12 'simultaneous') | |
A reaction: A number of recent commentators have rejected the sharp distinction between cause and effect, seeing it as a unified process (which takes time to occur). |
22947 | An ordered series can be undirected, but time favours moving from earlier to later [Le Poidevin] |
Full Idea: A series can be ordered without being directed (such as the series of integers), …but the passage of time indicates a preferred direction, moving from earlier to later events, and never the other way around. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 12 'Hidden') | |
A reaction: I wonder what 'preferred' means here? It is not just memory versus anticipation. The saddest words in the English language are 'Too late!'. It is absurd to say that being too late is an illusion. |
22952 | If time's arrow is causal, how can there be non-simultaneous events that are causally unconnected? [Le Poidevin] |
Full Idea: An objection to the Causal analysis of time's arrow is that it is surely possible for non-simultaneous events to be causally unconnected. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 12 'Seeds') | |
A reaction: I suppose the events could be linked causally by intermediaries. If reality is a vast causal nexus, everything leads to everything else, in some remote way. It's still a good objections, though. |
22951 | If time's arrow is psychological then different minds can impose different orders on events [Le Poidevin] |
Full Idea: If the Psychological account of time's arrow is correct …then there is nothing to prevent different minds from imposing different orders on the world. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 12 'The mind's') | |
A reaction: All we need is for two people to disagree about the order of some past events. The idea that we are psychologically creating time's arrow when everyone feels they are its victims strikes me as a particularly silly theory. |
22948 | There are Thermodynamic, Psychological and Causal arrows of time [Le Poidevin] |
Full Idea: The three most significant arrows of time are the Thermodynamic (the direction from order to disorder), the Psychological (from perceptions of events to memories), and the Causal (from cause to effect). | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 12 'Three') | |
A reaction: It would be nice if one of these explained the other two. Le Poidevin rejects the Psychological arrow, and seems to favour the Causal. Since I favour taking time as a primitive, I'm inclined to think that the arrow is included in the deal. |
22949 | Presumably if time's arrow is thermodynamic then time ends when entropy is complete [Le Poidevin] |
Full Idea: One consequence of the Thermodynamic analysis of time's arrow is that a universe in which things are as disordered as they could be would exhibit no direction of time at all, because there would be no more significant changes in entropy. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 12 'Three') | |
A reaction: And presumably time would gradually fizzle out, rather than ending abruptly. If entropy then went into reverse, there would be no time interval between the end and the new beginning. Entropy can vary locally, so it has to be universal. |
22950 | If time is thermodynamic then entropy is necessary - but the theory says it is probable [Le Poidevin] |
Full Idea: The Second Law of Thermodynamics says it is overwhelmingly probable that entropy will increase. This leaves the door open for occasional isolated instances of decrease. But the thermodynamic arrow makes the increase a necessity. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 12 'Three') | |
A reaction: Le Poidevin sees this as a clincher against the thermodynamic explanation of the arrow. I'm now sure how the Second Law can even be stated without explicit or implicit reference to time. |
22943 | Instantaneous motion is an intrinsic disposition to be elsewhere [Le Poidevin] |
Full Idea: Being in motion at a particular time can be an intrinsic property of an object, as a disposition to be elsewhere than the place it is. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 09 'in present') | |
A reaction: This needs an ontology which includes unrealised dispositions. People trapped in boring meetings have a disposition to be elsewhere, but they are stuck. I think 'power' is a better word here than 'disposition'. The disposition isn't just for 'elsewhere'. |
22945 | The dynamic view of motion says it is primitive, and not reducible to objects, properties and times [Le Poidevin] |
Full Idea: According to the dynamic account of motion, an object's being in motion is a primitive event, not further analysable in terms of objects, properties and times. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 09 'Zeno') | |
A reaction: [The rival view is 'static'] Physics suggests that motion may be indefinable, but acceleration can be given a reductive account. If time and space are taken as primitive (which seems sensible to me), then making motion also primitive is a bit greedy. |
22937 | If the present could have diverse pasts, then past truths can't have present truthmakers [Le Poidevin] |
Full Idea: If any number of pasts are compatible with the present state of affairs, and it is only the present state of affairs which can make true or false statements about the past, then no statement about the past is either true or false. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 08 'First') | |
A reaction: He suggests an explosion which could have had innumerable different causes. The explosion could have had different origins, but not sure that the whole of present reality could. Presentists certainly have problems with truthmakers for the past. |
22925 | The present is the past/future boundary, so the first moment of time was not present [Le Poidevin] |
Full Idea: The present is the boundary between past and future, therefore if there was a first moment of time, it could not have been present - because there can be no past at the beginning of time. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 05 'Limits') | |
A reaction: How about at the start of a race the athletes cannot be running. How about 'all moments of time have preceding moments - apart from the first moment'? |
22944 | The primitive parts of time are intervals, not instants [Le Poidevin] |
Full Idea: Intervals of time can be viewed as primitive, and not decomposable into a series of instants. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 09 'in present') | |
A reaction: Given that instants are nothing, and intervals are something, the latter are clearly the better candidates to be the parts of time. Is there a smallest interval? |
22942 | If time is infinitely divisible, then the present must be infinitely short [Le Poidevin] |
Full Idea: Assuming time to be infinitely divisible, the present can have no duration at all, for if it did, we could divide it into parts, and some parts would be earlier than others. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 09 'in present') | |
A reaction: I quite like Aristotle's view that things only have parts when you actually divide them. In modern physics fields don't seem to be infinitely divisible. It's a puzzle, though, innit? |
22946 | The multiverse is distinct time-series, as well as spaces [Le Poidevin] |
Full Idea: The multiverse is not just a collection of distinct spaces, it is also a collection of distinct time-series. | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 11 'Objections') | |
A reaction: This boggles the imagination even more than distinct spatial universes. |
15196 | God being inside or outside of time both raise a group of difficult problems [Le Poidevin] |
Full Idea: Is God within, or outside time? How can God causally interact with the universe? How are 'all times present to God'? If the future is not real, can God not know the future? How would he then be omniscient? Does God know the truth of tensed assertions? | |
From: Robin Le Poidevin (Intro to 'Questions of Time and Tense' [1998], 6) | |
A reaction: This lot constitutes one of the main reasons why I cannot believe in God. In brief, the concept is incoherent. The metaphysical convolutions needed to reconcile these problems smack of the absurd aspects of medieval theology. |
22941 | How could a timeless God know what time it is? So could God be both timeless and omniscient? [Le Poidevin] |
Full Idea: Could a timeless being now know what the time was? If so, does this show that there must be something wrong with the idea of God as both timeless and omniscient? | |
From: Robin Le Poidevin (Travels in Four Dimensions [2003], 09 'Questions') | |
A reaction: This is a potential contradiction between the perfections of a supreme God which I had not noticed before. Leibniz tried to refute such objections, but not very successfully, I think. |