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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Problems for Temporary Existence in Tense Logic.Meghan Sullivan - 2012 - Philosophy Compass 7 (1):43-57.
'Now' and 'Then' in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Teaching & Learning Guide For: Logic and Divine Simplicity.Anders Kraal - 2011 - Philosophy Compass 6 (8):572-574.
Teaching and Learning Proof Across the Grades: A K-16 Perspective.Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.) - 2009 - Routledge.
Teaching Philosophy Outside of the Classroom: One Alternative to Service Learning.Sarah K. Donovan - 2008 - Teaching Philosophy 31 (2):161-177.
Model Theory for Tense Logic: Saturated and Special Models with Applications to the Tense Hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
Ethics in the First Person: A Guide to Teaching and Learning Practical Ethics.Deni Elliott - 2006 - Rowman & Littlefield Publishers.
Managing Teaching and Learning in Further and Higher Education.Kate Ashcroft - 1994 - Falmer Press.
Added to index2012-03-20
Total downloads21 ( #236,797 of 2,168,151 )
Recent downloads (6 months)1 ( #346,757 of 2,168,151 )
How can I increase my downloads?