Comments on Markosian s How Fast Does Time Pass?

Size: px
Start display at page:

Download "Comments on Markosian s How Fast Does Time Pass?"

Transcription

1 Comments on Markosian s How Fast Does Time Pass? In 2 of his paper Markosian tries to spell out what he means to say when he says that time passes. Most of his discussion has to do with temporal language (his preference for tensed rather than eternal propositions and the ineliminability of tensed in favour of tenseless language). I will set these discussions of temporal language aside. Even if correct, they do not concern the nature of time, as opposed to temporal language. He does eventually state a view about the metaphysics of time itself. He calls it the thesis of the pure passage of time: the process by which times and events successively posses different A-properties. (835) The existence of A-properties is dubious. I think it best to note that the process to which Markosian alludes events becoming ever less future, then present, then ever more past is what Broad called the transitory aspect of time. Markosian calls it the pure passage of time. (835) Markosian adds the claim that there is no spatial analog to the pure passage of time. [I note that one can admit the existence of the pure passage of time without committing oneself to the doubtful existence of McTaggart s A-properties. One can argue (as Broad in fact did

2 argue) that even though the sentence The death of Queen Anne is past looks as if it predicates a property of a subject, it need not in fact do so. It may be of some other logical form than subject-predicate. I find it surprising that Markosian does not even consider this possibility, much less offer some reason(s) that one should not take it seriously.] But if this process, the pure passage of time, exists, it should be possible to say at what rate it occurs. But is it possible? Following J. J. C. Smart s paper The River of Time, Markosian introduces two arguments that it is not possible: The First Rate of Passage Argument (1) If time flows or passes, then there is some second timedimension with respect to which the passage of normal time is to be measured. (2) If there is some second time-dimension with respect to which the passage of normal time is to be measured, then the second time dimension must flow or pass. (3) If the second time-dimension flows or passes, then there must be some third time-dimension with respect to which the passage of the second time-dimension is to be measured, and 2

3 hence some fourth time-dimension with respect to which the passage of the third time-dimension is to be measured, and so on ad infinitum. (4) It s not the case that there is some third time-dimension with respect to which the passage of the second timedimension is to be measured, and hence some fourth time dimension with respect to which the passage of the third timedimension is to be measured, and so on ad infinitum. (5) It s not the case that time flows or passes. Markosian rejects the conclusion, (5), of this valid argument, so he must reject one of the four premises. In fact, he says on page 838 that he rejects premise (1) and also the principle on which it is based: P1: For any time-dimension T, if T flows or passes, then there is some time-dimension T' such that T' is distinct from T and the flow or passage of events in T is to be measured with respect to T'. What are the alternatives to P1? 3

4 A rate is a ratio. Generally (but perhaps not invariably) a rate is a ratio of the change or difference in some quantity to the number of units of time in which the change takes place. What are the quantities in the ratio when we try to specify the rate of time s passing or lapsing or flow? One might suppose that the numerator is the elapsed amount of time in the time dimension T. Then the denominator will, if the general rule is observed, also be the amount of elapsed time in which the change takes place. So the rate might look like 1 hour / hour. Here is one well-known argument that this way of construing the rate of time s passing is incoherent: [P]erhaps the strongest reason for denying the objectivity of the present is that it is so difficult to make sense of the notion of the objective flow or passage of time. Why? Well, the stock objection is that if it made sense to say that time flows, then it would make sense to ask how fast it flows, which doesn t seem to be a sensible question. Some people reply that time flows at one second per second, but even if we could live with the lack of other possibilities [that is, with there seeming to be no other possible rates at which time could flow ], this answer misses the more basic aspect of the objection. A rate of seconds per 4

5 second is not a rate at all in physical terms. It is a dimensionless quantity, rather than a rate of any sort. (We might as well say that the ratio of the circumference of a circle to its diameter flows at π seconds per second!) from Time s Arrow and Archimedes Point by Huw Price (Oxford University Press, 1996). page 13. If this argument is correct, then the one clear alternative to (P1), that the same time dimension is invoked in the both the numerator and denominator of the ratio expressing the rate of time s passing, collapses. The apparent rate is a pure number that expresses no rate at all! [Here is one contemporary response to this apparent collapse of rate to pure number. Typically, one thinks of a rate as the ratio of some change in a quantity to some number of time units. But the second quantity need not always be time. We speak, for instance, of the rate of exchange of currencies say the exchange rate of Canadian dollars for US dollars. But can we then not, asks Tim Maudlin, also speak of the exchange rate of Canadian dollars with respect to itself one dollar per dollar? If so, then why not 1 second per second as well? Let us put this question aside for now and get back to Markosian s argument.] 5

6 The Second Rate of Passage Argument (1) If it makes sense to say that time passes, then it makes sense to ask How fast does time pass?. (2) If it makes sense to ask How fast does time pass?, then it s possible for there to be a coherent answer to this question. (3) It s not possible for there to be a coherent answer to this question. (4) It doesn t make sense to say that time passes. Since the forgoing argument supports premise (3) and the first two premises seem quite reasonable, this second argument seems to support the negative conclusion (4). Nevertheless, Markosian thinks that this argument fails too. He begins by noting that when we measure an ordinary (average) rate, like an average velocity, what we actually do is compare the amount of the measured quantity (for instance, a distance) to the change in some other standard reference quantity, like the position of the sun. 6

7 [Even ancient astronomers knew that the length of the day as measured by the sun varied quite a bit, so they constructed an average solar motion, or mean sun. The standard reference process should be thought of as the motion of this mean sun. Nowadays, the reference process is a complex process in an atomic clock. 1 Bear in mind that Poincaré, who was quite in touch with the basic processes of standards setting, argued that the reference process is chosen to maximize the simplicity of the laws of nature. We choose a standard, he says, for our convenience, not because it is more correct.] Markosian says that if the thesis of the pure passage of time is false, then all we can ever do is compare one process to another, as above. But if the thesis of the pure passage of time is true, he thinks we have more options. For one, we can compare the change in some ordinary quantity (like position) to the change of the pure process of time. Then, if we invert this ratio, we have an expression for the rate at which the pure process of time passes. In this case, he claims, we can deny premise 3 of the second negative argument. 1 In fact, here is the official (English translation from French though) definition of the second: The second is the duration of periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the caesium-133 atom. (See page 66 of Splitting the Second: The Story of Atomic Time by Tony Jones.) 7

8 Consider, however, this interesting passage from The Science of Mechanics by Ernst Mach: If a thing A changes with time, then this only means that the circumstances of A depend on the circumstances of another thing B.... We are entirely incapable of measuring the changes of things against time itself. Time is an abstraction that we arrive at through the changes of things.... One motion can be uniform relative to another. The question of whether a motion in itself is uniform has no sense at all. Nor can we speak of absolute time (independently of any change). The more I think about actual time measurement, the more convincing I find this passage. 2 So while one can claim or one can say that certain ratios are the ratios of changes in certain quantities to the change of time itself, it does not seem as if any of these claims or sayings can be true. But if one is only comparing processes to processes, what is one asking when one asks: How fast does time pass?] Markosian also feels that he can take the line (843) that it really is OK to compare the rate of the passage of time itself to 2 I don t endorse the initial claim about meaning, since Mach is clearly thinking here of empirical meaning, a term that has never been clearly explicated. 8

9 the rate of the passage of time itself, but he does not discuss the objection that the rate of one second per second collapsed into a pure number and is no rate at all. Finally, he rejects the question itself as a category mistake. (This kind of argument used to be more popular than it is now, but I still have certain fondness for it. 3 ) Since (one might claim) all rates are and must be comparisons to the change of the pure passage of time, the pure passage of time itself is the one process that (as a matter of logic) cannot have a rate. Asking for this rate, then, is the category mistake. This tactic undermines premise 1 of the Second Rate of Passage argument. 3 Shortly after the 9/11 attack on the World Trade Centre buildings and the announcement of the US response, the Economist magazine said that a war on terror was a category mistake. 9

Lecture 12: Arguments for the absolutist and relationist views of space

Lecture 12: Arguments for the absolutist and relationist views of space 12.1 432018 PHILOSOPHY OF PHYSICS (Spring 2002) Lecture 12: Arguments for the absolutist and relationist views of space Preliminary reading: Sklar, pp. 19-25. Now that we have seen Newton s and Leibniz

More information

An A statement: The year 1967 is 49 years in the past. A B statement: The year 1967 is 49 years before the year 2016

An A statement: The year 1967 is 49 years in the past. A B statement: The year 1967 is 49 years before the year 2016 McTaggart Ted Sider Intro Metaphysics 1. The A series and the B series Positions in time, as time appears to us prima facie, are distinguished in two ways. Each position is Earlier than some and Later

More information

A Little Deductive Logic

A Little Deductive Logic A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that

More information

The Rate of Temporal Flow

The Rate of Temporal Flow The Rate of Temporal Flow Edward Freeman There is a familiar problem with the notion of temporal passage. If time flows, it must flow at a rate, as all physical flows do. It is a fact of physical reality

More information

A Little Deductive Logic

A Little Deductive Logic A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that

More information

Expressive Power, Mood, and Actuality

Expressive Power, Mood, and Actuality Expressive Power, Mood, and Actuality Rohan French Abstract In Wehmeier (2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking

More information

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC 1 CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC Here, you ll learn: what it means for a logic system to be finished some strategies for constructing proofs Congratulations! Our system of

More information

The two-dimensionalism of The Conscious Mind

The two-dimensionalism of The Conscious Mind The two-dimensionalism of The Conscious Mind phil 93515 Jeff Speaks February 5, 2007 1 Primary and secondary intension........................ 1 2 Indexicality and intensions............................

More information

Introduction to Philosophy Philosophy 110W Spring 2011 Russell Marcus

Introduction to Philosophy Philosophy 110W Spring 2011 Russell Marcus Introduction to Philosophy Philosophy 110W Spring 2011 Russell Marcus February 18 Smart, The Tenseless Theory of Time aka the B-Theory Marcus, Modern Philosophy, Spring 2010, Slide 1 The Presentist A-Theory

More information

McTaggart s Argument for the Unreality of Time:

McTaggart s Argument for the Unreality of Time: McTaggart s Argument for the Unreality of Time: A Temporal Logical Analysis Hunan Rostomyan In this paper I want to examine McTaggart s [1908] argument for the unreality of time. McTaggart starts with

More information

Sequential Logic (3.1 and is a long difficult section you really should read!)

Sequential Logic (3.1 and is a long difficult section you really should read!) EECS 270, Fall 2014, Lecture 6 Page 1 of 8 Sequential Logic (3.1 and 3.2. 3.2 is a long difficult section you really should read!) One thing we have carefully avoided so far is feedback all of our signals

More information

Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona

Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona In my Remarks on Stoic Logic that I wrote for you last year, I mentioned Diodorus Cronus s trilemma,

More information

PHIL 50 - Introduction to Logic

PHIL 50 - Introduction to Logic Truth Validity Logical Consequence Equivalence V ψ ψ φ 1, φ 2,, φ k ψ φ ψ PHIL 50 - Introduction to Logic Marcello Di Bello, Stanford University, Spring 2014 Week 2 Friday Class Overview of Key Notions

More information

Kaplan s Paradox and Epistemically Possible Worlds

Kaplan s Paradox and Epistemically Possible Worlds Kaplan s Paradox and Epistemically Possible Worlds 1. Epistemically possible worlds David Chalmers Metaphysically possible worlds: S is metaphysically possible iff S is true in some metaphysically possible

More information

Sequence convergence, the weak T-axioms, and first countability

Sequence convergence, the weak T-axioms, and first countability Sequence convergence, the weak T-axioms, and first countability 1 Motivation Up to now we have been mentioning the notion of sequence convergence without actually defining it. So in this section we will

More information

The rate of time's passage

The rate of time's passage The rate of time's passage Eric T. Olson 1. Many philosophers say that time has a kind of flow or passage that distinguishes it from space. Future times and events become less future; past ones become

More information

Temporal Extension. 1. Time as Quantity

Temporal Extension. 1. Time as Quantity 1 Boris Hennig IFOMIS Saarbrücken Draft version as of July 17, 2005 Temporal Extension Abstract. Space and time are continuous and extensive quantities. But according to Aristotle, time differs from space

More information

Published in Analysis, 2004, 64 (1), pp

Published in Analysis, 2004, 64 (1), pp Published in Analysis, 2004, 64 (1), pp. 72-81. The Bundle Theory is compatible with distinct but indiscernible particulars GONZALO RODRIGUEZ-PEREYRA 1. The Bundle Theory I shall discuss is a theory about

More information

Accuracy, Language Dependence and Joyce s Argument for Probabilism

Accuracy, Language Dependence and Joyce s Argument for Probabilism Accuracy, Language Dependence and Joyce s Argument for Probabilism Branden Fitelson Abstract In this note, I explain how a variant of David Miller s (975) argument concerning the language-dependence of

More information

The paradox of knowability, the knower, and the believer

The paradox of knowability, the knower, and the believer The paradox of knowability, the knower, and the believer Last time, when discussing the surprise exam paradox, we discussed the possibility that some claims could be true, but not knowable by certain individuals

More information

Sign of derivative test: when does a function decreases or increases:

Sign of derivative test: when does a function decreases or increases: Sign of derivative test: when does a function decreases or increases: If for all then is increasing on. If for all then is decreasing on. If then the function is not increasing or decreasing at. We defined

More information

Philosophy of Mathematics Structuralism

Philosophy of Mathematics Structuralism Philosophy of Mathematics Structuralism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 17/11/15 Neo-Fregeanism Last week, we considered recent attempts to revive Fregean logicism. Analytic

More information

Universalism Entails Extensionalism

Universalism Entails Extensionalism Universalism Entails Extensionalism Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in Analysis, 69 (2009), 599 604] 1. Universalism (also known as Conjunctivism,

More information

What Does Quantum Mechanics Suggest About Our Perceptions of Reality?

What Does Quantum Mechanics Suggest About Our Perceptions of Reality? What Does Quantum Mechanics Suggest About Our Perceptions of Reality? Quantum mechanics suggests that we perceive at most a tiny sliver of reality. Of course we already knew that! We knew that the visible

More information

POWER ALGEBRA NOTES: QUICK & EASY

POWER ALGEBRA NOTES: QUICK & EASY POWER ALGEBRA NOTES: QUICK & EASY 1 Table of Contents Basic Algebra Terms and Concepts... 5 Number Operations... 5 Variables... 5 Order of Operation... 6 Translating Verbal and Algebraic Phrases... 7 Definition

More information

Proof Techniques (Review of Math 271)

Proof Techniques (Review of Math 271) Chapter 2 Proof Techniques (Review of Math 271) 2.1 Overview This chapter reviews proof techniques that were probably introduced in Math 271 and that may also have been used in a different way in Phil

More information

Marc Lange -- IRIS. European Journal of Philosophy and Public Debate

Marc Lange -- IRIS. European Journal of Philosophy and Public Debate Structuralism with an empiricist face? Bas Van Fraassen s Scientific Representation: Paradoxes of Perspective is a rich, masterful study of a wide range of issues arising from the manifold ways in which

More information

Paradoxes of special relativity

Paradoxes of special relativity Paradoxes of special relativity Today we are turning from metaphysics to physics. As we ll see, certain paradoxes about the nature of space and time result not from philosophical speculation, but from

More information

(1) If Bush had not won the last election, then Nader would have won it.

(1) If Bush had not won the last election, then Nader would have won it. 24.221 Metaphysics Counterfactuals When the truth functional material conditional (or ) is introduced, it is normally glossed with the English expression If..., then.... However, if this is the correct

More information

PHIL12A Section answers, 14 February 2011

PHIL12A Section answers, 14 February 2011 PHIL12A Section answers, 14 February 2011 Julian Jonker 1 How much do you know? 1. You should understand why a truth table is constructed the way it is: why are the truth values listed in the order they

More information

Truthmaker Maximalism defended again. Eduardo Barrio and Gonzalo Rodriguez-Pereyra

Truthmaker Maximalism defended again. Eduardo Barrio and Gonzalo Rodriguez-Pereyra 1 Truthmaker Maximalism defended again 1 Eduardo Barrio and Gonzalo Rodriguez-Pereyra 1. Truthmaker Maximalism is the thesis that every truth has a truthmaker. Milne (2005) attempts to refute it using

More information

Nondeterministic finite automata

Nondeterministic finite automata Lecture 3 Nondeterministic finite automata This lecture is focused on the nondeterministic finite automata (NFA) model and its relationship to the DFA model. Nondeterminism is an important concept in the

More information

FORMAL PROOFS DONU ARAPURA

FORMAL PROOFS DONU ARAPURA FORMAL PROOFS DONU ARAPURA This is a supplement for M385 on formal proofs in propositional logic. Rather than following the presentation of Rubin, I want to use a slightly different set of rules which

More information

Aristotle on Space. Physics, Book IV

Aristotle on Space. Physics, Book IV Aristotle on Space Physics, Book IV The existence of place is held to be obvious from the fact of mutual replacement. Where water now is, there in turn, when the water has gone out as from a vessel, air

More information

Lecture 5. 1 Review (Pairwise Independence and Derandomization)

Lecture 5. 1 Review (Pairwise Independence and Derandomization) 6.842 Randomness and Computation September 20, 2017 Lecture 5 Lecturer: Ronitt Rubinfeld Scribe: Tom Kolokotrones 1 Review (Pairwise Independence and Derandomization) As we discussed last time, we can

More information

Throwing Darts, Time, and the Infinite

Throwing Darts, Time, and the Infinite Erkenn DOI 10.1007/s10670-012-9371-x ORIGINAL PAPER Throwing Darts, Time, and the Infinite Jeremy Gwiazda Received: 23 August 2011 / Accepted: 2 March 2012 Ó Springer Science+Business Media B.V. 2012 Abstract

More information

Propositional Logic. Fall () Propositional Logic Fall / 30

Propositional Logic. Fall () Propositional Logic Fall / 30 Propositional Logic Fall 2013 () Propositional Logic Fall 2013 1 / 30 1 Introduction Learning Outcomes for this Presentation 2 Definitions Statements Logical connectives Interpretations, contexts,... Logically

More information

On the Arbitrary Choice Regarding Which Inertial Reference Frame is "Stationary" and Which is "Moving" in the Special Theory of Relativity

On the Arbitrary Choice Regarding Which Inertial Reference Frame is Stationary and Which is Moving in the Special Theory of Relativity Regarding Which Inertial Reference Frame is "Stationary" and Which is "Moving" in the Special Theory of Relativity Douglas M. Snyder Los Angeles, CA The relativity of simultaneity is central to the special

More information

A-Theory or B-Theory of Time? An Aristotelian Answer

A-Theory or B-Theory of Time? An Aristotelian Answer University of Windsor Scholarship at UWindsor Critical Reflections Essays of Significance & Critical Reflections 2017 Apr 1st, 1:15 PM - 1:45 PM A-Theory or B-Theory of Time? An Aristotelian Answer Luca

More information

MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION

MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION Helge Rückert Department of Philosophy University of Saarbrücken, Germany Abstract: According to Kripke

More information

5. And. 5.1 The conjunction

5. And. 5.1 The conjunction 5. And 5.1 The conjunction To make our logical language more easy and intuitive to use, we can now add to it elements that make it able to express the equivalents of other sentences from a natural language

More information

Announcements For The Logic of Atomic Sentences Counterexamples & Formal Proofs. Logical Consequence & Validity The Definitions.

Announcements For The Logic of Atomic Sentences Counterexamples & Formal Proofs. Logical Consequence & Validity The Definitions. Announcements For 0906 The Logic of Atomic Sentences & William Starr 1 Complete survey for Logic section times (on Bb) Before Wednesday at midnight!! 2 HW1 & HW2 are due next Tuesday But you can start

More information

Williamson s Modal Logic as Metaphysics

Williamson s Modal Logic as Metaphysics Williamson s Modal Logic as Metaphysics Ted Sider Modality seminar 1. Methodology The title of this book may sound to some readers like Good as Evil, or perhaps Cabbages as Kings. If logic and metaphysics

More information

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MATH10040: Chapter 0 Mathematics, Logic and Reasoning MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly

More information

Propositional Logic. Spring Propositional Logic Spring / 32

Propositional Logic. Spring Propositional Logic Spring / 32 Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements

More information

G12MAN Mathematical Analysis Fully-justified answers to Revision Quiz questions

G12MAN Mathematical Analysis Fully-justified answers to Revision Quiz questions G12MAN Mathematical Analysis Fully-justified answers to Revision Quiz questions Remember that, unless otherwise specified or not applicable for some reason), you MUST justify your answers to questions

More information

Spacetime (Newtonian)

Spacetime (Newtonian) McTaggartʼs Denial of the Reality of Time Letʼs begin with a picture: Spacetime (Newtonian) The contents of a position in time [and I take T0, T1, etc. to be positions in time ] are called events. (458)

More information

Realism and Idealism External Realism

Realism and Idealism External Realism Realism and Idealism External Realism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 8/10/15 What is metaphysics? Metaphysics is the attempt to: give a general description of the whole of

More information

Universalism, Vagueness and Supersubstantivalism

Universalism, Vagueness and Supersubstantivalism This is a preprint of an article whose final and definitive form will be published in The Australasian Journal of Philosophy 2008/9; The Australasian Journal of Philosophy is available online at: http://journalsonline.tandf.co.uk/

More information

Time and Change. Mc Taggart, Broad, Lowe, Smart, Prior: Problems, Difficulties, Hypotheses of Solutions

Time and Change. Mc Taggart, Broad, Lowe, Smart, Prior: Problems, Difficulties, Hypotheses of Solutions Time and Change. Mc Taggart, Broad, Lowe, Smart, Prior: Problems, Difficulties, Hypotheses of Solutions Michele Gentile 1. Introduction: Times as dimension of Change and Reality Abstract. This paper concerns

More information

8. TRANSFORMING TOOL #1 (the Addition Property of Equality)

8. TRANSFORMING TOOL #1 (the Addition Property of Equality) 8 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not change

More information

Scientific Explanation- Causation and Unification

Scientific Explanation- Causation and Unification Scientific Explanation- Causation and Unification By Wesley Salmon Analysis by Margarita Georgieva, PSTS student, number 0102458 Van Lochemstraat 9-17 7511 EG Enschede Final Paper for Philosophy of Science

More information

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................

More information

6. Conditional derivations

6. Conditional derivations 6. Conditional derivations 6.1 An argument from Hobbes In his great work, Leviathan, the philosopher Thomas Hobbes (1588-1679) gives an important argument for government. Hobbes begins by claiming that

More information

*a * * *b * * *c *d *

*a * * *b * * *c *d * K. MCDANIEL DISTANCE AND DISCRETE SPACE Let us say that space is discrete if and only if every finite extended region of space is composed of finitely many atomic regions of space. I assume here that regions

More information

Commentary on Guarini

Commentary on Guarini University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 5 May 14th, 9:00 AM - May 17th, 5:00 PM Commentary on Guarini Andrew Bailey Follow this and additional works at: http://scholar.uwindsor.ca/ossaarchive

More information

6. Conditional derivations

6. Conditional derivations 6. Conditional derivations 6.1 An argument from Hobbes In his great work, Leviathan, the philosopher Thomas Hobbes gives an important argument for government. Hobbes begins by claiming that without a common

More information

The Ascending Chain Condition. E. L. Lady. Every surjective endomorphism of M is an automorphism.

The Ascending Chain Condition. E. L. Lady. Every surjective endomorphism of M is an automorphism. The Ascending Chain Condition E. L. Lady The goal is to find a condition on an R-module M which will ensure the following property: ( ) Every surjective endomorphism of M is an automorphism. To start with,

More information

Buckets of Water and Waves of Space

Buckets of Water and Waves of Space by Tim Maudlin 1. Introduction Maudlin reviews the substantivalism/relationism controversy. This material should seem quite familiar. 2. The Bucket Newton s bucket and the two globes arguments are rehearsed,

More information

An analogy from Calculus: limits

An analogy from Calculus: limits COMP 250 Fall 2018 35 - big O Nov. 30, 2018 We have seen several algorithms in the course, and we have loosely characterized their runtimes in terms of the size n of the input. We say that the algorithm

More information

Popper s Measure of Corroboration and P h b

Popper s Measure of Corroboration and P h b Popper s Measure of Corroboration and P h b Darrell P. Rowbottom This paper shows that Popper s measure of corroboration is inapplicable if, as Popper also argued, the logical probability of synthetic

More information

The Cycloid. and the Kinematic Circumference. by Miles Mathis

The Cycloid. and the Kinematic Circumference. by Miles Mathis return to updates The Cycloid and the Kinematic Circumference First published August 31, 2016 by Miles Mathis Those of you who have read my papers on π=4 will know I have explained that problem using many

More information

Absolute motion versus relative motion in Special Relativity is not dealt with properly

Absolute motion versus relative motion in Special Relativity is not dealt with properly Absolute motion versus relative motion in Special Relativity is not dealt with properly Roger J Anderton R.J.Anderton@btinternet.com A great deal has been written about the twin paradox. In this article

More information

Algebra Exam. Solutions and Grading Guide

Algebra Exam. Solutions and Grading Guide Algebra Exam Solutions and Grading Guide You should use this grading guide to carefully grade your own exam, trying to be as objective as possible about what score the TAs would give your responses. Full

More information

A Structuralist Account of Logic

A Structuralist Account of Logic Croatian Journal of Philosophy Vol. VIII, No. 23, 2008 Majda Trobok, Department of Philosophy University of Rijeka A Structuralist Account of Logic The lynch-pin of the structuralist account of logic endorsed

More information

Discrete Structures Proofwriting Checklist

Discrete Structures Proofwriting Checklist CS103 Winter 2019 Discrete Structures Proofwriting Checklist Cynthia Lee Keith Schwarz Now that we re transitioning to writing proofs about discrete structures like binary relations, functions, and graphs,

More information

Russell s logicism. Jeff Speaks. September 26, 2007

Russell s logicism. Jeff Speaks. September 26, 2007 Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................

More information

Truth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation.

Truth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation. Outline 1 2 3 4 5 1 / 41 2 / 41 The Liar Sentence Let L be the sentence: This sentence is false This sentence causes trouble If it is true, then it is false So it can t be true Thus, it is false If it

More information

How Euler Did It. Today we are fairly comfortable with the idea that some series just don t add up. For example, the series

How Euler Did It. Today we are fairly comfortable with the idea that some series just don t add up. For example, the series Divergent series June 2006 How Euler Did It by Ed Sandifer Today we are fairly comfortable with the idea that some series just don t add up. For example, the series + + + has nicely bounded partial sums,

More information

[Handout 23] John Hawthorne, Three-Dimensionalism vs. Four-Dimensionalism

[Handout 23] John Hawthorne, Three-Dimensionalism vs. Four-Dimensionalism Phil 420: Metaphysics Spring 2008 [Handout 23] John Hawthorne, Three-Dimensionalism vs. Four-Dimensionalism Professor JeeLoo Liu The debate: On the nature of persisting material objects [Three-Dimensionalism]:

More information

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On Basics of Proofs The Putnam is a proof based exam and will expect you to write proofs in your solutions Similarly, Math 96 will also require you to write proofs in your homework solutions If you ve seen

More information

Symbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true.

Symbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. Symbolic Logic 3 Testing deductive validity with truth tables For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. So, given that truth tables

More information

Beliefs, we will assume, come in degrees. As a shorthand, we will refer to these. Syracuse University

Beliefs, we will assume, come in degrees. As a shorthand, we will refer to these. Syracuse University AN OPEN ACCESS Ergo JOURNAL OF PHILOSOPHY Calibration and Probabilism MICHAEL CAIE Syracuse University In this paper, I consider an argument due to Bas van Fraassen that attempts to show that considerations

More information

8. Reductio ad absurdum

8. Reductio ad absurdum 8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, Galileo Galilea (1564-1642) gives several arguments meant to demonstrate that there can be no such thing as actual infinities

More information

The predicate calculus is complete

The predicate calculus is complete The predicate calculus is complete Hans Halvorson The first thing we need to do is to precisify the inference rules UI and EE. To this end, we will use A(c) to denote a sentence containing the name c,

More information

Does Frege have too many thoughts? A Cantorian problem revisited

Does Frege have too many thoughts? A Cantorian problem revisited does frege have too many thoughts? 45 standard probabilistic practice of saying that E provides evidence for H just in case P(H E) > P(H).) Whether one s resulting credence in the theory of quantum mechanics

More information

Inconsistency in the A-Theory

Inconsistency in the A-Theory 10 June 2010 * To appear in Philosophical Studies Inconsistency in the A-Theory Nicholas J.J. Smith Received: 17 March 2010 / Accepted: 14 May 2010 Abstract This paper presents a new argument against A-theories

More information

Predicates, Quantifiers and Nested Quantifiers

Predicates, Quantifiers and Nested Quantifiers Predicates, Quantifiers and Nested Quantifiers Predicates Recall the example of a non-proposition in our first presentation: 2x=1. Let us call this expression P(x). P(x) is not a proposition because x

More information

Hypothesis testing I. - In particular, we are talking about statistical hypotheses. [get everyone s finger length!] n =

Hypothesis testing I. - In particular, we are talking about statistical hypotheses. [get everyone s finger length!] n = Hypothesis testing I I. What is hypothesis testing? [Note we re temporarily bouncing around in the book a lot! Things will settle down again in a week or so] - Exactly what it says. We develop a hypothesis,

More information

Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv pages

Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv pages Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv + 408 pages by Bradley Monton June 24, 2009 It probably goes without saying that

More information

WEEK 7 NOTES AND EXERCISES

WEEK 7 NOTES AND EXERCISES WEEK 7 NOTES AND EXERCISES RATES OF CHANGE (STRAIGHT LINES) Rates of change are very important in mathematics. Take for example the speed of a car. It is a measure of how far the car travels over a certain

More information

Chapter 26: Comparing Counts (Chi Square)

Chapter 26: Comparing Counts (Chi Square) Chapter 6: Comparing Counts (Chi Square) We ve seen that you can turn a qualitative variable into a quantitative one (by counting the number of successes and failures), but that s a compromise it forces

More information

Philosophy 220. Truth-Functional Equivalence and Consistency

Philosophy 220. Truth-Functional Equivalence and Consistency Philosophy 220 Truth-Functional Equivalence and Consistency Review Logical equivalency: The members of a pair of sentences [of natural language] are logically equivalent if and only if it is not [logically]

More information

Sniffing out new laws... Question

Sniffing out new laws... Question Sniffing out new laws... How can dimensional analysis help us figure out what new laws might be? (Why is math important not just for calculating, but even just for understanding?) (And a roundabout way

More information

is short for the thing which is Pond at t 1

is short for the thing which is Pond at t 1 Gallois, A., Occasions of Identity: The Metaphysics of Persistence, Change, and Sameness (Oxford: Clarendon Press, 1998), pp. xiii, 296, 35.00 (cloth). This is a detailed defense of the view that identity

More information

226 My God, He Plays Dice! Entanglement. Chapter This chapter on the web informationphilosopher.com/problems/entanglement

226 My God, He Plays Dice! Entanglement. Chapter This chapter on the web informationphilosopher.com/problems/entanglement 226 My God, He Plays Dice! Entanglement Chapter 29 20 This chapter on the web informationphilosopher.com/problems/entanglement Entanglement 227 Entanglement Entanglement is a mysterious quantum phenomenon

More information

Choosing Logical Connectives

Choosing Logical Connectives Choosing Logical Connectives 1. Too Few Connectives?: We have chosen to use only 5 logical connectives in our constructed language of logic, L1 (they are:,,,, and ). But, we might ask, are these enough?

More information

Metric spaces and metrizability

Metric spaces and metrizability 1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively

More information

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL THOMAS HOFWEBER PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL 1. PROOF-THEORETIC REDUCTION AND HILBERT S PROGRAM Hilbert s program in the philosophy of mathematics comes in two parts. One part is a

More information

Lecture 3 : Predicates and Sets DRAFT

Lecture 3 : Predicates and Sets DRAFT CS/Math 240: Introduction to Discrete Mathematics 1/25/2010 Lecture 3 : Predicates and Sets Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last time we discussed propositions, which are

More information

Gödel s Incompleteness Theorem. Overview. Computability and Logic

Gödel s Incompleteness Theorem. Overview. Computability and Logic Gödel s Incompleteness Theorem Overview Computability and Logic Recap Remember what we set out to do in this course: Trying to find a systematic method (algorithm, procedure) which we can use to decide,

More information

Solving Quadratic & Higher Degree Inequalities

Solving Quadratic & Higher Degree Inequalities Ch. 10 Solving Quadratic & Higher Degree Inequalities We solve quadratic and higher degree inequalities very much like we solve quadratic and higher degree equations. One method we often use to solve quadratic

More information

Practice assignment 2

Practice assignment 2 Exercise 2 1 Practice assignment 2 Propositional Logic Angelo, Bruno and Carlo are three students that took the Logic exam. Let s consider a propositional language where A stands for Aldo passed the exam

More information

What is proof? Lesson 1

What is proof? Lesson 1 What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might

More information

Generality, Extensibility, and Paradox

Generality, Extensibility, and Paradox Generality, Extensibility, and Paradox James Studd Oxford Aristotelian Society 28th November 2016 Outline I. Absolute generality an introduction II. The Dummettian argument a coherent case for relativism?

More information

Einstein did not derive E=mc 2 from Special Relativity

Einstein did not derive E=mc 2 from Special Relativity Einstein did not derive E=mc 2 from Special Relativity Roger J Anderton R.J.Anderton@btinternet.com The equation E=mc 2 is derived from Newtonian physics not from special relativity. This is contrary to

More information

8. Reductio ad absurdum

8. Reductio ad absurdum 8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, 10 Galileo Galilea (1564-1642) gives several arguments meant to demonstrate that there can be no such thing as actual

More information

A New Semantic Characterization of. Second-Order Logical Validity

A New Semantic Characterization of. Second-Order Logical Validity A New Semantic Characterization of Second-Order Logical Validity Tomoya Sato Abstract A problem with second-order logic with standard semantics is that it validates arguments that can be described as set-theoretically

More information

THE TENSELESS THEORY OF TIME. J.J.C. Smart

THE TENSELESS THEORY OF TIME. J.J.C. Smart THE TENSELESS THEORY OF TIME J.J.C. Smart B-THEORY AND INDEXICALS Answers Zimmermann s questions negatively. 1. There are not objective differences between past, present, and future 2. Present events are

More information

Reading and Writing. Mathematical Proofs. Slides by Arthur van Goetham

Reading and Writing. Mathematical Proofs. Slides by Arthur van Goetham Reading and Writing Mathematical Proofs Slides by Arthur van Goetham What is a proof? Why explanations are not proofs What is a proof? A method for establishing truth What establishes truth depends on

More information