Combining Texts

All the ideas for 'The Case for Closure', 'Intro to the Philosophy of Time' and 'works'

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


69 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Quinean metaphysics just lists the beings, which is a domain with no internal structure [Schaffer,J on Quine]
     Full Idea: The Quinean task in metaphysics is to say what exists. What exists forms the domain of quantification. The domain is a set (or class, or plurality) - it has no internal structure. In other words, the Quinean task is to list the beings.
     From: comment on Willard Quine (works [1961]) by Jonathan Schaffer - On What Grounds What 1.1
     A reaction: I really warm to this thesis. The Quinean version is what you get when you think that logic is the best tool for explicating metaphysics. Schaffer goes on to say that the only real aim for Quine is the cardinality of what exists!
2. Reason / F. Fallacies / 2. Infinite Regress
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.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Set theory is full of Platonist metaphysics, so Quine aimed to keep it separate from logic [Quine, by Benardete,JA]
     Full Idea: Quine has showed us how set theory - now recognised to be positively awash in Platonistic metaphysics - can and should be prevented from infecting logic proper.
     From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Intro
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
Quine wants V = L for a cleaner theory, despite the scepticism of most theorists [Quine, by Shapiro]
     Full Idea: Quine suggests that V = L be accepted in set theory because it makes for a cleaner theory, even though most set theorists are skeptical of V = L.
     From: report of Willard Quine (works [1961]) by Stewart Shapiro - Philosophy of Mathematics Ch.1
     A reaction: Shapiro cites it as a case of a philosopher trying to make recommendations to mathematicians. Maddy supports Quine.
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Two things can never entail three things [Quine, by Benardete,JA]
     Full Idea: Two things can never entail three things.
     From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.17
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
If we had to name objects to make existence claims, we couldn't discuss all the real numbers [Quine]
     Full Idea: Since one wants to say that real numbers exist and yet one cannot name each of them, it is not unreasonable to relinquish the connection between naming an object and making an existence claim about it.
     From: Willard Quine (works [1961]), quoted by Alex Orenstein - W.V. Quine Ch.2
     A reaction: One could say that same about people, such as 'the most recent citizen of Brazil'. Some sort of successful reference seems to be needed, such as 'the next prime beyond the biggest so far found'. Depends what your predicate is going to be.
5. Theory of Logic / G. Quantification / 1. Quantification
No sense can be made of quantification into opaque contexts [Quine, by Hale]
     Full Idea: Quine says that no good sense can be made of quantification into opaque contexts.
     From: report of Willard Quine (works [1961]) by Bob Hale - Abstract Objects Ch.2
     A reaction: This is because poor old Quine was trapped in a world of language, and had lost touch with reality. I can quantify over the things you are thinking about, as long as you are thinking about things that can be quantified over.
Finite quantification can be eliminated in favour of disjunction and conjunction [Quine, by Dummett]
     Full Idea: Quine even asserts that where we have no infinite domains, quantification can be eliminated in favour of finite disjunction and conjunction.
     From: report of Willard Quine (works [1961]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14
     A reaction: Thus ∃x is expressed as 'this or this or this...', and ∀ is expressed as 'this and this and this...' Dummett raises an eyebrow, but it sounds OK to me.
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Quine thought substitutional quantification confused use and mention, but then saw its nominalist appeal [Quine, by Marcus (Barcan)]
     Full Idea: Quine at first regarded substitutional quantification as incoherent, behind which there lurked use-mention confusions, but has over the years, given his nominalist dispositions, come to notice its appeal.
     From: report of Willard Quine (works [1961]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.166
5. Theory of Logic / L. Paradox / 7. Paradoxes of Time
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?
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
For Quine, intuitionist ontology is inadequate for classical mathematics [Quine, by Orenstein]
     Full Idea: Quine feels that the intuitionist's ontology of abstract objects is too slight to serve the needs of classical mathematics.
     From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.3
     A reaction: Quine, who devoted his life to the application of Ockham's Razor, decided that sets were an essential part of the ontological baggage (which made him, according to Orenstein, a 'reluctant Platonist'). Dummett defends intuitionism.
Intuitionists only admit numbers properly constructed, but classical maths covers all reals in a 'limit' [Quine, by Orenstein]
     Full Idea: Intuitionists will not admit any numbers which are not properly constructed out of rational numbers, ...but classical mathematics appeals to the real numbers (a non-denumerable totality) in notions such as that of a limit
     From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.3
     A reaction: (See Idea 8454 for the categories of numbers). This is a problem for Dummett.
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
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'.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
A logically perfect language could express all truths, so all truths must be logically expressible [Quine, by Hossack]
     Full Idea: Quine's test of ontological commitment says that anything that can be said truly at all must be capable of being said in a logically perfect language, so there must be a paraphrase of every truth into the language of logic.
     From: report of Willard Quine (works [1961]) by Keith Hossack - Plurals and Complexes 2
     A reaction: A very nice statement of the Quinean view, much more persuasive than other statements I have encountered. I am suddenly almost converted to a doctrine I have hitherto despised. Isn't philosophy wonderful?
7. Existence / D. Theories of Reality / 11. Ontological Commitment / c. Commitment of predicates
Quine says we can expand predicates easily (ideology), but not names (ontology) [Quine, by Noonan]
     Full Idea: The highly intuitive methodological programme enunciated by Quine says that as our knowledge expands we should unhesitatingly expand our ideology, our stock of predicables, but should be much more wary about ontology, the name variables.
     From: report of Willard Quine (works [1961]) by Harold Noonan - Identity §3
     A reaction: I suddenly embrace this as a crucial truth. This distinction allows you to expand on truths without expanding on reality. I would add that it is also crucial to distinguish properties from predicates. A new predicate isn't a new property.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
For Quine everything exists theoretically, as reference, predication and quantification [Quine, by Benardete,JA]
     Full Idea: Theoretical entities (which is everything, according to Quine) are postulated by us in a threefold fashion as an object (1) to which we refer, (2) of which we predicate, and (3) over which we quantify.
     From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.12
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Quine says the predicate of a true statement has no ontological implications [Quine, by Armstrong]
     Full Idea: Quine's doctrine is that the predicate of a true statement carries no ontological implications.
     From: report of Willard Quine (works [1961]) by David M. Armstrong - Properties §1
     A reaction: Quine is ontologically committed to the subject of the statement (an object). The predicate seems to be an inseparable part of that object. Quine is, of course, a holist, so ontological commitment isn't judged in single statements.
8. Modes of Existence / B. Properties / 12. Denial of Properties
Quine suggests that properties can be replaced with extensional entities like sets [Quine, by Shapiro]
     Full Idea: Quine doubts the existence of properties, and, trying to be helpful, suggests that variables ranging over properties be replaced with variables ranging over respectable extensional entities like sets, so we can 'identify' a property with a singleton set.
     From: report of Willard Quine (works [1961]) by Stewart Shapiro - Higher-Order Logic 2.1
     A reaction: This strikes me as a classic modern heresy, a slippery slope that loses all grip on what a property is, replacing it with entities that mean nothing, but make the logic work.
Quine says that if second-order logic is to quantify over properties, that can be done in first-order predicate logic [Quine, by Benardete,JA]
     Full Idea: Quine assures us that if the specific mission of second-order logic is quantifying over properties, the task can readily be performed by first-order predicate logic, as in (Ex) x is a property, and (y) y has x.
     From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.10
Quine brought classes into semantics to get rid of properties [Quine, by McGinn]
     Full Idea: Quine brought classes into semantics in order to oust properties.
     From: report of Willard Quine (works [1961]) by Colin McGinn - Logical Properties Ch.3
     A reaction: Quine's view has always struck me as odd, as I don't see how you can decide what set something belongs to if you haven't already decided its properties. But then I take it that nature informs you of most properties, and set membership is not arbitrary.
Don't analyse 'red is a colour' as involving properties. Say 'all red things are coloured things' [Quine, by Orenstein]
     Full Idea: Quine proposes that 'red is a colour' does not require analysis, such as 'there is an x which is the property of being red and it is a colour' which needs an ontology of properties. We can just say that all red things are coloured things.
     From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.6
     A reaction: The question of the ontology of properties is here approached, in twentieth century style, as the question 'what is the logical form of property attribution sentences?' Quine's version deals in sets of prior objects, rather than abstract entities.
8. Modes of Existence / D. Universals / 2. Need for Universals
Universals are acceptable if they are needed to make an accepted theory true [Quine, by Jacquette]
     Full Idea: Abstract entities (universals) are admitted to an ontology by Quine's criterion if they must be supposed to exist (or subsist) in order to make the propositions of an accepted theory true.
     From: report of Willard Quine (works [1961]) by Dale Jacquette - Abstract Entity p.3
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
Quine is committed to sets, but is more a Class Nominalist than a Platonist [Quine, by Macdonald,C]
     Full Idea: Armstrong dubs Quine an 'Ostrich Nominalist' (what problem??), but Quine calls himself a Platonist, because he is committed to classes or sets as well as particulars. He is not an extreme nominalist, and might best be called a Class Nominalist.
     From: report of Willard Quine (works [1961], Ch.6 n15) by Cynthia Macdonald - Varieties of Things
     A reaction: For someone as ontologically austere as Quine to show 'commitment' to sets deserves some recognition. If he wants to be a Platonist, I say that's fine. What on earth is a set, apart from its members?
9. Objects / A. Existence of Objects / 4. Impossible objects
Definite descriptions can't unambiguously pick out an object which doesn't exist [Lycan on Quine]
     Full Idea: Meinong characteristically refers to his Objects using definite descriptions, such as 'the golden mountain'. But on his view there are many golden mountains, with different features. How can 'the golden mountain' then succeed in denoting a single Object?
     From: comment on Willard Quine (works [1961]) by William Lycan - The Trouble with Possible Worlds 01
     A reaction: Use of definite descriptions doesn't seem obligatory in this situation. 'Think of a golden mountain' - 'which one?' - 'never mind which one!'.
9. Objects / E. Objects over Time / 2. Objects that Change
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.
10. Modality / B. Possibility / 1. Possibility
Quine wants identity and individuation-conditions for possibilia [Quine, by Lycan]
     Full Idea: Quine notoriously demands identity and individuation-conditions for mere possibilia.
     From: report of Willard Quine (works [1961]) by William Lycan - The Trouble with Possible Worlds 01
     A reaction: Demanding individuation before speaking of anything strikes me as dubious. 'Whoever did this should own up'. 'There must be something we can do'. Obviously you need some idea of what you are talking about - but not much.
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
For Quine the only way to know a necessity is empirically [Quine, by Dancy,J]
     Full Idea: Quine argues that no necessity can be known other than empirically.
     From: report of Willard Quine (works [1961]) by Jonathan Dancy - Intro to Contemporary Epistemology 14.6
11. Knowledge Aims / B. Certain Knowledge / 2. Common Sense Certainty
Commitment to 'I have a hand' only makes sense in a context where it has been doubted [Hawthorne]
     Full Idea: If I utter 'I know I have a hand' then I can only be reckoned a cooperative conversant by my interlocutors on the assumption that there was a real question as to whether I have a hand.
     From: John Hawthorne (The Case for Closure [2005], 2)
     A reaction: This seems to point to the contextualist approach to global scepticism, which concerns whether we are setting the bar high or low for 'knowledge'.
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Quine's empiricism is based on whole theoretical systems, not on single mental events [Quine, by Orenstein]
     Full Idea: Traditional empiricism takes impressions, ideas or sense data as the basic unit of empirical thought, but Quine takes account of the theoretical as well as the observational; the unit of empirical significance is whole systems of belief.
     From: report of Willard Quine (works [1961]) by Alex Orenstein - W.V. Quine Ch.1
     A reaction: This invites either the question of what components make up the whole systems, or (alternatively) what sort of mental events decide to accept a system as a whole. Should Quine revert either to traditional empiricism, or to rationalism?
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne]
     Full Idea: Those who deny skepticism but accept closure will have to explain how we know the various 'heavyweight' skeptical hypotheses to be false. Do we then twist the concept of knowledge to fit the twin desiderata of closue and anti-skepticism?
     From: John Hawthorne (The Case for Closure [2005], Intro)
     A reaction: [He is giving Dretske's view; Dretske says we do twist knowledge] Thus if I remember yesterday, that has the heavyweight implication that the past is real. Hawthorne nicely summarises why closure produces a philosophical problem.
We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne]
     Full Idea: Maybe one cannot know the logical consequences of the proposition that one knows, on account of the fact that small risks add up to big risks.
     From: John Hawthorne (The Case for Closure [2005], 1)
     A reaction: The idea of closure is that the new knowledge has the certainty of logic, and each step is accepted. An array of receding propositions can lose reliability, but that shouldn't apply to logic implications. Assuming monotonic logic, of course.
Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne]
     Full Idea: How could we know that P and Q but not be in a position to know that P (as deniers of closure must say)? If my glass is full of wine, we know 'g is full of wine, and not full of non-wine'. How can we deny that we know it is not full of non-wine?
     From: John Hawthorne (The Case for Closure [2005], 2)
     A reaction: Hawthorne merely raises this doubt. Dretske is concerned with heavyweight implications, but how do you accept lightweight implications like this one, and then suddenly reject them when they become too heavy? [see p.49]
13. Knowledge Criteria / E. Relativism / 4. Cultural relativism
To proclaim cultural relativism is to thereby rise above it [Quine, by Newton-Smith]
     Full Idea: Truth, says the cultural relativist, is culture-bound. But if it were, then he, within his own culture, ought to see his own culture-bound truth as absolute. He cannot proclaim cultural relativism without rising above it.
     From: report of Willard Quine (works [1961]) by W.H. Newton-Smith - The Rationality of Science VII.10
14. Science / B. Scientific Theories / 3. Instrumentalism
For Quine, theories are instruments used to make predictions about observations [Quine, by O'Grady]
     Full Idea: Quine's epistemological position is instrumentalist. Our theories are instruments we use to make predictions about observations.
     From: report of Willard Quine (works [1961]) by Paul O'Grady - Relativism Ch.3
     A reaction: This is the pragmatist in Quine. It fits the evolutionary view to think that the bottom line is prediction. My theory about the Pelopponesian War seems an exception.
19. Language / B. Reference / 1. Reference theories
Quine says there is no matter of fact about reference - it is 'inscrutable' [Quine, by O'Grady]
     Full Idea: Quine holds the doctrine of the 'inscrutability of reference', which means there is no fact of the matter about reference.
     From: report of Willard Quine (works [1961]) by Paul O'Grady - Relativism Ch.3
     A reaction: Presumably reference depends on conventions like pointing, or the functioning of words like "that", or the ambiguities of descriptions. If you can't define it, it doesn't exist? I don't believe him.
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
The principle of charity only applies to the logical constants [Quine, by Miller,A]
     Full Idea: Quine takes to the principle of charity to apply only to the translation of the logical constants.
     From: report of Willard Quine (works [1961]) by Alexander Miller - Philosophy of Language 8.7
     A reaction: Given how weird some people's view of the world seems to be, this very cautious approach has an interesting rival appeal to Davidson't much more charitable view, that people mostly speak truth. It depends whether you are discussing lunch or the gods.
26. Natural Theory / C. Causation / 1. Causation
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.
26. Natural Theory / C. Causation / 4. Naturalised causation
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.
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.
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
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.
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.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
Essence gives an illusion of understanding [Quine, by Almog]
     Full Idea: Essence engenders a mere illusion of understanding
     From: report of Willard Quine (works [1961]) by Joseph Almog - Nature Without Essence Intro
     A reaction: [Almog quotes Quine, but doesn't give a reference] This is roughly the same as Popper's criticism of essentialism.
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / d. Entropy
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.
27. Natural Reality / C. Space / 6. Space-Time
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.
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
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.
27. Natural Reality / D. Time / 1. Nature of Time / g. Growing block
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.
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…
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
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).
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.
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.
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.
27. Natural Reality / D. Time / 1. Nature of Time / i. Denying time
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.
27. Natural Reality / D. Time / 2. Passage of Time / a. Experience of time
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.
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.
27. Natural Reality / D. Time / 2. Passage of Time / b. Rate of time
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.
27. Natural Reality / D. Time / 2. Passage of Time / d. Time series
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.
27. Natural Reality / D. Time / 2. Passage of Time / e. Tensed (A) series
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.
27. Natural Reality / D. Time / 2. Passage of Time / f. Tenseless (B) series
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).
27. Natural Reality / D. Time / 2. Passage of Time / g. Time's arrow
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?
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.
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.
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,.
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).
27. Natural Reality / D. Time / 2. Passage of Time / h. Change in time
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.
27. Natural Reality / D. Time / 2. Passage of Time / j. Time travel
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.
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.
27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths
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'.
27. Natural Reality / D. Time / 3. Parts of Time / e. Present moment
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?
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).