On (Possibly) Being Unable To Avoid Speaking Falsely

I was thinking yesterday about Thomas Aquinas’ rather strict view on the duty to never lie, even, as he says, when we lie for the sake of a joke. He admits, of course, that lying in the cause of a joke (a jocose lie) is not a mortal sin, but he does insist that it is at least venially sinful.

Ergo mendacium iocosum et officiosum non sunt peccata mortalia.[1]

I thought to myself that Aquinas probably means jokes which only work if the audience accepts a falsehood asserted before the punchline. I am reminded here of a (probably apocryphal) anecdote about Dominican friars teasing Aquinas by saying “look, out the window – flying pigs!” in response to which he looked out the window, to their great amusement. He retorted to their laughter by saying that he would sooner believe that pigs could fly than that his Dominican brethren could lie. Clearly, in such a case, Aquinas would say that what these friars did was sinful (at least venially). However, I don’t think Aquinas would offer the same analysis of sarcastic jokes, where what one says is actually the opposite of what one affirms by saying it. In sarcasm, one expresses a truth P by expressing a token-sentence K which, under normal circumstances, affirms not-P, but which, when used sarcastically, is understood by everyone to affirm P. To utter K sarcastically is to affirm P, and everyone knows this. This got me thinking about a strange situation.

Suppose one is in a court of law and must answer any question with a simple affirmative or negative. Suppose, then, that for some question, the token statement which is an affirmative is true in one language game, and false in another language game, and the token statement which is the negation is true in one language game and false in another. Call these tokens Y and N, and let us suppose that half the audience is playing the first language game, and the other half is playing the other. If one answers Y, then half the audience will believe something true, while the other half of the audience will believe something false, because they are unconsciously playing two different language games. If one answers N, the same situation results. Suppose you are fully aware that Y will communicate a falsehood to some, and that N will communicate a falsehood to others. Suppose, further, it isn’t possible to elaborate on Y or N (you can tell any story you like here – maybe you speak a totally different language, and you have a designated translator in court who is committed to translating whatever you say into simply Y or N – or any other scenario you like, so long as you aren’t able to avoid affirming Y or N).

In such a strange case, would you have to lie? It seems like you would have to communicate something false (imagine, for simplicity, that your silence would be taken as an affirmation of Y, or N, or would be a sort of speech-act by omission which, in any case, would communicate a falsehood), which you knew to be false.

If such a situation arose, it wouldn’t be possible to avoid telling a lie (at least where the sufficient conditions of lying are speaking falsely with a knowledge that what you’re saying is false). Therefore, it wouldn’t be possible to do the right thing (except in terms of telling the lesser lie, whatever that is). Does this pose much of a problem for Aquinas’ view? I’m actually not sure. If we really can construct a situation in which there is no way to avoid sinning, that would plausibly provide us with a reductio ad absurdum and should cause us to carefully review what we think qualifies as a sin. However, it is still open to the especially devout Thomist to bite the bullet here, or to find some way of arguing that the situation I propose arises in no logically possible worlds. It might help our case if we could provide some kind of hypothetical example. Here’s one: consider the question “is God infinite?” Clearly, those speaking the language of Duns Scotus are going to take a rejection of this as a false statement, and they (playing their language game) would be right to do so. On the other hand, those speaking the language of modern mathematicians would recognize the affirmative to be a straightforward falsehood (for God is not infinite in any quantitative sense). There is no unqualified answer (in the form of an affirmation or denial) which does not communicate a falsehood which one knows to be false (presuming one is sufficiently well theologically informed).

[1] ST, II-II, Q. 110, Art. 3, ad. 3. http://www.logicmuseum.com/authors/aquinas/summa/Summa-IIb-101-113.htm#q110a1arg1

Arguing that the B-theory (or the A-theory) is a metaphysically necessary truth

I have profound sympathy for the intuition that, for either the A-theory of time, or the B-theory of time, if it is true, then it is necessarily true. It obviously follows, therefore, from either one’s metaphysical possibility, that it is a necessary truth. However, the force with which this intuition imposes itself notwithstanding, it turns out to be extremely difficult to prove this modal thesis, and there may, in fact, be a really good objection to it.

Does it really follow from the A-theory’s being true (supposing it is) that it is necessary, or from the B-theory’s being true (supposing it is) that it is necessary? Suppose our world is an A-theory world; could God really not have created a B-theory world?

Interestingly, while I was rereading a paper today from Joshua Rasmussen, my attention was drawn to one of his footnotes, in which he outlines a sort of modal-ontological argument from the possibility of presentism (typically considered to be a version of the A-theory – though, I note in passing, he was arguing in the paper that presentism is strictly compatible with the B-theory) to its necessity. His argument went roughly as one might imagine (note: he uses ‘Tenseless’ as an abbreviation for the thesis that he argues for in the paper, and which needn’t directly concern us here):

Here’s the argument: (i) suppose it’s possible that Tenseless and presentism are true; (ii) then it’s possible that presentism is true; (iii) necessarily, if presentism is true, then presentism is necessarily true; therefore, (iv) if it’s possible that presentism is true, then it’s possible that presentism is necessarily true; (v) if it’s possible that presentism is necessarily true, then presentism is true (by S5); therefore, (vi) presentism is true.[1]

This caused me to review one of my (many, many) old blog post drafts, in which I tried to argue that if the A-theory is true, then it is a necessary truth, and if the B-theory is true, then it is a necessary truth. Here’s (roughly) what that looked like:

I have been asked, in the past, why I maintain that if the B-theory is true in any possible world, then it is true in all logically possible worlds (from which it follows that it’s true in the actual world), and that the same can be said for the A-theory. Upon reflection, I suppose I was reasoning in something like the following way:

  1. God exists in every possible world (assumption).
  2. If God exists in every possible world then his necessary essence is exemplified in every possible world.
  3. God either is by his necessary essence, or is necessarily not, simple and/or immutable in the classical senses.
  4. The B-theory is true if and only if God is essentially simple and/or immutable.
  5. Either the B-theory is true, or the A-theory is true (and not both).
  6. If the B-theory is true in one logically possible world, it is true in all logically possible worlds.
  7. Therefore, if the A-theory is true in one logically possible world, it is true in all logically possible worlds.

The weakest point of the argument, now that I lay it out and think about it, seems to be premise 4, for although it seems right to say that if God is simple and immutable then the B-theory must be true, it seems wrong to say that if the B-theory is true then God must necessarily be simple and/or immutable. Why think that if God weren’t simple and/or immutable then He couldn’t create a B-theory world? I then tried to construct a more elaborate argument for the conclusion that if the B-theory is true, then it is necessarily true, and if the A-theory is true, then it is necessarily true. It went something like:

  1. God’s existence is possible (assumption).
  2. God is a metaphysically necessary being. (by definition)
  3. For any metaphysically necessary being, if it exists in a single logically possible world it exists in all logically possible worlds.
  4. God exists in every possible world (assumption).
  5. If God exists in every possible world then his necessary essence is exemplified in every possible world.
  6. There is a logically possible world in which God’s essence includes being metaphysically simple and immutable. (Assumption)
  7. Therefore, in all logically possible worlds God is metaphysically simple and immutable.
  8. If God is metaphysically simple and immutable, then necessarily: if there is a contingent world, then the B-theory is true.
  9. There is a contingent world.
  10. Therefore, the B-theory is true.

This argument isn’t very good. For one thing, it highlights a really big problem for the idea that the A-theory of time and the B-theory of time are mutually exclusive and logically exhaustive disjuncts. Indeed, if there is no contingent world, there are surely no A-properties, but there are also no B-properties (it is hard to imagine a B-theory on which only ‘atemporal simultaneity’ is preserved – that is so depreciated that it isn’t clear whether it would even qualify as a version of the B-theory). It looks like this problem for Rasmussen’s argument as well (why accept his (iii)?).

I also had some rough notes on a third argument, which went something like this:

  1. God’s existence is metaphysically possible. (assumption).
  2. God is a metaphysically necessary being (and his essence, whatever it is, is metaphysically necessary).
  3. God either is essentially, or essentially is not, simple and immutable in the classical senses.
  4. There is a contingent world. (assumption)
  5. If there is a contingent world, then the A-theory is true, or the B-theory is true (and not both).
  6. The A-theory is true if and only if God stands in real relations to the world which are grounded in himself.
  7. If God stands in real relations to the world grounded in himself, then God is not simple and immutable.
  8. If God possibly stands in real relations to the world which are grounded in himself, then God necessarily stands in real relations to the world which are grounded in himself.
  9. If God necessarily stands in real relations to the world which are grounded in himself then the A-theory is necessarily true.
  10. Therefore, if the A-theory is possibly true, the A-theory is necessarily true.
  11. If the A-theory is not possibly true, then the B-theory is necessarily true.

The reader will have to forgive me for being a little loose as well as slightly enthymematic. I’m not sure this is a good argument. The intuition is supposed to be that God can only be simple and immutable in a B-theory world, that he cannot be simple and immutable in an A-theory world, and that whichever way God is in any possible world (at least with respect to being simple and immutable), that is the way He is in all possible worlds.

Perhaps one will disagree with me that God exists in all logically possible worlds (which is just to say that God does not exist, since, obviously, if a metaphysically necessary being exists in a single possible world it exists in all possible worlds). They will argue that it may seem necessary given theism that whichever theory of time is true of the actual world is true of all logically possible worlds, but that they either reject, or in any case do not accept, theism. It might seem as though we are at a standstill with such a person.

There is, nevertheless, another way to argue that the A-theory is necessarily false (and the B-theory, therefore, necessarily true). Suppose we accept the claims that the (weak-)PSR and the A-theory of time are logically incompatible with each other.[2] Now, take the weak-PSR which says that for any possibly true contingent fact P, P possibly has an explanation. Obviously, if the weak-PSR is true it is a necessary truth. This entails that there is a logically possible world in which P, and the explanation of P, both obtain. Suppose that P is “it is now this particular time.” On the A-theory, this contingent fact does not have an explanation. That means (supposing all we have said so far) that at least one logically possible world is a B-theory world. It follows that there is no logically possible world in which the A-theory is true. However, this reasoning is not likely to be any more compelling than the theistic reasoning explored above.

Can I do any better? Probably not today. (I suppose I could have deployed my argument for thinking that the A-theory is not logically possible because there is no logically possible world in which time flows – an argument I developed a bit in my undergraduate thesis and which, I am beginning to think, may make an appearance in my Master’s thesis – but I’d rather leave it out of this post for the sake of convenience).

[1] Joshua Rasmussen, “Presentists may say goodbye to A-properties,” Analysis 72, no. 2 (2012): 270-276.

[2] For more on this, see http://alexanderpruss.blogspot.co.uk/2013/01/can-theorists-accept-principle-of.html

Some Problems With Degreed Existence

It was typical for the Medievals to speak of existence as a degreed concept (i.e., as the kind of thing which comes in greater or lesser degrees). Modern philosophers generally balk at this suggestion, insisting instead that a thing either exists, or does not exist, but that it makes no sense to speak in terms of degrees of existence. It is, of course, possible to adopt that bivalent view with respect to the truth conditions for statements like “x exists”, but also indulge a way of speaking which uses ‘exists’ as a dyadic relation (e.g., “x exists more(/less) than y”). There are several ways in which one can try to make sense of this kind of talk, but I have often thought that the most appealing way was in terms of possible worlds. Suppose we say:

x exists more than y iff x populates more possible worlds than y.

This has seemed, to me, to be satisfying for a number of reasons. Obviously, it allows for the medieval convention, and it also obviously places God at the top of the hierarchy of being (and this without, as of yet, even broaching the topic of one’s theory of existence), which is what the Medievals (and I) ultimately want. At the same time, the modern philosopher is going to be hard-pressed to reject the analytic convention of speaking in terms of possible worlds, and it seems sensible to give ‘existence’ a stipulative qualified definition, for particular purposes, running along these lines. In addition, this modal definition of existence (as a degreed concept) plausibly subsumes several other candidate rationales for this kind of talk, including that ‘degreed existence’ measures immutability, contingency, et cetera.

However, perhaps there are some problems with this which I had previously glossed over. I don’t think much of the objection that existence isn’t a predicate, for a few reasons. First, the way in which the Medievals are using the term, here, is clearly predicatory, and idiosyncratic enough that they can help themselves to a specially stipulated (probably onto-theological) definition. Second, existence isn’t usually considered a first-order predicate, but there isn’t much of a problem considering it a second-order predicate. Third, there are systems on which existence really is a first-order predicate, such as Krypke’s quantified modal logic. These and other reasons incline me to dismiss such a facile (Kantian) objection. Nevertheless, there are some real problems here worth thinking about.

For one thing, the cardinal value of possible worlds with any y, so long as y exists in at least two possible worlds, seems to be ℵ0.[1] It isn’t clear how one thing could exist in more possible worlds than that (I find it hard to imagine the argument for thinking that x exists in ℵn where n>0).

– Actually, here is an argument for this: Platonism is true (assumption), and not only natural numbers, but all the reals, are abstract objects. Therefore, there is an non-denumerable infinity of actual things, that infinity’s cardinal value being ℵ1. Further, we can argue that mathematical functions are abstract objects, and since the set of all real functions in the interval 0 < X < 1 is the non-denumerable ℵ2,[2] so too will be the number of actual things (given Platonism). In any case, I digress. –

Perhaps if x existed in all worlds where y existed, and also existed in worlds where y did not exist, we could justify retaining this convention (though we would have to give up Cantor’s notion of equivalence in terms of correspondence or, more precisely, bijection), but then there wouldn’t be a (very?) smooth gradation of being. Dream objects, for instance, would not be less real, or have less existence, than the material objects of the external world (consider that mental states are multi-realizable, so that for any mental state, a whole cacophony of physical states suffices to bring it about, even if, given some particular physical state, the mental state must come about – I assume this, here, just for the sake of argument). I had previously hoped that this problem was roughly analogous to the problem with measuring the ‘closeness’ of possible worlds to each other (when we talk about changing only a little bit of a world’s description, technically we are always talking about changing at least ℵ0 propositions).[3] If the problems were analogous, then their solutions were likely to be analogous, and I was (and remain) supremely confident that there must be a solution to the latter. However, we can apparently solve the latter problem by talking about first-order propositions directly about states of affairs in that world (at least plausibly, there are finitely many of these). That solution doesn’t translate well, as far as I can tell, into a solution for the first problem, so that the problems don’t seem analogous enough to have analogous solutions.

Another problem is that seemingly insignificant beings like atoms are going to be more real (in the sense of having higher/greater existence) than plants, and so human beings have less existence than mosquitoes. The Medievals would not have been thrilled. For them, plausibly, a thing exists to the extent that it succeeds in resembling God.

There is a possible reductio here as well; if some things have more existence than others by the modal measure suggested, then we might wonder whether we can license speech about some things having more unreality than others? Suppose we accept talk of impossible worlds, and suppose we then accept talk of really-impossible worlds. To get an idea what this would look like, refer to Pruss here. Well, then it looks like some things don’t merely not-exist, but some really don’t exist, and they don’t exist even more than other non-existent things.

Not all of these problems are equally troubling, but they are worth taking inventory of regardless. I think the attempted reductio ad absurdum at the end is pretty weak. We can just deny that there are really impossible worlds, or even deny that there really are impossible worlds. In any case, we can just exclude such considerations by fiat, since stipulative definitions can be constrained however we see fit, so we can just constrain the stipulative definition of ‘[degreed] existence’ so as to ignore such puzzles. Still, not all of these are so easy to dismiss. I won’t flesh this out here, but these considerations lead me to suspect that the best way to give an account of ‘degreed existence’ (in the sense the Medievals want to indulge talk about) may be with reference to a well worked out theory of existence after all.

[1] Is this true? Maybe not – maybe there is some y such that y exists only in two (or, in any case, in some finite number of) possible worlds. I have trouble imagining what this would be, but, in any case, for nearly any conceivable y, it will turn out to be true that there are ℵ0 possible worlds containing it.

[2] William Lane Craig, The Kalam Cosmological Argument, (Oregon, Wipf and Stock publishers, 1979), 80.

[3] Technically, we are changing even more propositions than this. It is widely agreed now that there is no set of all true propositions. Taking the power-set 𝔓(W) of all propositions true at possible world W, you can generate infinitely more propositions, and this actually changes the cardinality of the number of true propositions from ℵ0 to ℵ1, the latter of which is a non-denumerable infinity. The process can be repeated indefinitely, leaving us with an indefinitely large set, and there is no way to deal with indefinitely large sets in set theory.