08 Feb '16 07:30>1 edit
Originally posted by DeepThoughtThat is what I thought. Why did you suggest that I had it wrong?
A proposition is a statement, as opposed to a question or an order.
Your proposition is that an agent knows that some proposition has a definite truth value and knows no one else knows either it or its negation. Suppose the basic proposition is that "Some snarks are boojums.",
Why couldn't you stick with what I already proposed with Jimmy and a cow on Jupiter?
For your example to demonstrate the knowability of Church propositions you need to find a proposition which would be structured as follows:
Why do you always change the words? Now I don't know whether or not you are addressing what I actually said, or again arguing at a tangent about something I didn't say. I know for a fact that I never claimed to have 'demonstrated the knowability of Church propositions'. I may have tried to give an example of one Church proposition that is knowable, but since you have changed the language and refused to address it head on, I do not know whether you agree or disagree or what.
This means that you cannot claim that one or the other is knowable.
Why can't you answer direct questions? Here it is again:
There is nothing in existence except the forgetful creator God. His name is Jimmy.
He creates a universe similar to our own but with no entities in it.
There is a cow on Jupiter.
Jimmy knows the truth of the proposition "There is a cow on Jupiter".
Jimmy decides to forget whether or not there is a cow on Jupiter.
Does Jimmy now know a proposition P such that "P and P is unknown"?
If not, then what does "P and P is unknown" mean in plain English and not whatever code it is in?
Please stop telling me what I 'need to do', and tell me whether or not what I did actually do meets the requirement and if not, why not.