2000 character limit reached
Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism (2405.15248v1)
Published 24 May 2024 in cs.LO
Abstract: In this paper, we present a logic for conditional strong historical necessity in branching time and apply it to analyze a nontheological version of Lavenham's argument for future determinism. Strong historical necessity is motivated from a linguistical perspective, and an example of it is ``If I had not gotten away, I must have been dead''. The approach of the logic is as follows. The agent accepts ontic rules concerning how the world evolves over time. She takes some rules as indefeasible, which determine acceptable timelines. When evaluating a sentence with conditional strong historical necessity, we introduce its antecedent as an indefeasible ontic rule and then check whether its consequent holds for all acceptable timelines. The argument is not sound by the logic.
- B. Copley. What should “should” mean? In Proceedings of Language Under Uncertainty Workshop. 2006.
- E. Emerson and J. Halpern. “Sometimes” and “not never” revisited: On branching versus linear time temporal logic. J. ACM, 33(1):151–178, 1986.
- K. von Fintel and S. Iatridou. How to say ought in foreign: The composition of weak necessity modals. In J. Guéron and J. Lecarme, editors, Time and Modality, pages 115–141. Springer Netherlands, 2008.
- B. Garrett. What is this thing called metaphysics? Taylor & Francis, 2017.
- T. Jarmużek. On the Sea Battle Tomorrow That May Not Happen. Peter Lang GmbH, 2018.
- A logic for temporal conditionals and a solution to the sea battle puzzle. In G. Bezhanishvili, G. D’Agostino, G. Metcalfe, and T. Studer, editors, Proceedings of the 12th International Conference on Advances in Modal Logic, pages 407–426. College Publications, 2018.
- F. Ju. A logical theory for strong and weak ontic necessities in branching time. https://arxiv.org/abs/2208.11922, 2022.
- B. Kment. Varieties of Modality. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Spring 2021 edition, 2021.
- A. Kratzer. Modality. In A. Stechow and D. Wunderlich, editors, Semantics: An International Handbook of Contemporary Research, pages 639–650. Walter de Gruyter, 1991.
- G. Leech. Meaning and the English Verb. Longman Group Limited, 1971.
- J. MacFarlane. Future contingents and relative truth. The Philosophical Quarterly, 53(212):321–336, 2003.
- P. McNamara. Must I do what I ought? (or Will the least I can do do?). In M. Brown and J. Carmo, editors, Deontic Logic, Agency and Normative Systems, pages 154–173. Springer London, 1996.
- D. Nute. Historical necessity and conditionals. Noûs, 25(2):161–175, 1991.
- P. Øhrstrøm and F. Hasle. Temporal Logic-From Ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers, 1995.
- P. Øhrstrøm and F. Hasle. Future contingents. In E. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, summer 2020 edition, 2020.
- F. Palmer. Modality and the English Modals. Routledge, 1990.
- F. Palmer. Mood and modality. Cambridge university press, 2001.
- T Placek and T Müller. Counterfactuals and historical possibility. Synthese, 154(2):173–197, 2007.
- P. Portner. Modality. Oxford University Press, 2009.
- A. Prior. Past, Present and Future. Oxford, 1967.
- M. Reynolds. An axiomatization of full computation tree logic. The Journal of Symbolic Logic, 66(3):1011–1057, 2001.
- R. Stalnaker. A theory of conditionals. In N. Rescher, editor, Studies in Logical Theory (American Philosophical Quarterly Monographs 2), pages 98–112. Oxford: Blackwell, 1968.
- R. Stalnaker. A defense of conditional excluded middle. In W. Harper, R. Stalnaker, and G. Pearce, editors, IFS: Conditionals, Belief, Decision, Chance and Time, pages 87–104. Springer Netherlands, 1981.
- R. Thomason and A. Gupta. A theory of conditionals in the context of branching time. The Philosophical Review, 89(1):65–90, 1980.
- R. Thomason. Indeterminist time and truth value gaps. Theoria, 36:264–281, 1970.
- R. Thomason. Combinations of tense and modality. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, pages 135–165. Springer Netherlands, 1984.
- J. Thomson. Normativity. Open Court Publishing Company, 2008.
- A. Thomasson. Norms and necessity. Oxford University Press, 2020.
- F. Veltman. Making counterfactual assumptions. Journal of Semantics, 22:159–180, 2005.
- Wikisource. The lady, or the tiger? and other stories/the lady, or the tiger? — wikisource. [Online; accessed 23-October-2022].
- J. Wawer and L. Wroński. Towards a new theory of historical counterfactuals. In P. Arazim and M. Dancak, editors, Logica Yearbook 2014, pages 293–310. College Publications, 2015.
- S. Yalcin. Modalities of normality. In N. Charlow and M. Chrisman, editors, Deontic modality. Oxford University Press, 2016.
- L. Åqvist. The logic of historical necessity as founded on two-dimensional modal tense logic. Journal of Philosophical Logic, 28(4):329–369, 1999.
- P. Øhrstrøm. Problems regarding the future operator in an indeterministic tense logic. Danish Yearbook of Philosophy, 18:81–95, 1981.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
