Friday 20 April 2012

A Quick Thought on "Began to Exist" in the Kalam Cosmological Argument

The little finicky bits around "begin" and "exist", normally of no import, are crucial for the Kalam Cosmological Argument. A quick reminder of the Kalam Cosmological Argument (“KCA”):

1. Everything that begins to exist has a cause
2. The universe began to exist.
3. Therefore, the universe has a cause.
Why "everything that begins to exist" and not "everything that exists"? Because the role the KCA plays in arguing for God depends on differentiating God from the universe. There needs to be a causal problem with the universe that is not a problem with God so God can be invoked to solve that problem.  “Everything”, though, includes God; the argument would fail if “everything that exists” were the first premise.

What “began”?

Now we could take something "began to exist" as meaning that
Condition 1: that thing exists
Condition 2: there is an earliest time when that thing existed.
If one accepts the arguments William Lane Craig (the main contemporary advocate of the KCA) takes from philosophy and modern physics then one has to accept that, in this sense, the universe did have a beginning. Modern physics theorises that not only did the universe begin, but time itself began.

The philosophical arguments Craig refers to also posit a beginning of time:
- “In other words, the series of past events must be finite and have had a beginning.”
- “an actually infinite series of past events could never elapse; since the series of past events has obviously elapsed, the number of past events must be finite.”
If time began then there is an earliest time. If there is an earliest time then there is an earliest time when the universe existed. The universe exists (condition 1) and there is an earliest time when the universe existed (condition 2): the universe began to exist.

And so, if He exists, did God.

If He exists He fulfils condition 1. As time itself began there is an earliest time when He existed, fulfilling condition 2.

If time itself began everything that exists began to exist. There is no difference between “everything that exists” and “everything that begins to exist” and, so, the argument fails.

An earliest time but no X

If the argument is to be saved another condition, condition “X”, must be added to the concept of “begins to exist”. Condition X must also be applicable to the universe but not applicable to God.

So:
Condition X1: and there must be a prior time when the thing did not exist


This seems fine. Almost everything, except God, fulfils the three new conditions. They exist, there was an earliest time that they existed and there was a time earlier than when they existed. Almost everything, though. There is no time earlier than the earliest time the universe existed. If we accept condition X1 then God did not begin to exist, but neither did the universe.

Craig’s “Solution”

Craig’s “solution” is along the lines of God “existing timelessly”.
Condition X2: and it must not exist timelessly.
WTF, though, is “existing timelessly”? “Existence” seems to require persistence in time. Neanderthals, though they do not exist now, persisted for some quarter of a million years. Exotic particles produced in particle accelerators exist for nanoseconds. There is no time when Hobbits existed. Did Hobbits exist “timelessly” whilst Neanderthals and exotic particles happened to exist timefully?

It seems that Neanderthals and exotic particles do not so much exist in a certain time-related way but exist because they existed in time. Existing “timelessly”, à la Bilbo Baggins, is another way of saying “not existing”.

Let us, though, allow this idea of “existing timelessly” and allow that something that “exists timelessly” does not begin to exist. Why believe that the universe does not exist timelessly? After all, we’ve such little idea of what existing timelessly amounts to, we can hardly rule it out.

Conclusion

So there we have it. The KCA depends on the universe beginning to exist and God not beginning to exist.

But if we say that the universe must have begun, well so did God. If we say that God did not begin to exist, then neither did the universe.

Read More...

Thursday 19 April 2012

A Question on the Transcendental Argument for God

I have a question on the Transcendental Argument for God.  Greg Bahnsen boiled it down to:

The transcendental proof for God's existence is that without him, it is impossible to prove anything.
My question is this: what is the argument?  Seriously.  I can accept, in its entirety, the alleged proof and absolutely nothing follows from it.

"Without [God] it is impossible to prove anything" can be rephrased as:
"God exists or it is impossible to prove anything."
With the "or" being an inclusive "or": the statement is false only if both phrases are false.  The statement is true when either:

1. God exists and it is possible to prove something
2. God exists and it is impossible to prove anything
3. God does not exist and it is impossible to prove anything

Now a conclusion follows from its premises if its negation generates a contradiction, if the negated conclusion and the premises cannot be true at the same time.  So what conclusion follows from "God exists or it is impossible to prove anything"?

It's not "God exists".  The negation of "God exists" is "God does not exist", and "God does not exist" can be true at the same time as "God exists or it is impossible to prove anything." (it's situation 3)

It's not "it is possible to prove something".  The negation of "it is possible to prove something" is "it is impossible to prove anything" and that is the second situation.

It's not "it is impossible to prove anything".  The negation of "it is impossible to prove anything" is "it is possible to prove something" and that is the first situation.

Is there a missing premise? Or is the argument just bollocks? Will any presuppositionalist reply to a question rather than just asking them?

Read More...

Sunday 1 April 2012

Draft Note on a Presuppositionalist Argument


There is a forthcoming paper that argues that God is a necessary precondition for the Laws of Logic.  The argument, from the paper's conclusion is:

The laws of logic are necessary truths about truths; they are necessarily true propositions. Propositions are real entities, but cannot be physical entities; they are essentially thoughts. So the laws of logic are necessarily true thoughts. Since they are true in every possible world, they must exist in every possible world. But if there are necessarily existent thoughts, there must be a necessarily existent mind; and if there is a necessarily existent mind, there must be a necessarily existent person. A necessarily existent person must be spiritual in nature, because no physical entity exists necessarily. Thus, if there are laws of logic, there must also be a necessarily existent, personal, spiritual being.

I've drafted a note responding to the argument and would be grateful for any feedback.

------------------------------------------------------------------------------------------------------------

Anderson and Welty[1] seek to establish that “(t)he laws of logic imply the existence of God”.  There is, however, an equivocation in a key step in the argument.  Any univocal re-statement of the argument fails.  

The step in question is given in the summary of their argument in the conclusion to the paper:
 “Since [the laws of logic] are true in every possible world, they must exist in every possible world.”
Now, how are we to take the two sub-clauses, “true in every possible world” and “exist in every possible world” as being logically connected?

If and only if («)

If a law of logic exists in a possible world if and only if it is true in that possible world then the step is, obviously true.  However, given Anderson and Welty’s characterisation of the laws of logic as necessarily true; their conclusion, that they entail the existence of God, is contradictory. 

 “The laws of logic entail the existence of God” entails that if there were no God then the laws of logic would not exist.  Given, though, that the laws of logic are necessarily true and that they exist if and only if they are true then the laws of logic necessarily exist. If the laws of logic necessarily exist then they would exist whether God existed or not.[2]

If (®)

So we must abandon the idea that a law of logic “exists” in a possible world if and only if it holds true in that particular world.  Perhaps it is meant that if, (but not “only if”), a law of logic holds true in a world then it exists in a world? This does not remove the contradiction.  The laws of logic are necessarily true, they hold in every possible world whether or not God exists in that possible world.  As their holding true entails their existence the laws of logic exist in every possible world whether or not God exists in that possible world.

Only if (¬)

Anderson and Welty’s conclusion, that the laws of logic imply the existence of God, is not contradicted if we assume that “only if” is meant:  the laws of logic are true in every possible world only if they exist in every possible world.  Indeed, on this reading, Anderson and Welty’s conclusion would be supported. Given Anderson and Welty’s characterisation of what it means for a law of logic to “exist”, were God not to exist in a possible world the laws of logic would not exist in that possible world.   If the non-existence of the laws of logic in a possible world entailed that they failed to hold in that world then an agreement that, say, the law of non-contradiction does hold entails the existence of God. Whilst this may seem like an improvement, the “only if” reading either contradicts other vital premises in the argument or renders the step itself contradictory.  The step claims that the laws of logic hold true in every possible world.  Why is that?  If it is because they exist in every possible world (maybe because God exists in every possible world) then the laws of logic are not necessarily true; their truth is dependent upon their existence and were they do not exist they are not true.  The first premise in Anderson and Welty’s, summarised, argument is that the laws of logic are necessarily true: the argument contradicts itself.   So let us assume that the fact that the laws of logic hold true in every possible world is because they are necessarily true.  This contradicts the assertion that they are true “only if” they exist: the step, itself, is contradictory.

Other logical connectives and conclusion

Other logical connectives are not only more of a stretch in interpretation but fail destroy the step as any link in chain of reasoning.  “And” turns the step into two simple assertions. “Or”, excluding combinations of “or” and “not” that are equivalent to connectives discussed already, simply asserts the truth of one of the sub-clauses.

There may be other logical connectives that haven’t been considered or have not, even, been thought of yet.   No logic is liable to correct the argument, though, as the two sub-phrases of the step simply talk about different things. 

Anderson and Welty must establish that laws of logic are capable of being contingent in order to argue that they are contingent upon God.  Thus the laws of logic are characterised as thoughts.  Thoughts require a mind and, thus, are contingent on minds. “Exist” in the second sub-phrase refers to being thought of by a mind.  Anderson and Welty also need to establish the laws of logic as necessarily true in order to argue that the mind thinking the laws of logic must be necessarily true.  

However being true and being thought are wholly independent properties of propositions.  The one is dependent on a mind, the other dependent on the world outside that mind.  No logical connectives will bridge the gap.   Differing logical connectives may save the argument from saying something contradictory, but at the expense of saying anything at all.

The assertion that God is a necessary precondition for the laws of logic is either necessarily false, or meaningless.


[1] Anderson, J. N., & Welty, G. (Forthcoming). The Lord of Non-Contradiction: An Argument for God from Logic. Philosophia Christi .

[2] It may be objected that God is, Himself, necessary and thus there is no possible world where He does not exist.  The objection, however, is not only question begging but proves the counter argument.  God is necessary for the laws of logic if and only if for all possible worlds were God does not exist there are no laws of logic.  The universal statement, “all possible worlds x”, can be recast existentially as “there does not exist a possible world without x”.  God, therefore, is necessary for the laws of logic if and only if there exists a possible world were God does not exist and neither do the laws of logic.  If God is necessary there is no world were God does not exist and, thus, no world were God does not exist and neither do the laws of logic.


Read More...