On an unsound proof of the existence of possible worlds. Academic Article uri icon


  • In this paper, an argument of Alvin Plantingas for the existence of abstract possible worlds is shown to be unsound. The argument is based on a principle Plantinga calls Quasicompactness, due to its structural similarity to the notion of compactness in first-order logic. The principle is shown to be false. 1989 by the University of Notre Dame. All rights reserved.

published proceedings

  • Notre Dame Journal of Formal Logic

author list (cited authors)

  • Menzel, C.

citation count

  • 5

complete list of authors

  • Menzel, Christopher

publication date

  • September 1989