What constitutes space? : The development of Leibniz's theory of constituting space

Size: px
Start display at page:

Download "What constitutes space? : The development of Leibniz's theory of constituting space"

Transcription

1 What constitutes space? : The development of Leibniz's theory of constituting space Hiroyuki INAOKA (Kobe, Japan) X.Internationalen Leibniz Kongress: Leibniz Universität Hannover, July 2016

2 Outline 1:Introduction 2:The Leibniz-Clarke correspondence and Analysis Situs 3:The theory of space before the latest period 4:The three points argument in New System 5:The three kind of the point: which is an element of space?

3 1:Introduction

4 Leibniz s theory of space and time in the correspondence with Clarke. Relational view: Space and time as relationship among things Research question: How and why does Leibniz find his final view of space?

5 1:Introduction 2:The Leibniz-Clarke correspondence and Analysis Situs 3:The theory of space in the middle period 4:The development of the concept of space and substance 5:The three kind of the point: which is an element of space?

6 The Leibniz-Clarke correspondence and Analysis Situs The final theory of space = the relational view + analysis situs (De Risi [2007])

7 The letter to Des Bosses, 21 July 1707 That is, a simple substance, even though it does not have extension in itself, nonetheless has position, which is the foundation of extension, since extension is the simultaneous continuous repetition of position, just as we say that a line comes to be from the flux of a point, since in the trace left by a point its different positions are connected. (GP II, 339)

8 The 4 th letter to Clarke Clarke contends that space doesn t depend on the situation of bodies. I reply that it s true that space doesn t depend on this or that particular spatial lay-out of bodies, but it is the order that makes it possible for bodies to be situated, and by which they have a lay- out among themselves when they exist together, just as time is that order with respect to their successive position. (GP VII 376)

9 The 5 th letter to Clarke This is how men come to form for themselves the notion of space: They consider a number of things existing at once, and find in them a certain order of coexistence, according to which things relate to one another more or less simply. This order is their situation or distance [ ].

10 When one of those coexisting things x changes its relation to a number of others that don t change their relations among themselves, and another thing y comes to have the same relation to the others that x previously had, then we say that y has come into the place of x [ ] And the totality of all those places is called space. (GP VII 400)

11 X A C B

12 Y A C B

13 According to De Risi, this theory of constituting space could be embedded in his theory of substance. Each monad expresses all other monads. The situational relationship among monads is represented by each monad as a phenomenon. Each monad is individuated by the set of such representations. Thus, the network of the situation among monads is constituted and then it makes itself the framework of space.

14 Analysis Situs contributes to such constitution of space by monads. Leibniz argues that space could be defined as the set of all situations in a manuscript on Analysis Situs in the latest period. In fact, the definition of space as the largest place is found in a manuscript written in Such a definition of space as attempted in Analysis Situs is necessarily relates to the discussion between Leibniz and Clarke. Leibniz s theory of constituting space would be reformulated as a two-step theory:the definition of space in Analysis Situs and its realization made by the representation of monad.

15 1:Introduction 2:The Leibniz-Clarke correspondence and Analysis Situs 3:The theory of space before the latest period 4:The development of the concept of space and substance 5:The three kind of the point: which is an element of space?

16 Richard T. W. Arthur attempts to show that Leibniz, before the latest period, has already the almost same theory of space as in the latest period.(arthur[2013]) Arthur focuses texts written in about 1679 when Leibniz reintroduced the idea of substantial form in his metaphysics and sets up to develop Analysis Situs seriously.

17 An extensum is what has magnitude and situation. (A VI 4, 1987) Situation is defined by the concept of congruence. Congruence is defined by co-perceiving of things. Thus, the definition of extensum could be derived as a whole with co-existing parts that have mutual situation (Arthur [2013, p.518])

18 Arthur s interpretation is controversial because De Risi seems to take a skeptical view of whether there can be some connection between Analysis Situs and the theory of space before the latest period. To explicate the development of the theory of space in Leibniz in detail, we must consider that which is right.

19 The narrower and closely related problem: what does Leibniz think about fundamental elements of space? Both De Risi and Arthur think that space is an abstract order of actual entities which represents all possible relations of situations. This idea implies that a space is not the entity which exists in itself but constituted from representations of entities, because a space as an order could be thought as an order of something which plays a role as elements of a space. So, we need to identify such elements.

20 What is this? X A monad! C B

21 Our claim: Leibniz could not hold the idea of constituting space until he could present what is the alternative to Cartesian concept of extension in 1700 s.

22 The concept of space The early period: pure extension, set of points, absolute space De Veritates, de Mente, de Deo, de Universe, 1676 (cf. Mercer[2001, p.439]) the idea of space is recognized by this: namely, that it is that by which we separate the place and, as it were, the world of dreams from our own. As this is so, it does not follow that there exists anything but sensation, and the cause of this sensation and of its consistency. (A VI, 3 511)

23 However, as Parkinson claims, we can read a sign of the theory of space of the Leibniz- Clarke correspondence in the manuscripts known as De Summa Rerum. (Parkinson[1992, pp.xi-liii])

24 The middle period: space as maximum, point as minimum Specimen Geometriae Luciferae 1695 (GM VII 283), Analysis Geometrica Propria 1698 (GM V 174)

25 The early period(1679):pure extensa, set of points The middle period(1695): space as maximum The latest period(1715-6): network as representation of monads

26 The concept of substance In the tradition of Leibniz study, the concept of substance has a long-discussed history. According to Samuel Levey, in the early period, Leibniz emphasizes unity of substance (substantial form). But from 1700, simplicity of substance (monad) is emphasized. (Levey[2007][2008][2011][2012])

27 Arthur claims that Leibniz holds the concept of monad from very young days to the end.(arthur[2014]) Which is a right picture of Leibniz? A philosopher of monad or a philosopher of a substantial form-and-then-monad?

28 1:Introduction 2:The Leibniz-Clarke correspondence and Analysis Situs 3:The theory of space in the middle period 4:The three points argument in New System 5:The three kind of the point: which is an element of space?

29 Introduction to monad in New System (1695) atoms of substance are what a substantial thing is made of (and without which it wouldn t be substantial), are what pull it together so that it is (though in a non-basic way) one thing, and are what makes it active, what has it doing things. They might be called metaphysical points: they are related to mathematical points, which are their points of view for expressing the universe, but they are not themselves mathematical points because they have something alive about them, and a kind of perception. (GP IV 482-3)

30 The three points argument First Step: Leibniz shows that there are atoms of substance in nature by reductio ad absurdum argument: If such atom does not exist, there is no unity in the world. Reductio argument could guarantee only the existence of atoms. Second Step: Leibniz shows that there are three candidates for atoms of substance, that are physical point, mathematical point and metaphysical point.

31 Mathematical points themselves cannot make substances because of continuum problem. Physical points themselves also cannot do because this is not primitive elements. Conclusion: only metaphysical points can be such atoms.

32 1:Introduction 2:The Leibniz-Clarke correspondence and Analysis Situs 3:The theory of space in the middle period 4:The development of the concept of space and substance 5:The three kinds of the point: which is an element of space?

33 Arthur presents his interpretation that Leibniz already established the constituting theory of space before the latest period. We think that this interpretation depends on the assumption that Leibniz in the early or middle period holds the same concept of substance as in the latest period.

34 Leibniz s space before the latest period could not avoid the continuum problem. Textual evidences: Characteristica Geometrica, The letter to Des Bosses in 21 July 1707.

35 If we want to justify the claim that Leibniz in the middle period held that the constituting theory of space as similar to the theory in the period of the correspondence with Clarke, we need to demonstrate that it is metaphysical points which are fundamental elements of matter that make space. His ongoing arguments that aim to establish the concept of substance begin at the early period. Firstly his arguments target on the unity of substance, and then shift to the simplicity.

36 This teaches us that before focusing on the simplicity of substance, it is unclear that what Leibniz thinks as a fundamental element of matters has the nature of simplicity. So, we claims that Leibniz could not find what fundamental element of matters is until the 1700s.

37 In fact, in the correspondence with Clarke, Leibniz thinks that metaphysical points (monads) could be fundamental elements of space. However, before the latest period, Leibniz presents no argument that explains how to make extension from non-extensional points. The failure of identifying what is an alternative to Cartesian concept of extension also justify to our claim. (cf. Correspondence with De Volder)

38 If Leibniz could answer to the question of how does metaphysical points constitute space, he also could answer to the question of what is prior to Cartesian extension.

39 What nature does space have? What is alternative to Cartesian extension? What is essence of substance? Early period (1679) Middle period (1695) Absolute space maximum Latest period (1715-6) Network of representations among monads ambiguous ambiguous Simple substance (monad) Unity Unity or Simplicity Simplicity

40 Can be atoms of substances? Can be fundamental elements of space? Physical points No? Mathematical points Metaphysical points No? Yes?

41 Can be atoms of substances? Can be fundamental elements of space? Physical points No No Mathematical points Metaphysical points No Yes No Yes How does metaphysical points constitute space?

42 Conclusion We tried to settle the problem of whether Leibniz holds the constituting theory of space before the latest period and gave a negative answer. Certainly Leibniz continues to search the best definition of geometrical objects, however, from this it could not follow that he has the idea that space is an entity which is constituted by something. So, we need further investigation to make clear how he got to his final view.

43 References Richard T. W. Arthur: "Leibniz's Theory of Space", Foundations of Science, vol.18, : Leibniz, Polity Press, Vincenzo De Risi: Geometry and Monadology: Leibniz's Analysis Situs and Philosophy of Space, Birkhauser, Christia Mercer: Leibniz's Metaphysics: Its Origins and Development, Cambridge University Press, 2001.

44 G.H.R. Parkinson: "Introduction", De Summa Rerum: Metaphysical Papers, , Yale University Press, 1992, pp.xi-liii. Samuel Levey: On Unity and Simple Substance in Leibniz, The Leibniz Review, Vol.17, 2007, pp : Why Simples?: A Reply to Donald Rutherford, The Leibniz Review, Vol.18,2008, pp : On Two Theories of Substance in Leibniz: Critical Notice of Daniel Garber, Leibniz: Body, Substance, Monad, Philosophical Review, Vol.120, No.2, 2011, pp : On Unity, Borrowed Reality and Multitude in Leibniz, The Leibniz Review,Vol.22, 2012, pp

Leibniz s Ultimate Theory Soshichi Uchii

Leibniz s Ultimate Theory Soshichi Uchii Leibniz s Ultimate Theory Soshichi Uchii Abstract This is a short summary of my new interpretation of Leibniz s philosophy, including metaphysics and dynamics. Monadology is the core of his philosophy,

More information

Changing the Cartesian Extension: Leibniz on Phenomenon and Body

Changing the Cartesian Extension: Leibniz on Phenomenon and Body Changing the Cartesian Extension: Leibniz on Phenomenon and Body Changing the Cartesian Extension: Leibniz on Phenomenon and Body Shohei Edamura What did Leibniz contribute to the metaphysics of body?

More information

Richard T. W. Arthur, McMaster University. 1. Commentary

Richard T. W. Arthur, McMaster University. 1. Commentary Leibniz s Mechanical Principles (c. 1676): Commentary and Translation Richard T. W. Arthur, McMaster University 1. Commentary T he following is a translation of a short essay by Leibniz, Principia mechanica,

More information

Euler s Galilean Philosophy of Science

Euler s Galilean Philosophy of Science Euler s Galilean Philosophy of Science Brian Hepburn Wichita State University Nov 5, 2017 Presentation time: 20 mins Abstract Here is a phrase never uttered before: Euler s philosophy of science. Known

More information

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

Chapter One BASIC QUESTIONS

Chapter One BASIC QUESTIONS Chapter One BASIC QUESTIONS In natural science, the observations in everyday life are of particular relevance. We normally base our analysis on those events and things which are spontaneous in front of

More information

Paper read at History of Science Society 2014 Annual Meeting, Chicago, Nov. 9,

Paper read at History of Science Society 2014 Annual Meeting, Chicago, Nov. 9, Euler s Mechanics as Opposition to Leibnizian Dynamics 1 Nobumichi ARIGA 2 1. Introduction Leonhard Euler, the notable mathematician in the eighteenth century, is also famous for his contributions to mechanics.

More information

So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special!

So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special! Jerry Fodor and his Special Sciences So, what are special sciences? ones that are particularly dear to the author? ( Oh dear. I am touched. Psychology is just, so, well, special! ) The use of special in

More information

How Einstein came to employ the action-reaction principle in justifying general relativity

How Einstein came to employ the action-reaction principle in justifying general relativity How Einstein came to employ the action-reaction principle in justifying general relativity Harvey Brown Faculty of Philosophy H.R.B. and Dennis Lehmkuhl, Einstein, the reality of space, and the action-reaction

More information

Aristotle Metaphysics. Aristotle Metaphysics

Aristotle Metaphysics. Aristotle Metaphysics Aristotle Metaphysics I. What is Metaphysics? tôn meta ta phusika = the things after the Physics. Not to be confused with the study of anything non-physical. Not to be confused with later conceptions of

More information

Introduction to Philosophy Philosophy 110W Fall 2014 Russell Marcus

Introduction to Philosophy Philosophy 110W Fall 2014 Russell Marcus Introduction to Philosophy Philosophy 110W Fall 2014 Russell Marcus Class #8: Newton and Leibniz on Space and Time Marcus, Introduction to Philosophy, Fall 2014 Slide 1 Business P Return Exegeses P Thursday

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

The claim that composition is identity is an intuition in search of a formulation.

The claim that composition is identity is an intuition in search of a formulation. Against Composition as Identity KRIS MCDANIEL The claim that composition is identity is an intuition in search of a formulation. The farmer s field is made of six plots, and in some sense is nothing more

More information

Infinity. Newton, Leibniz & the Calculus

Infinity. Newton, Leibniz & the Calculus Infinity Newton, Leibniz & the Calculus Aristotle: Past time can t be infinite because there can t be an endless chain of causes (movements) preceding the present. Descartes: Space as extension; the res

More information

Are Objects Ontologically Dependent on Processes?

Are Objects Ontologically Dependent on Processes? Are Objects Ontologically Dependent on Processes? Antony Galton Department of Computer Science University of Exeter, UK CAOS Symposium University of Bath 20 April 2017 Things vs Processes Traditional substance-based

More information

Ch 3: Leibniz. October 24, 2006

Ch 3: Leibniz. October 24, 2006 Ch 3: Leibniz October 24, 2006 1 Introduction Leibniz s mechanics was, as we shall see, a theory of elastic collisions, not formulated like Huygens in terms of rules explicitly covering every possible

More information

The nature of Reality: Einstein-Podolsky-Rosen Argument in QM

The nature of Reality: Einstein-Podolsky-Rosen Argument in QM The nature of Reality: Einstein-Podolsky-Rosen Argument in QM Michele Caponigro ISHTAR, Bergamo University Abstract From conceptual point of view, we argue about the nature of reality inferred from EPR

More information

Leibniz s Possible Worlds. Liu Jingxian Department of Philosophy Peking University

Leibniz s Possible Worlds. Liu Jingxian Department of Philosophy Peking University Leibniz s Possible Worlds Liu Jingxian Department of Philosophy Peking University 1 Contents 1. Leibniz s Motivation 2. Complete Concepts and Possible Individuals 3. Compossibility 3.1. Analytically or

More information

The Existence of Absolute Space

The Existence of Absolute Space The Ohio State University Knowledge Bank kb.osu.edu Ohio Journal of Science (Ohio Academy of Science) Ohio Journal of Science: Volume 62, Issue 2 (March, 1962) 1962-03 The Existence of Absolute Space Gould,

More information

09. The Leibniz-Clarke Correspondence

09. The Leibniz-Clarke Correspondence 09. The Leibniz-Clarke Correspondence Series of letters written in 1715-1716. Newton's spokesperson. Defends absolutism (absolute space exists). Samuel Clarke Gottfried Wilhelm Leibniz Critic of Newton.

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

Leibniz and Cantor on the Actual Infinite

Leibniz and Cantor on the Actual Infinite 1 A well known feature of Leibniz s philosophy is his espousal of the actual infinite, in defiance of the Aristotelian stricture that the infinite can exist only potentially. As he wrote to Foucher in

More information

Is Consciousness a Nonspatial Phenomenon?

Is Consciousness a Nonspatial Phenomenon? KRITIKE VOLUME FIVE NUMBER ONE (JUNE 2011) 91-98 Article Is Consciousness a Nonspatial Phenomenon? Ståle Gundersen Abstract: Colin McGinn has argued that consciousness is a nonspatial phenomenon. McGinn

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

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

The Philosophy of Physics. Is Space Absolute or Relational?

The Philosophy of Physics. Is Space Absolute or Relational? The Philosophy of Physics Lecture Two Is Space Absolute or Relational? Rob Trueman rob.trueman@york.ac.uk University of York Newton s Absolute Motion and Acceleration Is Space Absolute or Relational? Newton

More information

A Re-Evaluation of Schrodinger s Cat Paradox

A Re-Evaluation of Schrodinger s Cat Paradox A Re-Evaluation of Schrodinger s Cat Paradox Wells Lucas Santo 5 December 2012 PL2293 Philosophy of Quantum Mechanics Professor Jonathan Bain 1 1 Introduction This paper is a re-examination of the famous

More information

Motion in Leibniz s Middle Years: A Compatibilist Approach

Motion in Leibniz s Middle Years: A Compatibilist Approach Pre-print draft of paper appearing in Oxford Studies in Early Modern Philosophy 6 (2012), 135-70. Motion in Leibniz s Middle Years: A Compatibilist Approach Stephen Puryear Abstract In the texts of the

More information

R. T. W. Arthur. Smolin s work on the theory of time and space. See also Smolin (1997).

R. T. W. Arthur. Smolin s work on the theory of time and space. See also Smolin (1997). LEIBNIZ S T HEORY OF SPACE 1 I don t say that space is an order or situation, but an order of situations, or an order according to which situations are disposed, and that abstract space is that order of

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

Metaphysics in Early Modern Philosophy. Monday, September 25, 17

Metaphysics in Early Modern Philosophy. Monday, September 25, 17 Metaphysics in Early Modern Philosophy The Atomic Theory of Matter The atomic theory poses a challenge to theories of substances or objects Atomic theory: things are composed of atoms; properties of things

More information

Knowledge, Truth, and Mathematics

Knowledge, Truth, and Mathematics Knowledge, Truth, and Mathematics Philosophy 405 Russell Marcus Hamilton College, Fall 2010 September 27 Class 9: Kant II Marcus, Knowledge, Truth, and Mathematics, Fall 2010 Slide 1 Necessity/Contingency

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

Corporeal Substances and Physical Monads

Corporeal Substances and Physical Monads 1/23 Corporeal Substances and Physical Monads in Kant and Leibniz Gary Banham, Manchester Metropolitan University The Leibnizian discussion of the nature of corporeal substances is still too little known,

More information

The Leibniz Review, Vol. 16, 2006

The Leibniz Review, Vol. 16, 2006 Pauline Phemister, Leibniz and the Natural World: Activity, Passivity and Corporeal Substances in Leibniz s Philosophy. Dordrecht: Springer, 2005. Pp. 293. Reviewed by Justin E. H. Smith, Concordia University

More information

An Ontology Diagram for Coordination of the Hylomorphically Treated Entities

An Ontology Diagram for Coordination of the Hylomorphically Treated Entities An Ontology Diagram for Coordination of the Hylomorphically Treated Entities Algirdas [0000-0001-6712-3521] Vilnius University, Vilnius, Universiteto g. 3, LT-01513, Lithuania algirdas.budrevicius@kf.vu.lt

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

Mereological Nihilism: Substance and Matter in Leibniz s Metaphysics

Mereological Nihilism: Substance and Matter in Leibniz s Metaphysics Mereological Nihilism: Substance and Matter in Leibniz s Metaphysics by Adam Harmer A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Department of Philosophy

More information

The Mole is Not an Ordinary Measurement Unit

The Mole is Not an Ordinary Measurement Unit The Mole is Not an Ordinary Measurement Unit Ingvar Johansson Professor emeritus in philosophy, Umeå University, Sweden (Address: Virvelvindsvägen 4P, SE-222 27 Lund, Sweden) ingvar.johansson@philos.umu.se

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

Section 20: Arrow Diagrams on the Integers

Section 20: Arrow Diagrams on the Integers Section 0: Arrow Diagrams on the Integers Most of the material we have discussed so far concerns the idea and representations of functions. A function is a relationship between a set of inputs (the leave

More information

Australasian Journal of Philosophy, 1999, 77 (4), pp

Australasian Journal of Philosophy, 1999, 77 (4), pp Australasian Journal of Philosophy, 1999, 77 (4), pp. 429-438. LEIBNIZ S ARGUMENT FOR THE IDENTITY OF INDISCERNIBLES IN HIS CORRESPONDENCE WITH CLARKE 1 Gonzalo Rodriguez-Pereyra Churchill College, Cambridge,

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

Dick's PhAQs II: Philosopher-Asked Questions

Dick's PhAQs II: Philosopher-Asked Questions Home Dick's PhAQs II: Philosopher-Asked Questions Answers from Dick's quantum consciousness model (concept model) to questions that have always puzzled philosophers (This material is the summary section

More information

Arguments and Proofs. 1. A set of sentences (the premises) 2. A sentence (the conclusion)

Arguments and Proofs. 1. A set of sentences (the premises) 2. A sentence (the conclusion) Arguments and Proofs For the next section of this course, we will study PROOFS. A proof can be thought of as the formal representation of a process of reasoning. Proofs are comparable to arguments, since

More information

240 Metaphysics. Frege s Puzzle. Chapter 26

240 Metaphysics. Frege s Puzzle. Chapter 26 240 Metaphysics Frege s Puzzle Frege s Puzzle 241 Frege s Puzzle In his 1879 Begriffsschrift (or Concept-Writing ), Gottlob Frege developed a propositional calculus to determine the truth values of propositions

More information

Conceivability and Modal Knowledge

Conceivability and Modal Knowledge 1 3 Conceivability and Modal Knowledge Christopher Hill ( 2006 ) provides an account of modal knowledge that is set in a broader context of arguing against the view that conceivability provides epistemic

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

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

Monadology, Information, and Physics Part 1: Metaphysics and Dynamics

Monadology, Information, and Physics Part 1: Metaphysics and Dynamics Monadology, Information, and Physics Part 1: Metaphysics and Dynamics Soshichi Uchii (Kyoto University, Emeritus) Abstract Leibniz coined the word dynamics, but his own dynamics has never been completed.

More information

Physicalism

Physicalism 2015.11.16 Physicalism Table of contents 1 What is Identity Theory? 2 Closure of Physics and the Unity of Science Supervenience 3 Argument From Agency 4 Arguments From Causal Overdetermination Identity

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

Sums of Squares (FNS 195-S) Fall 2014

Sums of Squares (FNS 195-S) Fall 2014 Sums of Squares (FNS 195-S) Fall 014 Record of What We Did Drew Armstrong Vectors When we tried to apply Cartesian coordinates in 3 dimensions we ran into some difficulty tryiing to describe lines and

More information

TRACING THE ORIGIN OF LIFE

TRACING THE ORIGIN OF LIFE TRACING THE ORIGIN OF LIFE James A. Putnam 2003 There is no natural discontinuity between life and the rest of creation. Scientific conclusions that include discontinuity in the operation of the universe

More information

Elements of a Bahá í-inspired Natural Theology

Elements of a Bahá í-inspired Natural Theology Elements of a Bahá í-inspired Natural Theology Willliam S. Hatcher Source: The Library. Can be used under terms of the Library s 1 Besides the moral and spiritual teachings they contain, the Bahá í Writings

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

Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound

Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound Copyright 2018 by James A. Bernhard Contents 1 Vector spaces 3 1.1 Definitions and basic properties.................

More information

Review of Gordon Belot, Geometric Possibility Oxford: Oxford UP, 2011

Review of Gordon Belot, Geometric Possibility Oxford: Oxford UP, 2011 Review of Gordon Belot, Geometric Possibility Oxford: Oxford UP, 2011 (The Philosophical Review 122 (2013): 522 525) Jill North This is a neat little book (138 pages without appendices, under 200 with).

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

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

PHILOSOPHY OF SPACE AND TIME various authors. Philosophy of space and time is the branch of philosophy concerned with the issues

PHILOSOPHY OF SPACE AND TIME various authors. Philosophy of space and time is the branch of philosophy concerned with the issues PHILOSOPHY OF SPACE AND TIME various authors Philosophy of space time is the branch of philosophy concerned with the issues surrounding the ontology epistemol ogy character of space time. While such ideas

More information

has been falsified by the development of special relativity. In this paper, I identify and reject an

has been falsified by the development of special relativity. In this paper, I identify and reject an Presentism as an empirical hypothesis Abstract Within philosophy of physics it is broadly accepted that presentism as an empirical hypothesis has been falsified by the development of special relativity.

More information

Solution to Proof Questions from September 1st

Solution to Proof Questions from September 1st Solution to Proof Questions from September 1st Olena Bormashenko September 4, 2011 What is a proof? A proof is an airtight logical argument that proves a certain statement in general. In a sense, it s

More information

Supplementary Logic Notes CSE 321 Winter 2009

Supplementary Logic Notes CSE 321 Winter 2009 1 Propositional Logic Supplementary Logic Notes CSE 321 Winter 2009 1.1 More efficient truth table methods The method of using truth tables to prove facts about propositional formulas can be a very tedious

More information

Motion in Leibniz s Middle Years: A Compatibilist Approach. stephen puryear

Motion in Leibniz s Middle Years: A Compatibilist Approach. stephen puryear 5 Motion in Leibniz s Middle Years: A Compatibilist Approach stephen puryear One bone of contention among Leibniz scholars concerns the status of the corporeal world in the philosophy of Leibniz s middle

More information

Cosmology Lecture 2 Mr. Kiledjian

Cosmology Lecture 2 Mr. Kiledjian Cosmology Lecture 2 Mr. Kiledjian Lecture 2: Quantum Mechanics & Its Different Views and Interpretations a) The story of quantum mechanics begins in the 19 th century as the physicists of that day were

More information

Vocabulary atom atomos Dalton's atomic theory law of constant composition law of definite proportions law of multiple proportions matter.

Vocabulary atom atomos Dalton's atomic theory law of constant composition law of definite proportions law of multiple proportions matter. 1.3 Early Atomic Theory Lesson Objectives The student will: define matter and explain how it is composed of building blocks known as atoms. give a short history of how the concept of the atom developed.

More information

A World of Fields. Daniel von Wachter Oriel College, Oxford

A World of Fields. Daniel von Wachter Oriel College, Oxford A World of Fields Daniel von Wachter Oriel College, Oxford Homepage of the author: http://von-wachter.de Email: replace ABC in daniel@abc.de by von-wachter Address: Dr. Dr. Daniel von Wachter, Institut

More information

Causality 03: The Modern "Epistemic Turn" and Causality

Causality 03: The Modern Epistemic Turn and Causality Causality 03: The Modern "Epistemic Turn" and Causality Announcement Register to BEEF! https://beef.center.kobe-u.ac.jp/course/view.php?id=8559 Reading assignment J.L. Macke, Causes and Conditions, excerpt

More information

To Infinity and Beyond

To Infinity and Beyond To Infinity and Beyond 25 January 2012 To Infinity and Beyond 25 January 2012 1/24 The concept of infinity has both fascinated and frustrated people for millenia. We will discuss some historical problems

More information

Substantival vs. relational space(-time) 1: Pre-relativistic theories

Substantival vs. relational space(-time) 1: Pre-relativistic theories Substantival vs. relational space(-time) 1: Pre-relativistic theories Pt. II Philosophy of Physics Lecture 1, 16 January 2015, Adam Caulton (aepw2@cam.ac.uk) 1 Newton s three laws From Newton s The Mathematical

More information

The Gram-Schmidt Process

The Gram-Schmidt Process The Gram-Schmidt Process How and Why it Works This is intended as a complement to 5.4 in our textbook. I assume you have read that section, so I will not repeat the definitions it gives. Our goal is to

More information

Are Quantities Qualitative?

Are Quantities Qualitative? Are Quantities Qualitative? Cian Dorr Metaphysics of Quantity conference, NYU: 1 May 2015 1. Qualitative versus haecceitistic properties It would be nice to be able to provide an uncontroversial definition

More information

Ontology on Shaky Grounds

Ontology on Shaky Grounds 1 Ontology on Shaky Grounds Jean-Pierre Marquis Département de Philosophie Université de Montréal C.P. 6128, succ. Centre-ville Montréal, P.Q. Canada H3C 3J7 Jean-Pierre.Marquis@umontreal.ca In Realistic

More information

A Reply to The Destiny of Atomism in the Modern Science and the Structural Realism

A Reply to The Destiny of Atomism in the Modern Science and the Structural Realism http://social-epistemology.com ISSN: 2471-9560 A Reply to The Destiny of Atomism in the Modern Science and the Structural Realism Elena Trufanova, Institute of Philosophy, Russian Academy of Sciences Trufanova,

More information

What s Observable in Special and General Relativity?

What s Observable in Special and General Relativity? What s Observable in Special and General Relativity? Oliver Pooley oliver.pooley@philosophy.oxford.ac.uk Oriel College, Oxford ESF Conference 24 March 2004; What s Observable in Special and General Relativity?

More information

Leibniz on Motion Reply to Edward Slowik. Anja Jauernig, University of Notre Dame

Leibniz on Motion Reply to Edward Slowik. Anja Jauernig, University of Notre Dame Leibniz on Motion Reply to Edward Slowik Anja Jauernig, University of Notre Dame I n his contribution to this volume of The Leibniz Review, Another Go-Around on Leibniz on Rotation, Edward Slowik critically

More information

Evidence and Theory in Physics. Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014

Evidence and Theory in Physics. Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014 Evidence and Theory in Physics Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014 Two Features of Physics Physics displays two interesting features: 1) Programmatically, it aspires to be completely

More information

Philosophy of Mathematics Intuitionism

Philosophy of Mathematics Intuitionism Philosophy of Mathematics Intuitionism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 01/12/15 Classical mathematics Consider the Pythagorean argument that 2 is irrational: 1. Assume that

More information

Lecture 5: Leibniz equivalence and Putnam s paradox

Lecture 5: Leibniz equivalence and Putnam s paradox Lecture 5: Leibniz equivalence and Putnam s paradox 5.1 Recap: Responses to the hole argument Let M 1 = M, g, T and M 2 = M, d g, d T be two models of GR where d is a non-trivial diffeomorphism, possibly

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

Identity in Physics and Elsewhere

Identity in Physics and Elsewhere Identity in Physics and Elsewhere Otávio Bueno Department of Philosophy University of Miami Coral Gables, FL 33124, USA E-mail: otaviobueno@mac.com 1. INTRODUCTION Is identity a fundamental concept? Of

More information

Monadology, Information, and Physics, Part 1: Metaphysics and Dynamics (revised)

Monadology, Information, and Physics, Part 1: Metaphysics and Dynamics (revised) Monadology, Information, and Physics, Part 1: Metaphysics and Dynamics (revised) Soshichi Uchii (Kyoto University, Emeritus) Abstract Leibniz coined the word dynamics, but his own dynamics has never been

More information

The Axiom and Laws of Motion

The Axiom and Laws of Motion The Axiom and Laws of Motion Efthimios Harokopos Abstract The law of inertia and the law of interaction are derived from the axiom of motion, an expression relating the time rate of change of the kinetic

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

BRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,

BRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt, CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves

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

Physicalism decomposed

Physicalism decomposed Blackwell Publishing Ltd.Oxford, UK and Malden, USAANALAnalysis0003-26382005 Blackwell Publishing Ltd.January 20056513339ArticlesAndreas Hüttemann and David Papineau Physicalism decomposed Physicalism

More information

Infi nite Sets. 2.1 Some Infinite Sets

Infi nite Sets. 2.1 Some Infinite Sets 2 Infi nite Sets 2.1 Some Infinite Sets Some sets have infinitely many members. Think of the set of all the New Year s Eves from here to eternity. Or if you don t believe in eternity, think of the set

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

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

The roots of computability theory. September 5, 2016

The roots of computability theory. September 5, 2016 The roots of computability theory September 5, 2016 Algorithms An algorithm for a task or problem is a procedure that, if followed step by step and without any ingenuity, leads to the desired result/solution.

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

Fermat s Last Theorem for Regular Primes

Fermat s Last Theorem for Regular Primes Fermat s Last Theorem for Regular Primes S. M.-C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.

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

Journal of Theoretics Vol.5-3 Guest Commentary

Journal of Theoretics Vol.5-3 Guest Commentary Journal of Theoretics Vol.5-3 Guest Commentary The Nature of Time Frank Grimer f.grimer@grimer2.freeserve.co.uk The nature of time can best be appreciated by developing the concept of time from Information

More information

Integrating Practices and Core Ideas into Introductory Physics Courses

Integrating Practices and Core Ideas into Introductory Physics Courses Integrating Practices and Core Ideas into Introductory Physics Courses James (J.T.) Laverty laverty1@msu.edu April 12 th, 2014 MIAAPT Spring 2014 Workshop Outline Science as a process Recent changes in

More information

2 History of the Atomic

2 History of the Atomic www.ck12.org CHAPTER 2 History of the Atomic Theory Chapter Outline 2.1 DEMOCRITUS IDEA OF THE ATOM 2.2 DALTON S ATOMIC THEORY 2.3 THOMSON S ATOMIC MODEL 2.4 RUTHERFORD S ATOMIC MODEL 2.5 BOHR S ATOMIC

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

Deep Metaphysical Indeterminacy

Deep Metaphysical Indeterminacy Deep Metaphysical Indeterminacy Bradford Skow Abstract A recent theory of metaphysical indeterminacy says that metaphysical indeterminacy is multiple actuality. That is, we have a case of metaphysical

More information