David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophy Compass 7 (4):290-292 (2012)
This guide accompanies the following article: Meghan Sullivan, ‘Problems with Temporary Existence in Tense Logic’. Philosophy Compass 7/1 : 43–57. doi: 10.1111/j.1747‐9991.2011.00457.xAuthor’s IntroductionOver the past century, there has been considerable debate over whether and how anything changes with respect to existence. Most A‐theorists of time think things come to exist or cease to exist. B‐theorists of time think objects do not change with respect to existence. In my Compass article, I outline a serious difficulty that A‐theorists face in trying to reason about temporary existents. The most straightforward logics for time and existence entail that nothing exists merely temporarily. The problem arises from a set of theorems of the simplest temporal logic – the converse Barcan formulas. But attempts to fix the logic to get rid of the Barcan formulas pressure A‐theorists to abandon an intuitive and widespread assumption about existence. I survey the logical and metaphysical options for solving the problem.Author RecommendsBurgess, John P. Philosophical Logic. Princeton: Princeton University Press, 2009.An introductory textbook in philosophical logic. Chapter 2 focuses on temporal logic and motivates a logic‐based response to problems with the temporal Barcan schemas.Prior, A. N. Past, Present, and Future. Oxford: Oxford University Press, 1967.The first attempt to rigorously formulate propositional and quantified tense logic. Chapter 8 especially provides philosophical insight into problems with change in existence. Prior uses Polish notation for his proofs and formalism, which requires a bit of background to translate.Sider, Theodore. Four‐Dimensionalism. Oxford: Oxford University Press, 2001.Provides a useful background on the debates in the philosophy of time. The first three chapters that precisely define the different theories are especially relevant.Sider, Theodore. Logic for Philosophy. Oxford: Oxford University Press, 2010.A useful guide to the semantics and proof theory of modal and temporal logics.van Inwagen, Peter. ‘Meta‐Ontology.’Erkenntnis 48 :233–50.Gives an explanation and defense of neo‐Quinean assumptions.Williamson, Timothy. ‘Bare Possibilia.’Erkenntnis 48 :257–73.Provides a logic‐based argument for necessary, permanent existence and gives an A‐theory‐friendly model for explaining change on such an ontology.Zimmerman, Dean W. ‘Temporary Intrinsics and Presentism.’Metaphysics: The Big Questions. Eds. Peter van Inwagen and Dean W. Zimmerman. Oxford: Blackwell, 1998.Surveys a problem in formulating presentist theories of change and motivates the need for tense operators.Sample Syllabus:Here is a sample syllabus for a course on time in metaphysics and logic:Week I: Introduction: A‐Theories and B‐TheoriesWe will consider precise ways of differentiating A‐theories of time and B‐theories of time, looking in particular at how A‐theorists and B‐theorists think of intrinsic properties.Reading:• Chap 4.2., Lewis, David. On the Plurality of Worlds. Oxford: Blackwell, 1986.• Zimmerman, Dean W. ‘Temporary Intrinsics and Presentism.’Metaphysics: The Big Questions. Eds. Peter van Inwagen and Dean W. Zimmerman. Oxford: Blackwell, 1998.• Chap 2, Sider, Theodore. Four‐Dimensionalism. Oxford: Oxford University Press, 2001.Week II: The Bug: Temporary Existence in Tense LogicWe will consider why A‐theorists use tense logics to express their views, and we will look at the difficulties A‐theorists have expressing temporary existence in tense logic.Reading:• Sullivan, Meghan. ‘Problems for Temporary Existence in Tense Logic.’Philosophy Compass.• Chap 8, Prior, A. N. Past, Present, and Future. Oxford: Oxford University Press, 1967.Week III: Option 1: Rewire Tense Logic?We will learn about Kripke’s solution to the parallel problem in modal logic, consider how it might be applied to tense logic, and then consider philosophical difficulties for the proposal.Reading:• Chap 2, Burgess, John P. Philosophical Logic. Princeton: Princeton University Press. 2009.• Kripke, Saul. ‘Semantical Considerations in Modal Logic.’Reference and Modality. Ed. Bernard Linsky. Oxford: Oxford University Press, 1971.• Optional: Chap 10, Sider, Theodore. Logic for Philosophy. Oxford: Oxford University Press, 2010.Week IV: Option 2: Believe in Permanent Existence?Williamson does not think we should revise our quantification theory. Instead, he argues that we should believe all objects necessarily, always exist. We will consider possible justifications for permanent existence.Reading:• Williamson, Timothy. ‘Bare Possibilia.’Erkenntnis 48 : 257–73.• Williamson, Timothy. ‘Necessary Existents.’Logic, Thought and Language. Ed. Anthony O’Hear. Cambridge: Cambridge University Press, 2002.• Sullivan, Meghan. ‘The Minimal A‐Theory.’Philosophical Studies .Week V: Deflate the Debate ?We might think the logical problem only arises because we assume there is a single logic for existence. This assumption looks silly if we think there is no metaphysically privileged sense of existence. Deflationists argue for this solution to the presentist/eternalist debate. We’ll see if it provides attractive options for the more general debate over temporary existence.Reading:• Hirsch, Eli. ‘Ontology and Alternative Languages.’Metametaphysics: New Essays in the Foundations of Ontology. Eds. David J. Chalmers, David Manley, and Ryan Wasserman. Oxford: Oxford University Press, 2009.• Hofweber, Thomas. ‘The Meta‐Problem of Change.’Nous 2 : 286–314.• van Inwagen, Peter. ‘Meta‐Ontology.’Erkenntnis 48 : 233–50.Focus Questions• Are A‐theorists right to draw a close distinction between the past and future and merely possible worlds? To what extent is the analogy apt? What are some reasons the analogy might be misleading?• Test your familiarity with QTLK. Which of the following are theorems? Can you prove them? If they are not theorems, can you provide countermodels in the formal semantics? Feel free to include diagrams for countermodels.∀xF → ∃xF∃xF → ∃xH∃xP¬∃y → P∃x¬∃y• “A‐theorists who use Kripke’s semantics and free tense logic are forced to have a non‐Quinean theory of existence.” How would someone argue for this claim? Do you agree?• “Williamson’s ontology gives up what is most important about Neo‐Quineanism.” How would someone argue for this claim? Do you agree?
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Meghan Sullivan (2012). Problems for Temporary Existence in Tense Logic. Philosophy Compass 7 (1):43-57.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
M. J. Cresswell (2013). Predicate Metric Tense Logic for 'Now' and 'Then'. Journal of Philosophical Logic 42 (1):1-24.
Anders Kraal (2011). Teaching & Learning Guide For: Logic and Divine Simplicity. Philosophy Compass 6 (8):572-574.
M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2):173 - 200.
Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.) (2009). Teaching and Learning Proof Across the Grades: A K-16 Perspective. Routledge.
Sarah K. Donovan (2008). Teaching Philosophy Outside of the Classroom: One Alternative to Service Learning. Teaching Philosophy 31 (2):161-177.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Hirokazu Nishimura (1981). Model Theory for Tense Logic: Saturated and Special Models with Applications to the Tense Hierarchy. Studia Logica 40 (2):89 - 98.
Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
Deni Elliott (2007). Ethics in the First Person: A Guide to Teaching and Learning Practical Ethics. Rowman & Littlefield Publishers.
Ulrich Meyer (2006). Worlds and Times. Notre Dame Journal of Formal Logic 47 (1):25--37.
Added to index2012-03-20
Total downloads10 ( #165,352 of 1,410,124 )
Recent downloads (6 months)2 ( #107,954 of 1,410,124 )
How can I increase my downloads?