Monday, July 30, 2018

Setting a very low security expiry date on a pdf

Sometimes one wants someone (even oneself) to have a PDF that becomes unviewable past a certain date, but the expiry isn't meant to be secure--perhaps one is sharing a manuscript between friends but one doesn't want one's friend to access an out of date version.

Here's a simple way that works with Adobe's Acrobat Reader and maybe some other readers (but not all others--e.g., Sumatra ignores the expiry entirely), based on combining two ideas I found online. It only works on PDFs that haven't already been compressed or encrypted. Load the PDF into a text editor. Find the code /Type /Catalog. Insert this bit of code right after that code, changing the date to match your needs:
/Type /Catalog
/Names <<
    /JavaScript <<
      /Names [
        (EmbeddedJS)
        <<
          /S /JavaScript
          /JS (
var rightNow = new Date();
var endDate = new Date(2018, 7, 10); // expiry date: year, month (0=Jan, 11=Dec), day
if(rightNow.getTime() > endDate)
{
app.alert("This document has expired.");
this.closeDoc();
}
          )
        >>
      ]
    >>
  >>
Then load it into Acrobat Reader. Acrobat Reader should display it, but when you exit it will ask to save the file. Agree, as this will hide the above code and make it no longer easy to edit.

Friday, July 27, 2018

Asymmetric temporal attitudes and time travel

Philosophers sometimes use thought experiments concerning the asymmetry of attitudes towards future and past events as arguments for a metaphysical asymmetry between past and future. For instance, the fact that I would prefer a much larger pain in my past to a smaller pain in the future is puzzling if the past and future are metaphysically on par.

Here’s a thesis I want to offer and briefly defend:

  • It is not rationally consistent to give use thought experiments in this way and to accept the possibility of backwards time travel.

The reason is quite simple: if backwards time travel is possible, our asymmetric attitudes track personal time, not objective time. If I am going to travel 100 million years back in six minutes, I will prefer a smaller pain in five minutes to a much larger pain 100 million years ago, since both of these pains will be in my personal future and only a minute of personal time apart. But the metaphysical asymmetry between past and future tracks external time, not personal time.

Tuesday, July 24, 2018

Pain and a hybrid privation theory of evil

According to Augustine’s privation theory of evil, evil has no positive reality, but is always a lack of something. It seems that theists are committed to the privation theory of evil. For if evil has a positive reality, then obviously that positive reality is other than God. But according to theism, every positive reality other than God is created by God. But God does not create evil. So theism is incompatible with the idea that evil is a positive reality.

However, that argument doesn’t seem to be quite right, as it assumes that the only two options for evil are that

  1. Evil is a positive reality,

and

  1. evil is a lack.

But in fact it is more plausible to think that

  1. an evil is grounded in both a lack and a positive reality.

Consider Alice’s cowardice when she discovers that her employer is producing defective medication and nonetheless does not report this to the FDA. Alice’s cowardice is only partly grounded in by a lack of courage. It is also partly grounded in Alice’s humanity. After all, Alice’s pencil also lacks courage, but does not therefore count as a coward.

This observation is closely related to the fact that a careful definition of the privation theory of evil will specify that evil isn’t just a lack, but a lack of a due good, of a good that ought to be present. And courage should be present in a human but not in a pencil, so that evil is not constituted merely by a lack but by a lack plus whatever—say, humanity—that grounds the dueness of what is lacking. So perhaps the hybrid theory (3) just is a charitable way of understanding the classic Augustianian theory.

Note, too, that (3) can be reconciled with theism just as (2) can. For we need not say that God creates such things as holes that are constituted by combinations of positive and negative realities. We can say that God makes the positive realities, and the holes, shadows and evils are just a logical consequence of what he has made and what he has not made.

Now, one of the main objections to the privation theory of evil is pain, which sure doesn’t seem to be a lack, or even a lack of something due, but rather seems to be a positive reality. But the hybrid privation theory (3) can be reconciled with the phenomenon of pain.

Here’s how. We don’t know what constitutes pain. Start by imagining that a computer could feel pain (something that seems plausible given materialism). We don’t know what kind of program and data would constitute pain, but it might well be encoded as a sequence of zeroes and ones, or lacks and presences of electrical potential. Well, then, that fits perfectly with (3): the pain is constituted by a combination of negative reality—the zeroes—and positive reality—the ones. If we were to fill in all the negative realities, the pain would disappear, as we would have just a sequence of ones, which, we may suppose, wouldn’t be sufficient to constitute pain.

Similarly, if materialism is true, we don’t know what brain states constitute a pain. It is plausible that the brain states that constitute pains are grounded in both positive and negative neural realities. After all, that’s generally how the material representational states we know of work. As I type this sentence, its inscription on the screen is constituted by a combination of absences and presences of light— the black and white pixels. (Things are more complicated with colored text, but the absence of light of particular wavelength is always going to be crucial.) When I say something, the periodic combination of pressure and lack of pressure (i.e., lower pressure) encodes the sound. So, given materialism, it is plausible that pain is grounded in a hybrid of positive and negative states (and that so is pleasure, for that matter).

Now, if materialism is false, there are multiple options. One option is that pains are simple existences, qualia. If so, that’s incompatible with the hybrid privation theory. But we do not know that that theory of pain is true, even if we know dualism to be true. Just as on materialism, pain is constituted by more fundamental states, so too on dualism, pain could be constituted by more fundamental (but immaterial) states. For all we know it is so, and for all we know the more fundamental states are partly negative in nature.

So, whether materialism or dualism is true, for all we know, pain is consistent with the hybrid privation theory. (I should add that I am not actually confident that pain is an evil in itself.)

Kant's 20 thalers objection to the Ontological Argument

I’ve been thinking of this way of putting one of Kant’s “20 thalers” objection to Anselm’s ontological argument:

1, When we say “x is greater than y”, what we mean is that what x would be like if it existed is greater than what y would be like if it existed.

Now, Anselm claims that a perfect being that exists in thought and reality is greater than a perfect being that exists only in thought. But this does not seem true. For what we need to compare is what (a) the perfect being that exists in thought and reality would be like if it existed to what (b) the perfect being that exists only in thought would be like if it existed. But the answer here is that the two perfect beings would be exactly the same under the hypothetical condition that they both existed in reality.

(A query: Wouldn’t the being in (b) be a self-contradictory being if it existed in reality, since it would be a being that exists only in thought and yet that exists in reality? This depends on how the counterfactual is resolved.)

Note that this objection does not apply to the necessary being versions of the argument (like, perhaps, Anselm’s “cannot be conceived not to exist” version). For a perfect being who is a necessary being would be greater, if it existed, than a perfect being who isn’t a necessary being, if that one existed.

Monday, July 23, 2018

Third party vengeance

You cannot forgive someone who hasn’t wronged you, and it should follow that likewise you cannot take vengeance on someone who hasn’t wronged you.

But certainly there are actions that look very much like vengeance but that aren’t perpetrated by the victim. The treatment that pedophiles are said to receive in prison is a particularly awful example, but there are also various forms of mob justice on the Internet.

This kind of third party “vengeance” seems worse than ordinary vengeance. Ordinary vengeance is a failure to fulfill the Christian duty of forgiveness, sometimes a violation of procedural justice and sometimes a violation of retributive justice by being disproportionate to the offense. Third party vengeance, however, adds to the wrong-making features of ordinary vengeance one more ingredient: that one lacks the standing for vengeance.

At the same time, third party vengeance looks more like justice than ordinary vengeance due to the unselfish disinterestedness. Moreover, because there is no place for a non-aggrieved party to forgive, third party vengeance is not opposed to forgiveness in the way that ordinary vengeance is. These features only make third party vengeance look better, but in fact make it be worse. The reason for the disinterestedness is that one does not even have any standing for vengeance while the reason for the lack of opposition to forgiveness is that the paradigmatic attitudes that forgiveness forgoes shouldn’t be there in the first place.

It seems to me that just as forgiveness is opposed to ordinary vengeance, there needs to be something opposed to third party vengeance. But this something will be different from forgiveness. While true forgiveness is probably only a duty in the context of Christianity and is otherwise a supererogatory renunciation of certain (hard to specify) attitudes, “third party forgiveness” is something that is demanded by the fact that one lacks the standing for these attitudes. This “third party forgiveness” is akin to one’s duty to “forgive” those who one realizes not to be guilty (whether through lack of culpability or through simply not having done the deed). Thus, failure of third party forgiveness is more serious—even though it may feel more righteous!—than failure of ordinary forgiveness.

A complicating factor, however, is that there is a grain of truth in mob justice: No man is an island. A harm to one member of society is a harm to each. Nonetheless, typical cases of mob justice involve insufficient standing given the degree of harm. Yes, a pedophile by gravely harming a stranger derivatively harms me. But while the grave harm to the child deserves grave penalties, the derivative harm to a stranger is much less, and calls for very little in the way of penalty. (Quick but perhaps not very good argument: We don’t want to say that criminals in Tokyo deserve much, much greater punishments than those in Lichtenstein to account for the Tokyo community having over 200 times more derivative third party victims.)

Saturday, July 21, 2018

Trivial universalizations

Students sometimes find trivial universalizations, like "All unicorns have three horns", confusing. I just overheard my teenage daughter explain this in a really elegant way: She said she has zero Australian friends and zero Australian friends came to her birthday party, so all her Australian friends came to her birthday party.

The principle that if there are n Fs, and n of the Fs are Gs, then all the Fs are Gs is highly intuitive. However, the principle does need to be qualified, which may confuse students: it only works for finite values of n. Still, it seems preferable to except only the infinite case rather than both zero and infinity.

Thursday, July 19, 2018

Wilde Lectures

I've been invited to give the Wilde Lectures in Natural and Comparative Religion at Oxford. It will be in the spring of 2018 or 2019, but I haven't decided which. I am tentatively thinking of speaking on underdiscussed--or undiscussed--arguments for the existence of God.

In search of In Search of the Castaways

My son has been reading Verne’s In Search of the Castaways (Captain Grant’s Children, Les Enfants du Capitaine Grant) on his Kindle, one of the favorite books from my childhood (I read it in Polish translation). He was resting at the gym and forgot his Kindle, so I loaded up a version from Project Gutenberg, and to his puzzlement he found it had material that the version he had on his Kindle—also from Gutenberg—was missing. So he had me investigate which version was more faithful to the French. Turns out both versions were abridged, but differently so.

According to Wikipedia, in 1876, Routledge produced what sounded like a three volume unabridged version, but it seems difficult to find a copy of it, unless one is willing to pay $50 per volume.

Finally, our library catalog turned up pdfs of volumes 2 and 3 on Hathitrust. (Annoyingly, to download volume 2, I had to login as part of a member institution, even though the catalog explicitly marks it as public domain.) After getting volumes 2 and 3 on Hathitrust, I had some more ideas what to look for in Google Books and found volumes 1 and 2 there.

For any other Verne fans, here are the links to the three volumes of the Routledge edition, all in one place:

I don't know for sure that these are unabridged, but the beginning of my son's test chapter (XVII of Volume 1) seems to have material from both of the abridged versions (one published by Lippincott in 1874 and one edited by Horne n.d.). Sadly, the three Routledge volumes do not say who the translator is, so I can't give credit to someone who deserves it (textually, it looks like the 1876 Routledge edition was the basis for the Horne abridged version).

Monday, July 16, 2018

Aristotelianism, classical theism and presentism

A fundamental commitment of Aristotelianism seems to be that all reality supervenes on substances and accidents. If according to worlds w1 and w2 there are the same substances and accidents, then w1 = w2.

But this seems incompatible with presentism. For given indeterminism, there is a world just like the actual one but which tomorrow will diverge from ours. The fact that tomorrow the other world will diverge from ours, however, does not make any difference as to what substances and accidents presently exist, and hence, given presentism, to what substances and accidents exist simpliciter.

It is usual for presentists to posit tensed properties like being such that yesterday you mowed the lawn or being such that tomorrow you will mow the lawn. But the future-tensed property, at least, is not a good candidate for being an Aristotelian accident. Aristotelian accidents are real qualities of things. So that won’t help the Aristotelian presentist.

Here’s another way to put the problem. According to Aristotelianism, facts cannot change without a change in the substance and accidents. But this is not compatible with presentism. Now imagine that there is only one substance, a radioactive atom that will decay in a week. Suppose this substance undergoes no other changes besides that decay. Then today it is a fact that the atom will decay in seven days. Tomorrow this will no longer be a fact—instead, it will be a fact that the atom will decay in six days. Thus, the facts will change between today and tomorrow. But no substances or accidents will come in or out of existence between today and tomorrow, as we supposed that the decay—which is a week away—is the only change that will happen.

There is a simple solution for the Aristotelian, and it is one that Aristotle himself opted for: accept open futurism, i.e., a temporal logic on which there are no facts of the matter about undetermined future events. Assuming this is the only option, the above arguments show that:

  1. (Presentism + Aristotelianism) implies open future.

However, given the doctrinal understanding of omniscience in classical theism:

  1. Classical theism implies the denial of open future.

We can get a variety of implications from 1 and 2. The one that I like the antecedent of is:

  1. (Classical theism + Aristotelianism) implies the denial of presentism.

Thursday, July 12, 2018

Faith and fear

Every so often I worry that my fear of death (which, I have to confess, is more a fear of non-existence than a fear of hell) shows that I lack faith in the afterlife. I think this is a mistaken worry.

I regularly climb our 53-foot climbing wall. One can “rainbow” climb, using whatever holds one sees fit, or one can follow a route, with a broad range of route difficulties. On the easiest routes, at least if I am not tired and am wearing climbing shoes, I know I will succeed. On the hardest routes, I know I would fail. Of course I always use proper safety equipment (rope belay, and there are also mats around the base), and usually I am not scared, because on the basis of good empirical data I trust the safety setup.

Now imagine that all the safety equipment was gone, but that to save someone’s life I needed to climb to the top. Once at the top, I’d be safe, let’s suppose (maybe there would be an auto-belay there that I could clip into for the descent). I could choose the side of the wall and the holds. Without safety equipment, I would be terrified. (The mere thought experiment literally makes my hands sweat.) But you could would be quite correct in telling me: “Alex, you know you will succeed.”

Here’s the simple point. When much is at stake, knowledge of success is compatible with great fear. But if knowledge is compatible with great fear, why shouldn’t faith be as well?

Presentism and the mereology of events

According to presentism, non-present events do not exist. Now consider a particular season S of fencing consisting of a dozen fencing meets M1, M2, ..., M12 as well as practices and recovery days on other days. Suppose meet Mi occurs on day Di, and imagine that D1 is today. Then both M1 and S exist, and M1 is a part of S. But according to presentism, the only parts of S that exist are M1 and its parts. But the mereological axiom of weak supplementation says that:

  1. If y is a proper part of x, then x has a proper part that does not overlap y.

Letting x = S and y = M1, we get a violation of weak supplementation.

Thus:

  1. If weak supplementation is true, presentism is false.

Now, I happen to think that weak supplementation is in general false, so I can’t use this argument as it stands. Still, it seems plausible to me that even if it is false in general, weak supplementation is true for the temporal parts of events (where, roughly, a temporal part is a part that can be delimited solely by temporal boundaries), and that’s all we need for the above argument.

Moreover, here is a very plausible weaker version of weak supplementation for events:

  1. If event y is a proper part of event x and x has a temporal duration longer than event y, then x has a proper part that does not overlap y.

But in my case above, the fencing season has a temporal duration longer than the first match, so the fencing season needs to have a proper part that does not overlap the first match, which is false on D1 given presentism. So, (3) requires the rejection of presentism.

Basically, all the problems come from the fact that the presentist has to deny:

  1. There is an event that has two non-overlapping temporal parts.

One might object that a presentist will have a version of mereological axioms where the existential quantifier is replaced by “there existed, exists or will exist”. Thus, the weak supplementation axiom might say:

  1. If y is a proper part of x, then x had, has or will have a proper part that did not, does not or will not (respectively) overlap y.

I think this is not a move that a presentist will make, as it is a move that in effect makes mereology four-dimensional. For instance, the standard definition of overlap is that x and y overlap if and only if they have a part in common. But the modified version would say that x and y overlap if and only if they had, have or will have a part in common. Now imagine two fir trees, one in Alaska and one in Texas, and suppose that next year the Alaska tree will be transplanted to be right next to the Texan one. And suppose a decade later the two trees grow together in such a way that they have some branch in common. By the tensed version of the definition of overlap, it is now true to say that the tree in Alaska and the tree in Texas overlap. But only a four-dimensionalist will want to say that—that’s exactly the sort of claim the presentist will want to deny.

Moreover, note that (5) doesn’t quite capture the intuitions of weak supplementationist presentists. For it allows for the possibility of an object now having only one proper part, as long as it had another earlier, which is something weak supplementationist presentists will deny.

Perhaps, though, presentists can say that the mereology of events is different from the mereology of objects, and the modification of the axioms is something one only does in the case of events.

Monday, July 9, 2018

Perdurance and consciousness

The standard perdurantist theory of consciousness is that the whole four-dimensional individual is derivatively conscious in virtue of the slices being non-derivatively conscious.

Here is a quick objection:

  1. A human-type pain needs to last more than a nanosecond to be noticed.

  2. A human-type pain needs to be noticed to exist.

  3. So, a human-type pain needs to last more than a nanosecond to exist.

  4. For an entity to host a pain that needs u units of time to exist, the entity needs to exist for u units of time.

  5. A momentary slice exists for less than a nanosecond.

  6. So, no momentary slice hosts a human-type pain.

(One can also try running a somewhat similar argument against presentism. There are interesting parallels between perdurantism and presentism.)

I think what the perdurantist needs to do is to deny 4, and hold that a momentary slice of the person is in pain because of what is going on with temporally neighboring slices. In other words, being in pain is not an intrinsic property of a momentary slice. Moreover, to avoid circularity or regress, our perdurantist has to say that the pain of a slice does not depend on the neighboring slices being in pain, but on some other state of the neighboring slices.

Thus, the view has to be that there have to be some more fundamental states of slices such that a slice is in pain in virtue of itself and its temporal neighbors being in those more fundamental states.

Corollary: A perdurantist must be a reductionist about qualia.

Many perdurantists are materialists and will be happy to embrace this corollary. But let’s think some more. If the conscious state of a momentary slice depends on the states of the slices and its neighbors, then the conscious states of momentary slices are not temporally (or otherwise) intrinsic. But now there are two problems. First, intuitively, conscious states are intrinsic. Indeed, they seem paradigms of intrinsic states. Second, the whole point of primarily attributing states to slices rather than to the four-dimensional whole was to solve the problem of temporal intrinsics. So once we see the conscious states as non-intrinsic, the motivation for attributing them to slices should disappear.

Thus, at this point it is very natural, I think, for the perdurantist to opt for a different theory of consciousness. Consciousness (and presumably the same thing goes for other mental properties) is a property of the four-dimensional whole, and it is had in virtue of the properties of slices—but non-conscious properties of slices. Whether this is plausible depends on how plausible it is to think consciousness is reducible to non-conscious states.

Thursday, July 5, 2018

Mereological perfection

  1. Every part of God is perfect.

  2. Only God is perfect.

  3. So, every part of God is God.

  4. So, God has no proper parts (parts that aren’t himself).

  5. So, divine (mereological) simplicity is true.

Existence and arbitrary parameters

Suppose vague existence and vague identity are impossible. Consider cases where a seemingly insignificant difference makes a difference as to existence. For instance, imagine that a tomato plant is slowly crushed. At some point, what is there is no longer identical with the original plant. (One can run the story diachronically or modify it and run at across worlds.)

There will thus be facts that determine when exactly the tomato plant ceased to exist. Moreover, these facts seem to call out for an explanation: Why should this precise degree of crushing make the plant not exist any more?

This degree of crushing seems to be an arbitrary parameter, either a contingent or a necessary one. One reaction to such an arbitrary parameter is to reject the assumption that there is no vagueness in existence or identity. But a theist has another option: The parameter is there, but it is wisely chosen by God.

Note 1: It may seem that an Aristotelian has an answer: The plant ceases to exist when its form departs. But that only pushes the question back to: Why does this precise degree of crushing make the form depart?

Note 2: There could be an indeterministic law of nature that says that given a degree of crushing there is a chance of the tomato plant ceasing to exist. But such a law would have seemingly arbitrary parameters, too.

Tuesday, July 3, 2018

Lying as an offense against God

There is a tradition of seeing lying as specifically a sin against God. St Augustine thought that this followed from the identification of God with Truth itself.

Here, I want to offer another option.

Reality = God + creation. A lie misrepresents reality, and hence misrepresents God or creation or both (with the “or both” covering complex cases like a disjunction of a claim about God and a claim about creation). But creation is God’s self-revelation. So, a lie misrepresents either God directly or misrepresents God’s self-revelation or does some combination of these. In general, thus, a lie covers up God’s revelation of himself to us.

I am not offering the above as an argument that lying is always wrong, but as an explanation of one thing that makes lying wrong.

(But it’s interesting that the standard hard case for opponents of lying is one where the above account works particularly well. If you’re hiding innocents from persecutors, then the fact you are deceiving the persecutors about—viz., that a brave person is hiding innocents—is a fact that is actually quite revelative of God.)