Archive for the ‘Nerd Self-Help’ Category

What can first-order logic do for your self-esteem?

Wednesday, December 24th, 2008

Whereas nerds stand to benefit, even more than normal people, from becoming more assertive, outgoing, optimistic, obamalike in temperament, and all those other good things,

Whereas the fundamental problem with nerds is that they’re constantly overthinking everything,

Whereas this means nerds are regularly beaten in life by people who think less than they do,

Whereas it also means that nerds can’t read self-help books without coming up with dozens of (generally sound) reasons why everything they’re reading is a load of crap,

Whereas there’s therefore a large unmet need for self-esteem-boosting, personality-improving materials that would somehow fly under nerds’ radar, disarming the rational skeptical parts of their brains,

This holiday season, as my present to all my nerd readers, I’ve decided to start an occasional series entitled Nerd Self-Help.

Today’s installment: What should you do when you find yourself asking whether you have any “right to exist”?

Pondering the problem this morning, I hit upon a solution: Ask yourself whether the integer 8 has any right to exist.

In first-order logic, existence is not even a property that can be predicated of objects.  Given a universe of objects, you can ask about properties of those objects: for example, is there a perfect cube which is one less than a perfect square?  But it’s simply assumed that when you use a phrase like “is there,” you’re quantifying over everything that exists.  (As many of you know, this was the basic insight behind Kant’s refutation of Anselm’s ontological proof of the existence of God: the notion of “a being that wouldn’t be perfect without the added perfection of existence,” said Kant, is gobbledygook.)

Similarly, I claim that if you were to formulate a theory of human rights in first-order logic in any “natural” way, then whether you have a right to exist is not even a question that would arise within that theory.  Such a theory might include your right to not be murdered, to get a fair trial, to engage in consensual sexual activities, to own property, etc., but not your “right to exist”: that “right,” to the extent it even made sense, would simply be presupposed by your being part of the universe of persons that the theory of rights was quantifying over.  In other words, the sequence of words “do I have the right to exist?” seems to me to dissolve on analysis, an ill-formed non-question.

Now, I don’t doubt that there are plenty of logical, metaphysical, and legal objections that might be raised against the above argument.  But here’s the key: don’t think about it too much!  Just trust that there’s a rational-sounding argument for why you shouldn’t doubt your right to exist, and be happy.

Merry Christmas, everyone!