“Only X is true” is logically false

I was thinking about Patrick Grim’s Cantorian argument just now, and I was trying to think of a really easy way to explain to somebody who isn’t at all familiar with set theory why the argument does establish that there is no such thing as the set of all truths (since such a set is not only infinite but indefinite, because we can take the power set of any set, ergo etc.). Whether cogently related or not, I came to the following thought:

Suppose that in some world W there is only one true proposition X. All other propositions which may have been true of that world are not true. At W, then, only X is true. However, this is obviously logically false. If X is true, then there is at least one other truth, namely proposition P: “X is true”. Moreover, if P is true (which follows from X‘s being true) then there is another truth, namely P1: “P is true”. Eventually one will be able to multiply the set of all truths indefinitely (Pn: “Pn-1 is true”). This seems to entail that there is no logically possible world at which only one proposition is true. In fact, it entails that there is no logically possible world at which any set (finite or infinite) of propositions are true. I’m not sure if this extrapolation from X to Pn: “Pn-1 is true” is perfectly analogous to what is going on when one takes the power set of some set which was supposed to be the set of all truths, but it seems (at least to me) like something very similar is going on.

Advertisements

About tylerjourneaux

I am an aspiring Catholic theologian and philosopher, and I have a keen interest in apologetics. I am creating this blog both in order to practice and improve my writing and memory retention as I publish my thoughts, and in order to give evidence of my ability to understand and communicate thoughts on topics pertinent to Theology, Philosophy, philosophical theology, Catholic (Christian) Apologetics, philosophy of religion and textual criticism.
This entry was posted in Modality, Philosophy and tagged . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s