In Being and Nothingness, Sartre identifies being-for-itself as consisting in the

Similar documents
MATH10040: Chapter 0 Mathematics, Logic and Reasoning

In this initial chapter, you will be introduced to, or more than likely be reminded of, a

Hilbert and the concept of axiom

Equivalent Forms of the Axiom of Infinity

Russell s logicism. Jeff Speaks. September 26, 2007

The Cosmological Argument Revisited

Methuselah s Diary and the Finitude of the Past. Ben Waters

Grade 8 Chapter 7: Rational and Irrational Numbers

FACTORIZATION AND THE PRIMES

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

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

3 The language of proof

NUMBERS It s the numbers that count

Light Quantum Hypothesis

Proofs. Chapter 2 P P Q Q

Book 3: Truth 3 of 7

Are Objects Ontologically Dependent on Processes?

Direct Proof and Counterexample I:Introduction

Alternative Technologies

A Structuralist Account of Logic

Direct Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Commentary on Guarini

Why is the Universe Described in Mathematics? This essay attempts to address the questions, "Why is the Universe described in

Dick's PhAQs II: Philosopher-Asked Questions

PHYSICS 107. Lecture 10 Relativity: The Postulates

Popper s Measure of Corroboration and P h b

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

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL

1 Implication and induction

Writing Mathematical Proofs

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Axiomatic set theory. Chapter Why axiomatic set theory?

Introducing Proof 1. hsn.uk.net. Contents

MthEd/Math 300 Williams Fall 2011 Midterm Exam 3

EASTERN DIVISION OF THE AMERICAN PHILOSOPHICAL ASSOCIATION 2009 GROUP MEETING: THE PHILOSOPHY OF TIME SOCIETY

B will distinguish two forms of multiplicity, discrete and continuous.

THE GOLDEN RATJO AMD A GREEK CRJSJS*

THE SIMPLE PROOF OF GOLDBACH'S CONJECTURE. by Miles Mathis

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

0. Introduction 1 0. INTRODUCTION

Limits and Continuity

Philosophy of Mathematics Intuitionism

Knowledge, Truth, and Mathematics

Throwing Darts, Time, and the Infinite

Creative Objectivism, a powerful alternative to Constructivism

3 The Semantics of the Propositional Calculus

1 Continued Fractions

Why write proofs? Why not just test and repeat enough examples to confirm a theory?

The Geometry of Consciousness

Appendix 2. Leibniz's Predecessors on the Continuum. (a) Aristotle

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c])

The Two Faces of Infinity Dr. Bob Gardner Great Ideas in Science (BIOL 3018)

CAUSATION CAUSATION. Chapter 10. Non-Humean Reductionism

On Special Relativity and Temporal Illusions Dimitria Electra Gatzia and Rex Ramsier (Forthcoming in Erkenntnis)

Avoiding the Block Universe: A Reply to Petkov Peter Bokulich Boston University Draft: 3 Feb. 2006

Foundations of Advanced Mathematics, version 0.8. Jonathan J. White

Some Thoughts on Computation and Simulation in Cognitive Science

6 Cosets & Factor Groups

Philosophy of Mathematics Structuralism

Zeno s Lack of Motion. some of his conclusions seem so extreme to most of us today. The real importance of

LECTURE 1. Logic and Proofs

CHAPTER 1. REVIEW: NUMBERS

Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.

Infinity. Newton, Leibniz & the Calculus

A Little History Incompleteness The First Theorem The Second Theorem Implications. Gödel s Theorem. Anders O.F. Hendrickson

On the Evolution of the Concept of Time

Dominoes and Counting

Discrete mathematics is the study of techniques, ideas and modes of

Section 1: Sets and Interval Notation

Numbers, proof and all that jazz.

3. LIMITS AND CONTINUITY

The Awareness Theory of Everything

COLLATZ CONJECTURE: IS IT FALSE?

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

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.

Final Exam Comments. UVa - cs302: Theory of Computation Spring < Total

Introduction to Logic and Axiomatic Set Theory

DECISIONS UNDER UNCERTAINTY

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

World Scientific News

NOTES ON BEING AND EVENT (PART 3)

CHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC

The Basics COPYRIGHTED MATERIAL. chapter. Algebra is a very logical way to solve

Math From Scratch Lesson 28: Rational Exponents

Manual of Logical Style

What can you prove by induction?

35 Chapter CHAPTER 4: Mathematical Proof

ON THE FAITHFUL INTERPRETATION OF PURE WAVE MECHANICS

Doctorate School of Philosophy, Ancient Philosophy Doctoral Program Supervisor: Dr. István Bodnár THESES OF A PHD DISSERTATION.

8. Reductio ad absurdum

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2

Many philosophers accept a layered world view according to which the facts about

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

COPENHAGEN INTERPRETATION:

Notes on Quadratic Extension Fields

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics

THE SYDNEY SCHOOL AN ARISTOTELIAN REALIST PHILOSOPHY OF MATHEMATICS

The Philosophy of Quantum Mechanics (Handout Eight) between the microphysical and the macrophysical. The macrophysical world could be understood

Transcription:

POINCARÉ, SARTRE, CONTINUITY AND TEMPORALITY JONATHAN GINGERICH Thus temporality is not a universal time containing all beings and in particular human realities. Neither is it a law of development which is imposed on being from without. Nor is it being. But it is the intra-structure of the being which is its own nihilation that is, the mode of being peculiar to being-for-itself. The Foritself is the being which has to be its being in the diasporic form of Temporality. 1 In Being and Nothingness, Sartre identifies being-for-itself as consisting in the recognition of temporality. Almost two decades ago, Anthony Manser wrote that given the importance of temporality in L Être et le néant, it is surprising that there has been so little discussion of it; its neglect has led to misunderstandings of the book s arguments. 2 This comment remains remarkably relevant today, and the centrality of temporality to being-for-itself warrants deeper discussions of Sartre and temporality. One result of the disregard for Sartrean descriptions of temporality is the absence of an examination of the relation between Henri Poincaré s philosophy of mathematics and Sartre s temporality. In Part II, Chapter II, Section II ( The Ontology of Temporality ) of Being and Nothingness, Sartre draws on Poincaré s definition of a continuous series: a series a, b, c is continuous when we can write a=b, b=c, a c. 3 Sartre praises this definition as excellent, because it gives us a foreshadowing of a type of being which is what it is not and what it is. 4 Such praise stands in stark contrast to Sartre s typical indifference or hostility to other philosophers in Being and Nothingness and indicates that Poincaré s definition of continuity significantly impacted Sartre s conception of temporality. I will argue that attention to Poincaré s philosophy of mathematics can resolve several of difficulties that confront Sartre s approach to temporality and can further elucidate Sartre s theory. Most recent work on Sartre and temporality has focused on the psychological aspects of temporality, which is appropriate given the tight connection

between being-for-itself and temporality. However, these studies have failed to resolve how it is logically possible for the for-itself to experience the present as distinct from the future without treating the present into a historical discontinuity. Likewise, it remains unclear how it is epistemologically possible for the for-itself to recognize the present as the contingent outcome of a particular series of past events while simultaneously recognizing that the present gives rise to a radical freedom to exist in a way wholly undetermined by the past. Sartre s appeal to Poincaré s definition of continuity sheds light on both of these problems, and Poincaré provides a logical and epistemological basis for Sartre s psychological explanation of temporality. First, it is necessary to clear up precisely what Sartre means when he writes that, for Poincaré, a series a, b, c is continuous when we can write a=b, b=c, a c. It is important to read the obelus not as divided by but instead as is divided from. The conventional reading of the symbol as indicating the operation of division would make (a c) a function of two names without a truth value. The latter reading turns (a c) into an evaluable sentence. This is also confirmed by the formulation that Poincaré offers in Science and Hypothesis: A=B, B=C, A<C. 5 The definition is therefore stating that a series is continuous if there is one member (A) that is distinct from a second member (C), but that both A and C are indistinguishable from a third member (B) that is interposed between A and C. How does Poincaré arrive at this definition? He begins in Science and Hypothesis by defining the set of objects which he is working with: Between any two consecutive sets, intercalate one or more intermediary sets, and then between these sets others again, and so on indefinitely. We thus get an unlimited number of terms, and these will be the numbers which we call fractional, rational, or commensurable. But this is not yet all; between these terms, which, be it marked, are already infinite in number, other terms are intercalated, and these are called irrational or incommensurable. 6

There are a few important aspects of this definition. First, between any two given sets, it is always possible to intercalate another set. Second, there are infinitesimals for Poincaré in the form of irrational numbers that are intercalated into an existing infinity of rational sets. Third, we are dealing with sets of objects, not just numbers. Poincaré, who certainly preferred theoretical mathematics to geometry, remarks: Mathematicians do not study objects, but the relations between objects; to them it is a matter of indifference if these objects are replaced by others, provided that the relations do not change. Matter does not engage their attention, they are interested by form alone. 7 Poincaré is concerned with a continuum formed by taking any two sets and defining an infinite number of sets between those two sets. To use numbers as an example, I can take {1} and {2} and intercalate an infinite number of fractional numbers between these two sets. From this definition, Poincaré proceeds to an examination of the physical continuum. If we look at the rough data of our senses, we will find that: It has been observed that a weight A of 10 grammes and a weight B of 11 grammes produced identical sensations, that the weight B could no longer be distinguished from a weight C of 12 grammes, but that the weight A was readily distinguished from the weight C. Thus the rough results of the experiments may be expressed by the following relations: A=B, B=C, A < C, which may be regarded as the formula of the physical continuum. 8 However Poincaré points out this is an intolerable disagreement with the law of contradiction. 9 In order to resolve this contradiction, humans have created the idea of a mathematical continuum, which occurs in two stages. The first stage proceeds as follows. In order to resolve the problem of the indistinguishablity of A from B, we can intercalate a discrete number of distinct terms, which would make A and B distinct. We may use

some instrument (a scale, for instance) to do this by providing a more precise calculation of the terms involved. Now, Poincaré points out that: Such terms as A and B, which before were indistinguishable from one another, appear now to be distinct: but between A and B, which are distinct, is intercalated another new term D, which we can distinguish neither from A nor from B. Although we may use the most delicate methods, the rough results of our experiments will always present the characters of the physical continuum with the contradiction which is inherent in it. 10 In other words, while it is counterintuitive to hold that 11 grams is indistinguishable from 10 grams, it is always possible to find some term between these two terms that is closer to each of them than they are to each other. And if we keep finding such terms, we will always be able to find a term that we have means of (physically) distinguishing from the term before it. With a scale, I can tell the difference between 10 and 11 grams, but probably not between 10 grams and 10.001 grams. And even if I have a very good scale, a new term can always be intercalated between two terms that I can distinguish from one another. This resolves the intuitive contradiction of a physically continuous series and provides the first definition of mathematical continuity: as soon as we have intercalated terms between two consecutive terms of a series, we feel that this operation may be continued without limit, and that, so to speak, there is no intrinsic reason for stopping. As an abbreviation, I may give the name of a mathematical continuum of the first order to every aggregate of terms formed after the same law as the scale of commensurable numbers. 11 So, Poincaré s argument is ultimately not counter-intuitive: there is a mathematical continuum, and if I pick any particular term (A), I can pick another term (B) that is infinitely close both to A and to a third term (C) that comes after A and is distinct from A. This is relevant to Sartre because this provides a mathematical basis for his examination of the present. Like the term B in the continuous series described by

Poincaré, the present is indistinguishable from the term before it (the past) and the term after it (the future). Since Poincaré s definition applies to any continuous set of objects, it applies to times. Between two times it is always possible to intercalate a third time that is indistinguishable from the time before it and the time after it. This provides an explanation for how it is possible to understand the past and the future as conceptually distinct from one another even though no single moment can be pinned down as the point at which one is separated from the other. 12 This description of Poincaré s stance on mathematical continuity sheds light not only on Sartre s reference to Poincaré but also more broadly on Sartre s approach to temporality. Basil Vassilicos has written of the relation between the for-itself and temporality that the present is that which the pour-soi constantly gives to itself, insofar as the nature of the pour-soi is always to transcend itself toward what it is not, namely the world and its own future. Thus, the present of temporal life always has for Sartre the sense of a release and an emancipation from the past and the present, since its incessant self-transcendence precludes that it would ever coincide with its presence to the world, and thus be its own present. 13 Poincaré shows how it is possible for the present to provide an emancipation from the past. If a given time B is indistinguishable from a preceding time A and a subsequent time C, then B is not a discontinuity separated from all other events. Instead, B provides a sense of release because it is the gap between the past and the future that causes A to be distinct from C and hence can involve an instantaneous transformation of the past into a radically different future. Furthermore, this understanding of continuity explains how the for-itself cannot coincide fully with its own presence to the world. To the extent that B is equal to A, B is equal to C, and A and C are not equal to each other, B is not equal to itself. Thus, Sartre writes that Poincare s definition gives a foreshadowing of a type of

being which is what it is and which is not what it is: by virtue of the axiom, a=c; by virtue of continuity itself, a c. Thus, a is and is not equivalent to c. And b, equal to a and equal to c, is different from itself inasmuch as a is not equal to c. 14 Hence, the present can never be itself since it must be equivalent both to its past and to its future, which are distinct from each other. This gap between the past and the future is the present. Additionally, this distinction exists only with the for-itself. Without a for-itself to perceive temporality, there is no such gap between the past and the future. If the foritself makes what is really there into a world, then temporality is only a shimmer of non-being on the surface of a rigorously a-temporal being. Consciousness is that shimmer. 15 So, the only reason that it is possible to say that a time A precedes a time C is because a for-itself, having the mode of being of temporality, experiences it as such. This recalls Poincaré s discussion of physical continuity. The only reason that 10 grams is distinct from 12 grams but indistinguishable from 11 grams is because I am capable of distinguishing between 10 and 12 grams when I hold those masses in my hands. The breaking down of the continuum into distinct parts is possible only from the position of the for-itself. An underlying a-temporal being is temporalized by the ability of the foritself to distinguish the past from the future combined with its inability to distinguish either from the present. This also bears out Anthony Manser s claim that consciousness is always of more than the instant. 16 The present cannot be wrenched away from the past and the future. The instant must always flow continuously into the future and the past must flow into the instant of the present. Poincaré has pointed out that in any continuous series, a

given term is indistinguishable from the term before it and after it. It is impossible for me to fully divorce any instant of my life from the preceding and the subsequent instant. This is because every action that I take derives meaning from its completion in the future. 17 If I am now moving my finger, my action has meaning because I am moving my finger to strike a particular key on my keyboard. The striking of the key is indistinguishable from my present action since it is merely the completion of that action. At the same time, the present retains tremendous emancipatory potentiality because it is always possible that I could halt my action mid-keystroke and do something entirely different. This freedom is discovered only by the for-itself and is also where the for-itself lies, pulled at by both the past and the future. The for-itself exists as the nothing that divides the past from the future. This gap is the being which is and which is not what it is that Sartre refers to. 18 This gap is nothing because it cannot be distinguished from either its antecedent or its consequent; yet at the same time it is something because it also occasions the sense of emancipation that allows the future to differ from the past. This is the radical freedom of the for-itself. Georgetown University References 1. Sartre, J.-P. Being and Nothingness. (henceforth BN) H. Barnes, trans. New York: Washington Square, 1982. 202. 2. Manser, A. Sartre on Temporality. (henceforth ST) JBSP. Vol. 20, 1989. 25 3. BN, 193 4. BN, 193. 5. Poincaré, H. Science and Hypothesis. (henceforth SH) W.J. Greenstreet, trans. London: Walter Scott, 1905. 22. 6. SH, 17-8. 7. SH, 20. For this reason, it is rather odd that Sartre represents a, b and c with lower case letters, which would normally be used to denote elements of a set, rather than

capital letters, which normally denote sets. (Or perhaps it isn t so odd, since Sartre wasn t a mathematician.) 8. SH, 22. 9. SH, 22. 10. SH, 23. 11. SH, 24-5 12. Poincaré s discussion of incommensurables or irrational numbers, might serve as the basis for stating that the moment of the present is a term that is inserted into the infinite series of commensurables but that is nevertheless distinct from all of the members of this series. Sartre does not, however, advance such an interpretation of Poincaré. 13. Vassilicos, B. The Time of Images and Images of Time: Lévinas and Sartre. JBSP. Vol. 34, 2003. 181-2. 14. BN, 193. 15. ST, 31. 16. ST, 28. 17. ST, 29. 18. BN, 193. Bibliography Manser, A. Sartre on Temporality. JBSP. Vol. 20, 1989. Poincaré, H. Science and Hypothesis. W.J. Greenstreet, trans. London: Walter Scott, 1905. Sartre, J.-P. Being and Nothingness. H. Barnes, trans. New York: Washington Square, 1981. Vassilicos, B. The Time of Images and Images of Time: Lévinas and Sartre. JBSP. Vol. 34, 2003.