Skip to main content Accessibility help
Hostname: page-component-78dcdb465f-vzs5b Total loading time: 0.396 Render date: 2021-04-19T13:33:47.423Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": false, "newCiteModal": false, "newCitedByModal": true }

Necessary Existents

Published online by Cambridge University Press:  12 April 2010


It seems obvious that I could have failed to exist. My parents could easily never have met, in which case I should never have been conceived and born. The like applies to everyone. More generally, it seems plausible that whatever exists in space and time could have failed to exist. Events could have taken an utterly different course. Our existence, like most other aspects of our lives, appears frighteningly contingent. It is therefore surprising that there is a proof of my necessary existence, a proof that generalizes to everything what-soever. I will explain the proof and discuss what to make of it. A first reaction is that a ‘proof’ of such an outrageous conclusion must contain some dreadful fallacy. Yet the proof does not collapse under scrutiny. Further reflection suggests that, suitably interpreted, it may be sound. So interpreted, the conclusion is not outrageous, although it may not be the view you first thought of.

Copyright © The Royal Institute of Philosophy and the contributors 2002

Access options

Get access to the full version of this content by using one of the access options below.


1 The argument reworks for another purpose material from Prior, A. N., Past, Present and Future (Oxford: Clarendon Press, 1967), 149151CrossRefGoogle Scholar. See also Fine's, Kit ‘Postscript’ to Prior, A. N. and Fine, K., Worlds, Times and Selves (London: Duckworth, 1977), 149150Google Scholar, and his ‘Plantinga on the Reduction of Possibilist Discourse’, Alvin Plantinga, Tomberlin, J. E. and van Inwagen, P. (eds) (Dordrecht: D. Reidel, 1985), 160180CrossRefGoogle Scholar, and Plantinga, A., ‘On Existentialism’, Philosophical Studies 44 (1983), 910CrossRefGoogle Scholar, and ‘Reply to Kit Fine’, Alvin Plantinga, op. cit., 341–349. My interest in the argument was aroused by the work of my pupil, David Efird.

2 In his defence of the unnecessitated principle, Paul Horwich suggests that the necessitated version might be derivable from the assumption that the unnecessitated version is explanatorily fundamental: Tritj, 2nd ed., (Oxford: Clarendon Press, 1998), 21Google Scholar.

3 Fine makes a similar distinction between outer and inner truth, ‘Plantinga on the Reduction of Possibilist Discourse’, op. cit., 163.

4 Lewis, D. K., On the Plurality of Worlds (Oxford: Blackwell, 1986)Google Scholar.

5 Kaplan, D., ‘Demonstratives: An Essay on the Semantic, Logic, Metaphysics, and Epistemology of Demonstratives and Other Indexicals’, Themes from Kaplan, J., Almong, J., Perry and H., Wettstein (eds) (Oxford: Oxford University Press, 1989)Google Scholar.

6 Even the description ‘the producer of this utterance’ conttains the demonstrative ‘the utterance’, which is not purely descriptive, but ‘I’ does not refer to the utterance.

7 For a defence of unrestricted quantification see myExistence and Contingency’, Aristotelian Society 100 (2000), 117139CrossRefGoogle Scholar.

8 The underlying assumption is that since I am concrete, it is necessarily possible that I am concrete (so even if I had not been concrete it would still have been the case that I could have been concrete). This is an instance of the so-called Brouwerian principle p⊃ □ ◊p in modal logic, which is plausible when □ and ◊ stand respectively for metaphysical necessity and metaphysical possibility. The principle corresponds to the symmetry of the accessibility relation in possible worlds semantics. It is a theorem of the attractively simple modal system S5, a good candidate for the logic of those notions, but also of much weaker systems without the S4 principle □ P ⊃ □□ P, which corresponds to the transitivity of accessibility.

9 If the objects of perception are not all physical then the objection willl need to be stated with more care, but that is the objector's problem.

10 On the necessity of identity and distinctness see my ‘The Necessity and Determinacy of Distinctness’, Essays for David Wiggins: Identity Truth and Value, Lovibond, S. and Williams, S. (eds) (Oxford: Blackwell, 1996)Google Scholar.

11 The reasoning again depends on the Brouwerian principle.

12 The view defended in this paper is put forward in my ‘Necessary Identity and Necessary Existence’, Wittgenstein—Towards a Re-evaluation: Proceedings of the 14th International Wittgenstein-Symposium, vol. 1, Haller, R. and Brandl, J. (eds) (Vienna: Holder-Pichler-Tempsky, 1990)CrossRefGoogle Scholar, and elaborated and given further support in my Bare Possibilia’, Erkenntnis 48 (1998), 257273CrossRefGoogle Scholar, and The Necessary Framework of Objects’, Topoi 19 (2000), 201208CrossRefGoogle Scholar. For a somewhat similar view see Linsky, B. and Zalta, E., ‘In Defense of the Simplest Quantified Modal Logic’, Philosophical Perspectives 8: Logic and Language, Tomberlin, J. (ed.) (Atascadero: Ridgeview, 1994)Google Scholar and ‘In Defense of the Contingently Nonconcrete’, Philosophical Studies 84 (1996): 283294CrossRefGoogle Scholar.

13 If the rejection of propositions nevertheless permitted some way of simulating them, the argument for necessary existence might still be simulated by a sound argument to the same conclusion. For example, quantification over propositions might be simulated by nonsubstitutional quantification into sentence position; for the latter see my Truthmakers and the converse Barcan formula’, Dialectica 53 (1999), 253270Google Scholar.

14 Thanks to audiences in Oxford and at the Royal Institute of Philosophy for comments on earlier versions of this paper.

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 342 *
View data table for this chart

* Views captured on Cambridge Core between September 2016 - 19th April 2021. This data will be updated every 24 hours.

Send article to Kindle

To send this article to your Kindle, first ensure is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the or variations. ‘’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Necessary Existents
Available formats

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

Necessary Existents
Available formats

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

Necessary Existents
Available formats

Reply to: Submit a response

Your details

Conflicting interests

Do you have any conflicting interests? *