nameandnature | Different Tan

ladysisyphus writes about why she is a Christian even though she cannot say unequivocally that Jesus Christ is her Lord and Saviour, which, as we all know, is the litmus of such things. People who thought that the Jerry Springer entry was intended to imply that I believed all American Christians were nutters, take note: there is at least one who is not.

andrewducker says what I'd have said about truth and facts, in a conversation which reminds me of those I've had with

cathedral_life.

People who read Hebrew might want to have a look at the huge thread on Creationism that developed under my post here, since some of it relies on what I suspect are standard Creationist assertions about the Hebrew used in Genesis. Or you might not: after I while, I learned to avoid the Creationism threads on uk.r.c, only popping out occasionally to ambush people with physics.

There are more photos of the musicals party, to add to bluap's. My camera's rubbish in low light, alas.

Random Flash linkage: To Kill A Mockingbird, Numa Numa. Been doing the rounds, but I mention it in case you've not seen it.

Update: I got a comment from someone recommending the CICCU mission talks this year (which have now been and gone). This has started a debate on whether God is just. Read all about it in the comments inside.

Flat | Top-Level Comments Only

Such arguments are not logically invalid - they are perfect proofs that God cannot be omnipotent!! Therefore no omnipotent God can exist!

Oh dear. I think then we have very different ideas of what is valid logic. Maybe you would care to explain your idea of what logic is, and how it is used to show contradictions, as if we disagree on that then reasoned discussion becomes kinda pointless.

Meanwhile, I will try to explain why I consider this to be a nonsensical play on words, rather than a valid logical proof. My apologies if I am making this sound too simple, I haven't got a clue what sort of level to aim it at. (How much do you know about logic?)

When we have a system, which contain concepts of truth and falsehood, we can seek to show that the system is contradictory by taking true statements in that system, applying the rules of deduction, and showing that we can derive false.

We can build up more complex statements by assigning them variables and substituting them into other statements.

So in my system with we are starting with an omnipotent (this could require more careful definition later on, but for now we will define it as meaning that he can create a rock of of any size, and can lift a rock of any size) God.
So we have the question:

"Can God make a rock big enough so that he cannot lift it?"

I would rephrase this as:

1) "Can God make a Z"

2) "Z is a rock big enough that he cannot lift it"

Z I would now argue is a meaningless concept. We have defined God being omnipotent as meaning he can lift a rock of any size, so the concept of a rock which he cannot lift is meaningless in this system. (If you don't find this bit convincing try expressing it to yourself formally in first-order predicate calculus. I would do so myself but typing the symbols would be problematic!)

So this definition of Z as as meaningless as saying that Z is a square circle, or Z is a strawberry flavoured electron.

(Note: the answer to "Can God make a strawberry flavoured electron?" or "Can God make a four sided triangle?" is not "Yes. God can do anything." but "Your question is meaningless."....of course God can make strange flavoured quarks)

So our question becomes "Can God make a (meaningless concept)?"

This question doesn't have a true, or false answer, it is nonsense, so then cannot be used in deduction.

I think we've just posted the same answer (see mine below).

So, do the inhabitants of Heaven have free will?

I have responded to this in the comment below by Paul.

Different Tan

Re: This year's CICCU Main Event - DIRECTION

Re: This year's CICCU Main Event - DIRECTION

Re: This year's CICCU Main Event - DIRECTION