Re: Possibility of the Empty World

Paul Holbach wrote:

Let's consider a world where there exist only contingent things: the
contingents.
Some claim that there is no possible world where the contingents are
co-nonexistent, i.e. where all of them don't exist.
If that is true, then each one of the contingents has to exist in some
possible world - not in all but in some.
It has to exist in that world where it is the only contingent thing.
But if each one of the contingents has to exist somewhere, it is not
necessarily possible for it not exist, since there is then some world
where <it is possible for c not to exist> is not true.
The problem arising here is that contingents are possibly nonexistent
by definition; and what is possibly nonexistent is necessarily possibly
nonexistent.
So the view that there is no possible world where the contingents are
co-nonexistent implies that every contingent is both necessarily
possibly nonexistent and not necessarily possibly nonexistent, which is
a contradiction. Therefore, it is not the case that there is no
possible world where all the contingents are co-nonexistent, i.e. there
is a world where all the contingents are co-nonexistent. In other
words, a world where nothing contingent exists is possible - and
necessarily so.

I hope my argument is comprehensible.

#PH

and so the theorem of first ordere logic:

Exist an x such that "x=x",

is not valid from the Holbach point of view.

Therefore is possible the empty universe and intuitions of this kind can be
captured by, perhaphs, a modal free logic. And I want to ask you: what kind
of modal and free logic are you using?

--
Roberto Vescarelli
http://www.faberbox.com/roby/
.

Relevant Pages

  • Re: Possibility of the Empty World
    ... Some claim that there is no possible world where the contingents are ... co-nonexistent, i.e. where all of them don't exist. ... The problem arising here is that contingents are possibly nonexistent ... contingents are impossibly co-nonexistent") must be rejected. ...
    (sci.logic)
  • Re: Possibility of the Empty World
    ... On Wed, 22 Nov 2006, Paul Holbach wrote: ... contingents. ... let's consider your example of an empty head. ... co-nonexistent, i.e. where all of them don't exist. ...
    (sci.logic)
  • Possibility of the Empty World
    ... Some claim that there is no possible world where the contingents are ... co-nonexistent, i.e. where all of them don't exist. ... The problem arising here is that contingents are possibly nonexistent ... a contradiction. ...
    (sci.logic)