Comments on Markosian s How Fast Does Time Pass?
|
|
- Gwendolyn Cannon
- 5 years ago
- Views:
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
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 informationAn 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 informationA 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 informationThe 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 informationA 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 informationExpressive 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 informationCHAPTER 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 informationThe 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 informationIntroduction 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 informationMcTaggart 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 informationSequential 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 informationDiodorus 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 informationPHIL 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 informationKaplan 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 informationSequence 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 informationThe 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 informationTemporal 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 informationPublished 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 informationAccuracy, 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 informationThe 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 informationSign 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 informationPhilosophy 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 informationUniversalism 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 informationWhat 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 informationPOWER 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 informationProof 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 informationMarc 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 informationParadoxes 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.
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 informationPHIL12A 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 informationTruthmaker 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 informationNondeterministic 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 informationFORMAL 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 informationAristotle 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 informationLecture 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 informationThrowing 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 informationPropositional 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 informationOn 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 informationA-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 informationMODAL 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 information5. 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 informationAnnouncements 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 informationWilliamson 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 informationMATH10040: 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 informationPropositional 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 informationG12MAN 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 informationSpacetime (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 informationRealism 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 informationUniversalism, 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 informationTime 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 information8. 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 informationScientific 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 informationChapter 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 information6. 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 *
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 informationCommentary 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 information6. 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 informationThe 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 informationBuckets 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 informationAn 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 informationPopper 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 informationThe 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 informationAbsolute 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 informationAlgebra 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 informationA 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 informationDiscrete 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 informationRussell 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 informationTruth, 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 informationHow 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
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 informationBasics 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 informationSymbolic 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 informationBeliefs, 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 information8. 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 informationThe 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 informationDoes 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 informationInconsistency 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 informationPredicates, 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 informationHypothesis 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 informationCritical 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 informationWEEK 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 informationChapter 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 informationPhilosophy 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 informationSniffing 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 informationis 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 information226 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 informationChoosing 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 informationMetric 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 informationPROOF-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 informationLecture 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 informationGö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 informationSolving 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 informationPractice 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 informationWhat 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 informationGenerality, 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 informationEinstein 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 information8. 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 informationA 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 informationTHE 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 informationReading 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