In the presented article, I have analyzed the famous Saul Kripke statement that some a priori truths are contingent. I show, that despite Kripke’s thesis, in the historical understanding of contingency, the notions of contingency and apriority are in deep conflict with each other. In this understanding of contingency, the past, which can be known a priori, is not contingent, and the future, which is contingent, has difficulty acquiring a priori knowledge. Having stated Kripke’s thesis more precisely, I propose three means in order to defend it in the historical understanding of possibility: (a) by introducing the notion of “factual” future, (b) by replacing the notion of apriority with the notion of apriority-in-the-future; (c) by replacing the notion of apriority with the notion of historical apriority, and the notion of contingency with the notion of once-apriority. In the annex of the article, I present the formal analysis of the problem that I have introduced and three solutions which I have proposed in the language of temporal-modal logic of predicates for models of indeterministic time.
Belnap Nuel. 2002. Double time references: Speech-act reports as modalities in an indeterminist setting. W Advances in Modal Logic, vol. 3, F. Wolter, H. Wansing, M. de Rijke, M. Zakharyaschev (red.), 37–58. Singapore: World Scientific Publishing.
Belnap Nuel, Mitchell Green. 1994. "Indeterminism and the thin red line". Philosophical Perspectives 8 : 365–388.
Belnap Nuel, Michael Perloff, Ming Xu. 2001. Facing the Future: Agents and Choices in Our Indeterministic World. Oxford University Press.
BonJour Laurence. 1998. In Defense of Pure Reason. Cambridge University Press.
Casullo Albert. 1977. "Kripke on the a priori and the necessary". Analysis 37 : 152–159.
Chakravati Sitansu S. 1979. "Kripke on contingent a priori truths". Notre Dame Journal of Formal Logic 20 (4) : 773–6.
Chalmers David J. 2005. The foundations of two-dimensional semantics. W Two-Dimensional Semantics: Foundations and Applications, M. García-Carpintero, J. Macià (red.). Oxford University Press.
Davies Martin, Lloyd Humberstone. 1980. "Two notions of necessity". Philosophical Studies 38 (1) : 1–31.
Donnellan Keith S. 1966. "Reference and definite descriptions". The Philosophical Review 75 : 12–27.
Donnellan Keith S. 1977. "The contingent a priori and rigid designators". Midwest Studies in Philosophy 2 : 12–27.
Kaplan David. 1989. Afterthoughts. W Themes from Kaplan, J. Almong, J. Perry, H. Wettstein (red.), 565–614. Oxford University Press.
Kaplan David. 1989. Demonstratives: An essay on the semantics, logic, metaphysics, and epistemology of demonstratives and other indexicals. W Themes from Kaplan, J. Almong, J. Perry, H. Wettstein (red.), 481–563. Oxford University Press.
Kotarbiński Tadeusz. 1913. "Zagadnienie istnienia przyszłości". Przegląd Filozoficzny 16 (1) : 74–92.
Kripke Saul. 1988. Nazywanie i konieczność. Tłum. Bohdan Chwedeńczuk. Warszawa: Instytut Wydawniczy Pax.
Łukasiewicz Jan. 1961. O determinizmie. W Z zagadnień logiki i filozofii, J. Słupecki (red.). Warszawa: PWN.
MacFarlane John. 2008. Truth in the garden of forking paths. W Relative Truth, M. García-Carpintero, M. Kölbel (red.), 81–102. Oxford University Press.
Malpass Alex, Jacek Wawer. 2012. "A future for the thin red line". Synthese 188 (1) : 117–142.
Øhrstrøm Peter, Per F. V. Hasle. 1995. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht: Kluwer.
Peirce Charles Sanders. 1958. The Collected Papers of Charles Sanders Peirce, vol. 1–8. Charles Hartshorne, Paul Weiss, Arthur W. Burks (red.). Harvard University Press.
Placek Tomasz, Nuel Belnap. 2012. "Indeterminism is a modal notion: Branching spacetimes and Earman’s pruning". Synthese 187 (2) : 441–469.
Ploug Thomas, Peter Øhrstrøm. 2012. "Branching time, indeterminism and tense logic". Synthese 188 (3) : 367–379.
Prior Arthur. 1967. Past, Present and Future. Oxford University Press.
Soames Scott. 2003. Philosophical analysis in the twentieth century, vol. 2. Princeton University Press.
Stalnaker Robert. 1978. Assertion. Syntax and Semantics 9 : 315–332.
Stalnaker Robert. 1999. Context and Content: Essays on Intentionality in Speech and Thought. Oxford University Press.
Thomason Richmond H. 1970. Indeterminist time and truth-value gaps. Theoria 36 : 264–281.
Thomason Richmond H. 1984. Combinations of tense and modality. W Handbook of Philosophical Logic, vol. 2, D. Gabbay, F. Guenthner (red.). Dordrecht: Reidel.
Turri John. 2011. "Contingent a priori knowledge". Philosophy and Phenomenological Research 83 (2) : 327–344.
Wawer Jacek. 2014. "The truth about the future". Erkenntnis 79 : 365–401.