moving finger said:
I hope you do not mind if I also re-phrase your example in terms of an independent (conscious) agent rather than “I” or “me” (because of the confusion this has caused already).
Not at all. Sorry for contributing to the confusion.
moving finger said:
Can you explain how it is (what is the mechanism whereby) the agent can acquire this “certain knowledge” that these options will in fact be available (as opposed to it simply BELIEVING that they will be available)?
No. And after thinking more carefully, I should amend my example by saying, "The certain knowledge I have that[, barring any malfunction of the PNS of Paul Martin (PNSPM),] I can continue typing this response...".
As for the mechanism, it is probably similar to the mechanism used to acquire the certain knowledge in the agent, when, working through PNSPM, the agent knows what green looks like as reported to the agent via the sensory and perceptive mechanisms of PNSPM.
moving finger said:
I suggest that the agent does not in fact have “certain knowledge” that these options (or any other options) will be available to it.
Would you say that the agent does not have certain knowledge of what green looks like as reported by a PNS?
moving finger said:
In an extreme (admittedly improbable, but nevertheless possible) example, the agent could be destroyed in the next instant by an asteroid which hits its home town.
Not in my cosmos, it couldn't. In my cosmos the agent does not live in the home town. The asteroid could wipe out the PNS -- and I have just corrected for that eventuality -- but in my view, not the agent.
moving finger said:
I believe that I have shown above such infallible foreknowledge is not possible.
I believe you have not.
moving finger said:
The issue is whether it is in fact POSSIBLE for an agent to know infallibly that an option exists.
moving finger said:
I believe free will exists. But I would define free will differently to you (as indicated already by my suggested changes to your necessary conditions, which changes you do not accept)..
I am beginning to waffle.
Your statement of the issue above got me wondering, "What does it mean 'to know infallibly'?". Simply to say "the agent knows" implies infallibility by the definition of the word 'know'. But that's hardly convincing. Your argument would say that it is never appropriate to assert "Y knows X" for any X or Y. But that would make the word 'know' useless.
But suppose the agent knows that it knows X. If indeed the agent knows X in the first place, knowing that it knows X in addition wouldn't strengthen the claim that it knows X. It would only provide additional knowledge which is outside or above the first circumstance, and which could in principle even inhere in a separate agent. We could have, for example, Agent B knows that Agent A knows X.
This led me in three or four different directions. First is to note that you and I, in this discussion, are in that circumstance. We are questioning whether we can know that Agent A knows X. That is a different question from, "Can Agent A know X". I think it may be possible that Agent A can know X while at the same time it is impossible for Agent B to know that Agent A knows X. If that possibility turns out to be the case, then we may not be able to resolve this issue here.
The second direction I am led is to extend the chain by supposing that the agent knows that it knows that it knows X. Does that help any? It seems to because now there is even more knowledge than before. What about extending the chain to a million links?
The third direction is to salt this chain with one or more 'believes': Can the agent believe it knows X? Know it believes X? Know it believes it knows? Know it knows it believes? Believe it believes it knows? Etc.
The fourth is to reintroduce Agent B to appear here and there in different versions of all those chains. For example, Can Agent B know that Agent A believes that Agent B knows X?
This is not meant to be silliness or sophistry, although it sounds like both. Instead, the point I am trying to make is that the issue you articulated is very complex. I think that to resolve it, we would need not only to identify X (the example of a fact that can be known), but we would also need to identify all the players (Agent A, Agent B, TEOMF, TEOPM, "I", "you", PNSMF, PNSPM) and the relationships among them, as well as the answers to many, if not all of those "chain" questions.
I am not prepared even to guess at the outcome of a resolution, but at this point I am willing to concede that my requirement for infallible knowledge may be unnecessarily strong. I'm not sure your proposed substitutions are the right ones either, however. Maybe it should be a longer chain of knowing and believing.
For the record, my view of the relationships among the players I listed are,
Agent A = Agent B = TEOMF = TEOPM = CC
PNSMF and PNSPM are separate and distinct chemical vehicles being driven by CC.
"I" and "you" are used ambiguously and should be identified with each use.
moving finger said:
And if the person is also operating deterministically?
The automaton was an analogy. Little is to be gained by staking much on the details of one of the analogs. But the analogy aside, you are asking about the consequences of the case where the conscious agent operates deterministically. I'd say in that case there is no free will.
moving finger said:
Moving the problem around without actually addressing the problem seems (with respect) to be rather pointless?
I don't think it is pointless. The point is that it provides a different hypothesis from which to work. My only suggestion is that we explore the hypothesis of a single consciousness and see where it leads. My suspicions are that it will be more fruitful than the hypothesis of "PNSx contains TEOx", or even "The physical world of PNSx contains TEOx".
moving finger said:
If however one takes a pragmatic approach and defines free will such that free will is possible (even though it may not provide a very satisfying or intuitively “nice” result in terms of the "feeling" of free will), then explaining how free will operates is also possible (this is my approach).
That may be true. But unless and until you actually produce that explanation for how free will operates, the mystery remains. As of this date, I still maintain that free will is a mystery in every model.
Much fun talking with you, MF. Thanks.
Paul