Why Christianity isn't Wrong, or, Atheists Suck Too

Truthy, adj: quality of a proposition held to be true because of coinciding with an individual's existing biases -- see "faith".

So, I've been beating up on fideists a lot lately (defined for my purposes as those who go by faith without regard to reason; for a better definition, consult your local U.D. graduate). I tend to mainly poke at Christian fideists, because they're the ones that drive me crazy personally -- if I lived in Gujarat, I'd be harping on the JDP and Hindu fundamentalists instead. But, as an American, it's the folks like the "fish"-oriented dental assistant who can't believe that I don't go to her megachurch, much less to any other church, and think's it's really weird that I don't keep my mind buzzing in a vacuum of "how can I praise Him enough" songs -- her ilk creep me out even worse than Furries (and, I have to say, if you ever have the chance to stumble across a Furry Convention, don't -- you'll sleep much better that way). Nonetheless, there's another group of fideists that I can't stand, either: atheists. Most prominantly you'll see the writings of Richard Dawkins, who's so close to being "spot on" that he just couldn't be more wrong if he tried. I've attended Southern Baptist churches when I was the guest of a True Believer, and, being a guest, wasn't about to insult my hosts by not attending with them, and I agree with Dawkins that the larger ones can definitely have a queasy sort of Nuremburg Rally kind of feel to them. It's that whole "hey, we don't need reason; we have faith" thing. Creepy.

Atheists like Dawkins suck too, though. They take the fact that there's no real evidence in support of religion (and by evidence, I mean empirical data, not "an old book says so", "I can't explain everything any other way" nor "I managed to quit drinking") and therefore conclude that since there's no evidence for God, that there must not be a God. Need one say that this is patently rediculous? Even from the perspective of simple logic, modus ponens (A implies B) says nothing about B when A is false. That sort of fallacy actually has a name: "denying the antecedant". Yet presumably educated people run around stating with conviction that there's no God (and that therefore Christianity, Zoroastrianism and the Flying Spaghetti Monster are all false).

As far as I'm concerned, these people are guilty of a sin: rationalism. Rationalism is the belief that reason is sufficient to explain life, the universe and cheesecake, without the need to apply the guesswork of religious faith. The sad thing is though, that the belief that sufficiently well-developed use of reason (multiplying scientific truths throughout the ages, yada yada yada) is sufficient to explain everything is itself a religion! By extension, so is Atheism.

The standard arguments of faith versus atheism all rely on faulty epistemology (the philosophy of knowledge). In order to know something, the following must hold:

1. It must be true
2. It must be believed to be true
3. The believer must have sound reason to believe it to be true

Religious people, including atheists, rely on Aristotelian logic, since it suits their agenda. Specifically, they rely on the notion that if something is not true then it must therefore be false. From an epistemological point of view, this is not only a dead end: it's intellectual masturbation. This was found out by the failure of Descartes's project to ground truth on some unchallengeable edifice, and to thereafter derive all the other things we need to know. He famously chose St. Augustine's cogito ergo sum (and falsely took credit for it, I might add, the bastard), and thereafter immediately ran out of progress, so he invented a cock & bull story to show that God exists, and therefore went on to prove black is white and got himself killed at the first zebra crossing. Or not. But he did end up having to invent a story to explain God's existence purely on the basis of his own, and his explanation is so full of holes that college sophomores can pull it apart. (He should have stuck with analytic geometry (genius!).) There's a solid reason why DesCartes had to cheat and invent an argument for God to save his project, and that reason wasn't just trying not to get in trouble with the Church (although I suspect that did weigh upon him heavily). Standard Aristotelian logic is what is called truth-preserving. This means two things: first of all, if you start out with the truth, the whole truth and nothing but the truth, this logic will only give you the truth as a result. If you start out with a falsehood, on the other hand, all bets are off. By pulling in a false argument for God, Descartes could then make other arguments that he couldn't make just by relying on his own existence. He needed to do so for another good reason: truth-preserving logics cannot create new information; they can only rearrange the expressions of truth you already know, rearranging them into a form that is so direct that you can't miss it. No truth that doesn't already exist within the axioms of such a logic system can ever be derived by one -- Aristotelian logic cannot create new truths. Therefore, this sort of logic can't perform any explanation that doesn't really beg the question, using circular arguments. In Aristotelian logic, truth may neither be created nor destroyed. Basing claims to something unclaimable on the basis of this kind of logic is therefore appealling to people whose primary motivation isn't to find new truths, but to support something they already hold to be true.

The way out of this problem is to use a different kind of logic, namely, intuitionistic logic. Intuitionistic logic isn't truth-preserving, but it is knowledge preserving. At any given time using such logic, you always know that whatever you've derived is sound. But in the process, you give up the notion that anything is true unless you can directly demonstrate the fact -- specifically, you have to give up the notion of the exluded middle. That Christianity cannot be proven to be true thus does not mean that it has been proven to be false; it just means that it can't be shown to be true. Thus, to actually know that there is no God, in addition to believing there to be no God and there in fact not being any God, one must have a direct intutionistic proof that God does not exist. A proof that religion is false, or, that some particular religion is false, does not suffice. So far, I'm not certain that anyone has been able to formalize just what might constitute evidence of God's nonexistence, but I feel pretty comfortable wagering that no-one has found any so far. By weight of the three tests above, if anyone tells you there is no God, you can rest assured that they're acting on faith (or bias), because they simply can't know such a thing.

Worse yet for the sin of rationalism -- we've actually proven rationalism to be wrong. The nutshell version goes like this: there was a guy named Godel, who proved that an arithmetic (any arithemetic, not just base-10 number-stuff) cannot be both consistent and complete. This pretty much blew everyone's mind but Einstein's (Einstein was more mystified that Godel voted for Eisenhower). This poked a hole in the balloon that everyone had been carrying around since the Enlightenment, that there was a big theory of it all that we could learn and then we'd understand it all. Everyone sighed and said that it was probably hubris that we thought that mere mortals could have learned it anyway, but this didn't stop people from trying to patch the balloon (anyone remember "Gott wurfelt nicht"?) Eventually Alan Turing (the "Turing test" guy) started studying this mess, which by now had been named Godel's incompleteness theorem. Leaning on this work, he defined what it meant to be a full-fledged programming language, then proved that no computer, no matter how powerful, can ever decide whether or not a given program will eventually halt except by actually running the program. Everyone who wasn't a computer-scientist yawned and went back to their knitting, but eventually a guy named Chaitan came along. Remember the balloon that Godel popped? Chaitan blasted it to smithereens with a shotgun. What he did was to think about programs, reasoning that some programs halt properly, and some programs don't. Therefore, there must be a percentage of programs that halt, which's the same thing as saying that there must be a probability that a randomly selected program will halt. We also know that this probability is greater than zero but less than one. He went on to show, based on Turing's work, that this probability, called Omega, cannot be computed. This isn't like saying "what's the last digit of Pi" (there is none), or saying that you can't compute one-hundred-million factorial factorial factorial (impractical, but not impossible). What he proved is that the number, which does exist, cannot ever be known. And I don't mean "can't be known by humans because we're not smart enough", I mean as in "if the number is known, it can only be known by God, because unless you already know it you can never arrive at it". Omega thus falsifies the rationalist hypothesis.

You can have faith that God exists (you can even have faith that a desert-dwelling bronze-age nomad named "Abraham" was chosen to beget a nation that God authorized to commit genocide, if you really like), or you can have faith that God doesn't exist. But you can't know either. In the words of Militant Agnostics everywhere, "I don't know, and neither do you."