K
kev7
Guest
WOW… I’m so glad that you agree that it isn’t possible to phrase C. C is undefined. I’m saying that in order for your sentances to have any worth you can’t omit C, but until you can define it don’t waste your time.The above statement is false. Let’s take a look at a case other than God. Do I need to know whether there actually is an apple on top of the Empire State Building to determine whether it is possible for there to be an apple there? No. It is possible for an apple to be there regardless of whether or not there is actually an apple there.
A is not the same as B - see below - and neither of them are values of C, whatever it is that C is.
As I recall, this bit about logic started with the ontological argument; can you tie your statements into some attack on my rebutall of that argument? Furthermore, I don’t think what you mean by C is something that can be turned into a well-formed formula. The first two can, however. Let’s just say that x has the property G iff x is God (G(x) <–> x is god), and we also have to use modal logic. It’s fairly clear what the sentences are:
(possible)(there exists an x) G(x)
(possible)(for every x) ~G(x)
I don’t know how to phrase C; can you give it a try?
Just as I said your formulas omit the concept of the trinary variable. C is the undefined universal set from which both your sentances are derived.
Again your range of possible solutions should not just include False and true. They must account for a thrid value of undefined.
You can’t even perform a logical operation if one of your possible values is undefined.
As for your apple statement.
A is the building
B is the apple
C is all the possble locations of apples
No. you don’t need to know that there is an apple up there but you do need to know that the top of the building is a possbile location for an apple. In other words you need to know what the unversal set of locations for apples are.
The problem with your logic is that you continue to define the universal set C in correctly or omit it completely
The same is true with god.
Since we can’t define what the universal set of the universe is the value for C remains undefined.
First define all possible forms of existance before you calim that God does not exists.