63 ideas
23000 | Vicious regresses force you to another level; non-vicious imply another level [Baron/Miller] |
Full Idea: A regress is vicious if the problem at level n can only be solved at level n+1; it is non-vicious if it can be solved at n, but the solution forces another level n+1, where the problem can be reformulated. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 2.3.2) | |
A reaction: So in a vicious regress you chase the apparent solution, but never attain it. In the non-vicious you solve it, but then find you have a new problem. I think. |
18486 | We might define truth as arising from the truth-maker relation [MacBride] |
Full Idea: We might define truth using the truth-maker relation, albeit in a roundabout way, according to the pattern of saying 'S is true' is equivalent to 'there is something which makes S true'. | |
From: Fraser MacBride (Truthmakers [2013], 3.3) | |
A reaction: [MacBride gives it more algebraically, but I prefer English!] You would need to explain 'truth-making' without reference to truth. Horwich objects, reasonably, that ordinary people grasp 'truth' much more clearly than 'truth-making'. Bad idea, I think. |
18484 | Phenomenalists, behaviourists and presentists can't supply credible truth-makers [MacBride] |
Full Idea: For Martin the fatal error of phenomenalists was their inability to supply credible truth-makers for truths about unobserved objects; the same error afflicted Ryle's behaviourism, ...and Prior's Presentism (for past-tensed and future-tensed truths). | |
From: Fraser MacBride (Truthmakers [2013], 3.1) | |
A reaction: This seems to be the original motivation for the modern rise of the truthmaker idea. Personally I find 'Napoleon won at Austerlitz' is a perfectly good past-tensed truthmaker which is compatible with presentism. Truth-making is an excellent challenge. |
18466 | If truthmaking is classical entailment, then anything whatsoever makes a necessary truth [MacBride] |
Full Idea: If a truthmaker entails its truth, this threatens to over-generate truth-makers for necessary truths - at least if the entailment is classical. It's a feature of this notion that anything whatsoever entails a given necessary truth. | |
From: Fraser MacBride (Truthmakers [2013], 1.1) | |
A reaction: This is a good reason to think that the truth-making relation does not consist of logical entailment. |
18473 | 'Maximalism' says every truth has an actual truthmaker [MacBride] |
Full Idea: The principle of 'maximalism' is that for every truth, then there must be something in the world that makes it true. | |
From: Fraser MacBride (Truthmakers [2013], 2.1) | |
A reaction: That seems to mean that no truths can be uttered about anything which is not in the world. If I say 'pigs might have flown', that isn't about the modal profile of actual pigs, it is about what might have resulted from that profile. |
18481 | Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride] |
Full Idea: If maximalism is intellectual heir to Russell's logical atomism, then 'optimalism' (the denial that universal and negative statements need truth-makers) is heir to Wittgenstein's version, where only atomic propositions represent states of affairs. | |
From: Fraser MacBride (Truthmakers [2013], 2.2) | |
A reaction: Wittgenstein's idea is that you can use the logical connectives to construct all the other universal and negative facts. 'Optimalism' restricts truthmaking to atomic statements. |
18483 | The main idea of truth-making is that what a proposition is about is what matters [MacBride] |
Full Idea: According the Lewis, the kernel of truth in truth-making is the idea that propositions have a subject matter. They are about things, so whether they are true or false depends on how those things stand. | |
From: Fraser MacBride (Truthmakers [2013], 2.4.1) | |
A reaction: [Lewis 'Things Qua Truth-makers' 2003] That sounds like the first step in the story, rather than the 'kernel' of the truth-making approach. |
18479 | There are different types of truthmakers for different types of negative truth [MacBride] |
Full Idea: We recognise that what makes it true that there is no oil in this engine is different from what makes it true that there are no dodos left. | |
From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
A reaction: This looks like a local particular negation up against a universal negation. I'm not sure there is a big difference between 'my dodo's gone missing' (like my oil), and 'all the dodos have gone permanently missing'. |
18477 | There aren't enough positive states out there to support all the negative truths [MacBride] |
Full Idea: It's not obvious that there are enough positive states out there to underwrite all the negative truths. Even though it may be true that this liquid is odourless this needn't be because there's something further about it that excludes its being odourless. | |
From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
A reaction: What is the ontological status of all these hypothetical truths? What is the truthmaker for 'a trillion trillion negative truths exist'? What is the status of 'this is not not-red'? |
18482 | Optimalists say that negative and universal are true 'by default' from the positive truths [MacBride] |
Full Idea: Optimalists say that negative truths are 'true by default' (having the opposite truth value of p), and universal truths are too. Universal truths are equivalent to negative existential truths, which are true by default. | |
From: Fraser MacBride (Truthmakers [2013], 2.2) | |
A reaction: The background idea is Wittgenstein's, that if p is false, then not-p is true by default, without anyone having to assert the negation. This strikes me as a very promising approach to truthmaking. See Simons 2008. |
18474 | Does 'this sentence has no truth-maker' have a truth-maker? Reductio suggests it can't have [MacBride] |
Full Idea: If the sentence 'This sentence has no truth-maker' has a truth-maker, then it must be true. But then what it says must be the case, so it has no truth-maker. Hence by reductio the sentence has no truth-maker. | |
From: Fraser MacBride (Truthmakers [2013], 2.1.1) | |
A reaction: [Argument proposed by Peter Milne 2005] Rodriguez-Pereyra replies that the sentence is meaningless, so that it can't possibly be true. The Liar sentence is also said to be meaningless. The argument opposes Maximalism. |
18485 | Even idealists could accept truthmakers, as mind-dependent [MacBride] |
Full Idea: Even an idealist could accept that there are truth-makers whilst thinking of them as mind-dependent entities. | |
From: Fraser MacBride (Truthmakers [2013], 3.1) | |
A reaction: This undercuts anyone (me, perhaps?) who was hoping to prop up their robust realism with an angry demand to be shown the truthmakers. |
18490 | Maybe 'makes true' is not an active verb, but just a formal connective like 'because'? [MacBride] |
Full Idea: Maybe the truth-maker panegyrists have misconstrued the logical form of 'makes true'. They have taken it to be a verb like 'x hits y', when really it is akin to the connective '→' or 'because'. | |
From: Fraser MacBride (Truthmakers [2013], 3.7) | |
A reaction: [He cites Melia 2005] This isn't any sort of refutation of truth-making, but an offer of how to think of the phenomenon if you reject the big principle. I like truth-making, but resist the 'makes' that brings unthought propositions into existence. |
18493 | Truthmaker talk of 'something' making sentences true, which presupposes objectual quantification [MacBride] |
Full Idea: When supporters of truth-making talk of 'something' which makes a sentence true, they make the assumption that it is an objectual quantifier in name position. | |
From: Fraser MacBride (Truthmakers [2013], 3.8) | |
A reaction: We might say, more concisely, that they are 'reifying' the something. This makes it sound as if Armstrong and Bigelow have made a mistake, but that are simply asserting that this particular quantification is indeed objectual. |
18489 | Connectives link sentences without linking their meanings [MacBride] |
Full Idea: The 'connectives' are expressions that link sentences but without expressing a relation that holds between the states of affairs, facts or tropes that these sentences denote. | |
From: Fraser MacBride (Truthmakers [2013], 3.7) | |
A reaction: MacBride notes that these contrast with ordinary verbs, which do express meaningful relations. |
18476 | 'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride] |
Full Idea: Statements of the form 'a is F' aren't invariably positive ('a is dead'), and nor are statements of the form 'a isn't F' ('a isn't blind') always negative. | |
From: Fraser MacBride (Truthmakers [2013], 2.1.4) | |
A reaction: The point is that the negation may be implicit in the predicate. There are many ways to affirm or deny something, other than by use of the standard syntax. |
23024 | A traveller takes a copy of a picture into the past, gives it the artist, who then creates the original! [Baron/Miller] |
Full Idea: Suppose an art critic travels back in time with a copy of an artist's masterpiece, gives the artist the copy, and the artist copies it. The copy of the copy turns out to be the original mastepiece. The artwork seems to come from nowhere. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 8.6) | |
A reaction: Lovely thought. Is the example possible (even with time travel)? How would the critic possess the copy before making the time journey? What if the critic decided not to travel back in time? Can a picture exist if no one has imagined it first? |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
Full Idea: The mathematically significant properties and relations of natural numbers arise from the successor function that orders them; the natural numbers are identified simply as the objects that answer to this basic function. | |
From: Fraser MacBride (Structuralism Reconsidered [2007], §1) | |
A reaction: So Julius Caesar would be a number if he was the successor of Pompey the Great? I would have thought that counting should be mentioned - cardinality as well as ordinality. Presumably Peano's Axioms are being referred to. |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
Full Idea: The identification of mathematical objects with positions in structures rests upon the prior credibility of the thesis that positions are objects in their own right. | |
From: Fraser MacBride (Structuralism Reconsidered [2007], §3) | |
A reaction: Sounds devastating, but something has to get the whole thing off the ground. This is why Resnik's word 'patterns' is so appealing. Patterns stare you in the face, and they don't change if all the objects making it up are replaced by others. |
18480 | Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride] |
Full Idea: 'To be is to be a truth-maker' has been proposed as a replacement the standard conception of ontological commitment, that to be is to be the value of a variable. | |
From: Fraser MacBride (Truthmakers [2013], 2.1.4.2) | |
A reaction: [He cites Ross Cameron 2008] Unconvincing. What does it mean to say that some remote unexperienced bit of the universe 'makes truths'? How many truths? Where do these truths reside when they aren't doing anything useful? |
18471 | Different types of 'grounding' seem to have no more than a family resemblance relation [MacBride] |
Full Idea: The concept of 'grounding' appears to cry out for treatment as a family resemblance concept, a concept whose instances have no more in common than different games do. | |
From: Fraser MacBride (Truthmakers [2013], 1.6) | |
A reaction: I like the word 'determinations', though MacBride's point my also apply to that. I take causation to be one species of determination, and truth-making to be another. They form a real family, with no adoptees. |
18472 | Which has priority - 'grounding' or 'truth-making'? [MacBride] |
Full Idea: Some philosophers define 'grounding' in terms of 'truth-making', rather than the other way around. | |
From: Fraser MacBride (Truthmakers [2013], 1.6) | |
A reaction: [Cameron exemplifies the first, and Schaffer the second] I would have thought that grounding was in the world, but truth-making required the introduction of propositions about the world by minds, so grounding is prior. Schaffer is right. |
23008 | Grounding is intended as a relation that fits dependences between things [Baron/Miller] |
Full Idea: Grounding is a posit introduced by metaphysicians in an attempt to devise a relation that can accommodate dependence between things in the world. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 5.6) | |
A reaction: Grounding is a recent concept which seems to have lots of enemies, but I assume you can only reject it if you reject the concept of dependence - yet that seems a fairly obvious fact to me. My favoured metaphysical relation is 'determination'. |
18475 | Russell allows some complex facts, but Wittgenstein only allows atomic facts [MacBride] |
Full Idea: The logical atomism of Russell admitted some logically complex facts but not others - in contrast to Wittgenstein's version which admitted only atomic facts. | |
From: Fraser MacBride (Truthmakers [2013], 2.1.3) | |
A reaction: For truthmakers, it looks as if the Wittgenstein version might do a better job (e.g. with negative truths). I quite like the Russell approach, where complex facts underwrite the logical connectives. Disjunctive, negative, conjunctive, hypothetical facts. |
21354 | It may be that internal relations like proportion exist, because we directly perceive it [MacBride] |
Full Idea: Some philosophers maintain that we literally perceive proportions and other internal relations. These relations must exist, otherwise we couldn't perceive them. | |
From: Fraser MacBride (Relations [2016], 3) | |
A reaction: [He cites Mulligan 1991, and Hochberg 2013:232] This seems a rather good point. You can't perceive the differing heights of two people, yet fail to perceive that one is taller. You also perceive 'below', which is external. |
21353 | Internal relations are fixed by existences, or characters, or supervenience on characters [MacBride] |
Full Idea: Internal relations are determined either by the mere existence of the things they relate, or by their intrinsic characters, or they supervene on the intrinsic characters of the things they relate. | |
From: Fraser MacBride (Relations [2016], 3) | |
A reaction: Suggesting that they 'supervene' doesn't explain anything (and supervenience never explains anything). I vote for the middle one - the intrinsic character. It has to be something about the existence, and not the mere fact of existence. |
21352 | 'Multigrade' relations are those lacking a fixed number of relata [MacBride] |
Full Idea: A 'unigrade' relation R has a definite degree or adicity: R is binary, or ternary....or n-ary (for some unique n). By contrast a relation is 'multigrade' if it fails to be unigrade. Causation appears to be multigrade. | |
From: Fraser MacBride (Relations [2016], 1) | |
A reaction: He also cites entailment, which may have any number of premises. |
16643 | Accidents always remain suited to a subject [Bonaventura] |
Full Idea: An accident's aptitudinal relationship to a subject is essential, and this is never taken away from accidents….for it is true to say that they are suited to a subject. | |
From: Bonaventura (Commentary on Sentences [1252], IV.12.1.1.1c) | |
A reaction: This is the compromise view that allows accidents to be separated, for Transubstantiation, while acknowledging that we identify them with their subjects. |
23018 | How does a changing object retain identity or have incompatible properties over time? [Baron/Miller] |
Full Idea: The problems of temporary intrinsics are reconciling the indiscernibility of identicals with change in an object over time, and the problem of something have incompatible properties over time (such as tired and not-tired). | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 7.3.1) | |
A reaction: Loosely speaking, I would offer some sort of essentialism as the answer to these problems. People are not essentially sitting down, or tired. Or we can relativise properties to times t1 and t2. |
16696 | Successive things reduce to permanent things [Bonaventura] |
Full Idea: Everything successive reduces to something permanent. | |
From: Bonaventura (Commentary on Sentences [1252], II.2.1.1.3 ad 5), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 18.2 | |
A reaction: Avicenna first took successive entities seriously, but Bonaventure and Aquinas seem to have rejected them, or given reductive accounts of them. It resembles modern actualists versus modal realists. |
18478 | Wittgenstein's plan to show there is only logical necessity failed, because of colours [MacBride] |
Full Idea: It is almost universally acknowledged that Wittgenstein's plan to show all necessity is logical necessity ended in failure - indeed foundered upon the very problem of explaining colour incompatibilities. | |
From: Fraser MacBride (Truthmakers [2013], 2.1.4.1) | |
A reaction: I'm not sure whether you can 'show' that colour incompatibility is some sort of necessity, though intuitively it seems so. I'm thinking that 'necessity' is a unitary concept, with a wide variety of sources generating it. |
23011 | Modern accounts of causation involve either processes or counterfactuals [Baron/Miller] |
Full Idea: The two major contemporary theories of causation are process theories and counterfactual theories. …Process theories treat it as something to be discovered. …Counterfactual theories ignore processes, and treat it in terms of truth and falsity. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 6.1) | |
A reaction: I take the counterfactual theory to be a specialised branch of the project of analytic metaphysics, which seeks the logical form of causation sentences, using possible worlds semantics. In the real word its processes or nothing. |
23013 | The main process theory of causation says it is transference of mass, energy, momentum or charge [Baron/Miller] |
Full Idea: According to contemporary process theories of causation it consists of the transference of a 'mark', which is always some conserved quantity. Candidates (from science) are mass, energy, momentum and electric charge. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 6.2.2) | |
A reaction: Given my commitment to physicalism, this is my preferred theory of causation. It began with the suggestion of energy-transfer, but has broadened into the present idea. It is an updated version of the Newton view, as the meeting of objects. |
23014 | If causes are processes, what is causation by omission? (Distinguish legal from scientific causes?) [Baron/Miller] |
Full Idea: Process theories of causation face a serious problem, such as killing a plant by failing to water it - a cause by omission. …Defenders of the theory propose two concepts of causation: one for legal and one for scientific contexts. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 6.2.3) | |
A reaction: Not much of a problem, I think. Clearly the scientific concept has priority. The plant died of dehydration, resulting from the consumption and evaporation of the available water. The human causes of that situation are legion. |
23015 | The counterfactual theory of causation handles the problem no matter what causes actually are [Baron/Miller] |
Full Idea: The chief advantage of the counterfactual theory of causation is that it is flexible enough to handle causation no matter what in the world underlies the causal facts in question. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 6.3) | |
A reaction: It has this advantage because it makes no attempt to explain causation, but merely gives an accurate map of the truth and falsity of causal statements. It describes how we think about causation. |
23016 | Counterfactual theories struggle with pre-emption by a causal back-up system [Baron/Miller] |
Full Idea: Counterfactual theories of causation have difficulty accommodating pre-emption, which involves the existence of causal back-up systems that undermine counterfactual dependence. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 6.5) | |
A reaction: E.g. If your stone hadn't broken the window first, my stone would have broken it instead. So in the nearest world the withholding of your stone doesn't save the window. |
23009 | There is no second 'law' of thermodynamics; it just reflects probabilities of certain microstates [Baron/Miller] |
Full Idea: According to contemporary statistical mechanics the second law of thermodynamics is not really a law at all, but merely reflects to probabilities of certain microstates, conditional on local boundary conditions having certain properties. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 5.6.1) | |
A reaction: A nice illustration of how metaphysicians have been seduced by the 'laws' of nature into falsely inferring all sorts of natural necessities. Entropy is normally assumed to be totally inevitable, because of some natural force. It's just a pattern. |
23002 | In relativity space and time depend on one's motion, but spacetime gives an invariant metric [Baron/Miller] |
Full Idea: While spatial and temporal distances in relativity depend on one's relative state of motion, spatiotemporal distances within Minkowski spacetime do not. It therefore provides an invariant metric for describing the distances between things. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 4.2) | |
A reaction: I doubt whether this solves all the worries which philosophers have, about relativity giving an account of time which contradicts our concept of time in every other area of our understanding. |
22988 | The block universe theory says entities of all times exist, and time is the B-series [Baron/Miller] |
Full Idea: The standard block universe theory combines EntityEverywhenism with the B-theory of time. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.4) | |
A reaction: This is also known as 'eternalism'. These authors emphasise that there is an ontological commitment to the objects of past and future in eternalism, as well as the B-series view of the moments of time. |
22991 | How can we know this is the present moment, if other times are real? [Baron/Miller] |
Full Idea: According to the spotlight and growing block views, there is a single objectively present moment, and also other objectively existing moments. But then how do persons in those different moments know which one is present? | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.6) | |
A reaction: [compressed example] This sceptical thought leads either towards Presentism (we know we are present because that's all there is), or Eternalism (there is no present moment, so no problem). A good objection to spotlight and growing block. |
22992 | If we are actually in the past then we shouldn't experience time passing [Baron/Miller] |
Full Idea: If the past really exists, and we are in it, rather than in the present, then we should rationally conclude that we are not experiencing the passage of time. …But then we have no basis for arguing that time is dynamic. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.6) | |
A reaction: [compressed] It is certainly difficult to conceive how past times and entities could be real in every way, except that the experience of time passing has been removed. But if past people experience passing, they must believe they are present… |
22994 | Erzatz Presentism allows the existence of other times, with only the present 'actualised' [Baron/Miller] |
Full Idea: The 'erzatz presentism' view is that either the past and present exist, or all times exist, but only the present is 'actualised'. Standard Presentism says no times exist other than the present. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.7.2) | |
A reaction: Ersatz presentism is obviously a close relative of the moving spotlight and growing block views. No account seems possible of the distinction between 'exists' and 'actualised' (other than the former being a mere abstract concept). |
22998 | How do presentists explain relations between things existing at different times? [Baron/Miller] |
Full Idea: A chief challenge facing presentism is how to give an account of cross-temporal relations, which link things that exist with things that do not. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 2.2) | |
A reaction: The problem of whether to keep a dubious death-bed promise is a bit of a puzzle for all of us, whatever our metaphysical view of time. None of us deny the reality of our great-great-grandparents. |
23017 | Presentism needs endurantism, because other theories imply most of the object doesn't exist [Baron/Miller] |
Full Idea: Presentism is more naturally paired with endurantism, since if we pair it with perdurantism or transdurantism we have to say that most of any persisting object does not exist, and while that is not incoherent it is not very attractive. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 7.2.2) | |
A reaction: (I think perdurance is time slices, and transdurance is the complete time worm). My preferred combination is this one: all that exists is the complete objects at the present moment. It also needs strong commitment to the truth of tensed verbs. |
23023 | How can presentists move to the next future moment, if that doesn't exist? [Baron/Miller] |
Full Idea: If Presentism is true, how do we manage to travel from this moment to the next moment, a moment that is, at present, a future and hence non-existent moment? | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 8.3.1) | |
A reaction: The reply would have to be that the metaphor of 'travel' is inappropriate for the movement through time. Travel needs a succession of existing places. The advancement of time is nothing like that. Nice question, though. |
22995 | Most of the sciences depend on the concept of time [Baron/Miller] |
Full Idea: Without time it is hard to make sense of historical research, evolutionary biology, psychology, chemistry, biology, cosmology, social science, archaeology, practical reason, evidence, human agency and causation. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.8) | |
A reaction: [compressed] I do find it extraordinary that relativistic physicists cheerfully embrace an eternalist theory of time which seems to render nearly all of the other sciences meaningless. |
22993 | For abstractionists past times might still exist, althought their objects don't [Baron/Miller] |
Full Idea: If past moments are seen as abstract (rather than concrete) it doesn't follow that because past objects no longer exist that therefore past times do not exist. The abstractionist needs to say which times are concretely realised. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.7.2) | |
A reaction: Abstractionists see times as representations of change, rather than as substances. |
23001 | The error theory of time's passage says it is either a misdescription or a false inference [Baron/Miller] |
Full Idea: According to the cognitive error theory of the passage of time, …it is either our misdescription of our temporal phenomenology, or some mechanism of our brain infers that the phenomenology is caused by time actually passing. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 3.3.1) | |
A reaction: [compressed] I think I have some sympathy with the misdescription view. If you imaginatively gradually remove all the changing events in your experience, that doesn't end with a raw experience of pure time, because there is no such thing. |
22999 | It is meaningless to measure the rate of time using time itself, and without a rate there is no flow [Baron/Miller] |
Full Idea: It seems we are forced to measure the rate of time's passing against itself. But that's just not a meaningful rate. So time has no rate. So it doesn't flow. So there is no such thing as temporal passage. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 2.3.1) | |
A reaction: It is suggested that you can exchange dollars one for one, so time might move at one second per second. But you can't exchange your own dollars with yourself at one-for-one. That is meaningless. Time is NOT a substance which flows. |
22986 | The C-series rejects A and B, and just sees times as order by betweenness, without direction [Baron/Miller] |
Full Idea: The C-series sees times not as directed, but as unchanging, and ordered in terms of the betweenness relation. The C-theory also asserts that the A-series and B-series do not exist. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.2) | |
A reaction: This is McTaggart's idea. Compare this with A-series ordering by past, present and future, and B-series ordering by earlier-than, later-than and simultaneous. The main point is that A and B have a direction, but C does not. |
22996 | The A-series has to treat being past, present or future as properties [Baron/Miller] |
Full Idea: One of the limitations of the A-series is that temporal passage then presupposes the existence of properties of being present, being past and being future. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 2.1) | |
A reaction: Metaphysicians happily talk about 'properties' all the time, and most of them never grasp how ambiguous and obscure that concept is. The idea that my recent scratching of my chin first acquired the 'present' property and then lost it is incoherent. |
23007 | The B-series can have a direction, as long as it does not arise from temporal flow [Baron/Miller] |
Full Idea: The view that time has a direction is entirely consistent with the B-theory of time, as long as time's having a direction is not a matter of it having temporal flow. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 5.5) | |
A reaction: I'm not sure how you could account for an intrinsic direction to time if it is not because of the 'flow'. The B-series seems to invite a reductive account of time's direction (e.g. to entropy). |
23003 | Static theories cannot account for time's obvious asymmetry, so time must be dynamic [Baron/Miller] |
Full Idea: One argument for the dynamic theory of time is that time is, obviously, asymmetric, and as static theories can't account for this asymmetry, we ought to posit temporal passage to explain it. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 5) | |
A reaction: The B-series view (unlike the C-series) asserts that there is an order from past to future, but it offers no explanation of that fact. Physicists love to tell you the order could be in either direction, But why an 'order' at all? |
23004 | The direction of time is either primitive, or reducible to something else [Baron/Miller] |
Full Idea: Primitivism is the view that time has a direction, and that its having that direction is intrinsic to time itself. Reductionism is the view that time has a direction, but its having that direction is reducible to something else. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 5.3.1) | |
A reaction: The general suggestion for the second theory is that time's direction reduces to some aspect of the laws of nature. I strongly incline to the primitive view. Something's got to be primitive. |
23005 | The kaon does not seem to be time-reversal invariant, unlike the rest of nature [Baron/Miller] |
Full Idea: The laws of nature are time-reversal invariant, with the small exception of the kaon (a type of sub-atomic particle) | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 5.3.2) | |
A reaction: If that fact about the kaon were very secure indeed, then that would mean the collapse of the claims about the time-invariance of the laws. Since time-invariance is still routinely asserted, I assume it is not secure. |
23006 | Maybe the past is just the direction of decreasing entropy [Baron/Miller] |
Full Idea: We could say that what we call the past is just the direction towards (for instance) decreasing entropy, and the direction we call the future is the direction towards increasing entropy. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 5.3.3) | |
A reaction: One problem is that locally entropy can sometimes go the other way, which would imply local pockets with a reversed time's arrow,. |
23010 | We could explain time's direction by causation: past is the direction of causes, future of effects [Baron/Miller] |
Full Idea: An option for accounting for the direction of time would be to appeal to the direction of causation …to the future is the direction towards which there are effects, and the past is the direction towards which there are causes. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 5.6.2) | |
A reaction: The obvious problem is that we can no longer pick out a cause by saying it 'precedes' its effect. It is not obvious what other criterion can be used to distinguish them (esp. given Hume's regularity account). |
22989 | Static time theory presents change as one property at t1, and a different property at t2 [Baron/Miller] |
Full Idea: The static theory of time appeals to an 'at-at' notion of change, which analyses change as objects or events having one property at time t1, and a different property at t2. (The worry about this is that it describes variation, but not real change). | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.4) | |
A reaction: I suppose observing a different property at t2 is observing the result of a change, rather than the process. But then the process might be broken down into micro-gradations of properties. Maybe only results can be observed. |
23020 | If a time traveller kills his youthful grandfather, he both exists and fails to exist [Baron/Miller] |
Full Idea: It is surely true that if a time traveller travels back in time and succeeds in shooting his youthful grandfather then the time traveller both exists and fails to exist. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 8.2) | |
A reaction: This is the best known paradox of time travel. It is a special dramatic case of making any change to the past. If the traveller kills his neighbour's grandfather, his neighbour should vanish. Moving a speck of dust could have enduring results. |
23022 | Presentism means there no existing past for a time traveller to visit [Baron/Miller] |
Full Idea: A time traveller can only travel to a location if the location exists, But if Presentism is true then past locations do not exist, so time travel to the past is impossible. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 8.3.1) | |
A reaction: Might a time machine actually restore the past time which had ceased to exist? Then the problem is the information needed to achieve that. |
22987 | The past (unlike the future) is fixed, along with truths about it, by the existence of past objects [Baron/Miller] |
Full Idea: It is the existence of past objects that explains why the past is fixed, and why there are truths about the past, and it is the non-existence of future objects that explains why the future is malleable. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.3) | |
A reaction: The authors label this view 'EntityNowandThenism', and it comes in a section on the 'Temporal Ontology'. |
22990 | The moving spotlight says entities can have properties of being present, past or future [Baron/Miller] |
Full Idea: The moving spotlight theorist maintains that there are special temporal properties that entities possess, namely the properties of being present, being past and being future. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 1.5.3) | |
A reaction: Are these thought to be intrinsic properties of the objects, or (more plausibly) relational properties, between objects and times? Either view is weird. Does some godlike part of time scurry along, illuminating things, like a mouse under a carpet? |
22997 | The present moment is a matter of existence, not of acquiring a property [Baron/Miller] |
Full Idea: Rather than treating presentness as an acquired property …. presentism equates the metaphysical specialness of the present with existence. | |
From: Baron,S/Miller,K (Intro to the Philosophy of Time [2019], 2.2) | |
A reaction: It seems like common sense to say that the recent scratching of my chin came into existence and then went out of existence (rather than that it acquired and then lost a property). |