Originally posted by vistesd
[/i]Thanks, LJ! There’s a bit for me to digest here, which will take some time, but I think I see where you’re coming from—the problem is that, as a layperson, I lack some of the formal philosophical context and lingo, which you have provided here.
On Wittgensteinian grounds, there are propositions such that, although they are not logically infallib ...[text shortened]... eaker form of omniscience than one in which God knows that his knowledge is not fallible.[/b]
Thanks again for your comments. You are forcing me to clarify my thinking a bit.
On Wittgensteinian grounds, there are propositions such that, although they are not logically infallible, it would be epistemically destructive generally if I cannot say that I know them to be true. For example, “I did not have lunch in Peking yesterday.” If I have to add the phrase “I know”—as in “I know that I did not have lunch in Peking yesterday”—that redundancy would likely cause a listener to wonder why I felt the need to add it (could I be in any doubt?). What does it mean to say that I fallibly know that I did not have lunch in Peking yesterday?
I agree that it would be destructive. Infallibilist accounts of knowledge often lead to a vicious skepticism where we know virtually nothing. Considering your example, under many infallibilist accounts you cannot know that it is not the case that you had lunch in Peking yesterday because the basis you have for that belief is not sufficient to guarantee the truth of that proposition (I first presented an account of evidential infallibilism, but I think the account that most readily captures the infallibilist intuition is the second modal account I presented: roughly that S knows P on basis b only if it is not possible that S have b and P is false). Here your "basis" for belief could consist of memories, perceptions, related inferences, etc. Given your basis for belief, it is possible, broadly speaking, that your belief is false and it really is the case that you had lunch in Peking yesterday. For instance, all your memories of yesterday are broadly compatible with a scenario in which you in fact did have lunch in Peking yesterday but your neurology has been subsequently manipulated and outfitted with false memories concerning your happenings and whereabouts of yesterday. (Now one could object that whether or not such a scenario is "possible" depends on our construal of possibility, and that is true; but certainly under a construal of logical possibility for instance, such a scenario is surely possible, and its mere possibility would preclude your meeting the infallibility condition. I feel it is the infallibilist's responsibility to clarify exactly what is the modal construal.).
On the other hand, If we say that you fallibly know the proposition that means you know it according to a fallibilist account, under which knowing does not require meeting the infallibility condition. For instance, the mere possibility of otherwise ridiculous accounts like the neurological manipulation above does not preclude your knowing that you did not have lunch in Peking yesterday. The key difference in terms of the argument is that infallibilist knowledge entails that the infallibility condition has been met whereas fallibilist knowledge does not.
it seems to me that God would not be omniscient if God thought that his own knowledge might be fallible. I’m not sure how omniscience can be defined in terms that allow for fallibility.
I guess it would depend on what is meant by 'omniscience'. If by it one means complete propositional knowledge (knowledge of each and every true proposition, or knowledge of every proposition that can be known, or some such), then I don't see any reason why we should just automatically assume that this refers to knowledge according to some infallibilist account. And I also don't see why knowledge according to a fallibilist account cannot be invoked within such a definition. Just because it is broadly possible that one's beliefs are mistaken (and thus fallible) doesn't mean any of the beliefs are mistaken and wouldn't as far as I can tell preclude the capacity to know all true propositions.
On the other hand, I do think it would be reasonable to assume that when a theist asserts that God is omniscient, the theist probably has some infallibilist account in mind. That is, beyond just that God knows every true proposition, he would also intend to convey that God's cognitive faculties are somehow perfect such that He simply cannot hold a false belief or be mistaken. (The theist might additionally mean to convey other things as well, such as that God has perfect acquaintance with all things.)
So let's just assume that the fatalist argument supposes that God's knowledge is infallible. Further, unless someone objects, let's take infallibilism to be the thesis that S knows P on basis b only if it was not possible that S had b and P was false. In God's case, because He is a perfect knower – His faculties are putatively perfect – His basis is always such that it is not possible both that He believes P and P is false (which modal construal of possibility is the proper one here is really not clear to me, however).
So, I presume that the fatalist's line of attack here is the following.
1. G knows in advance that S will do A.
2. It is not possible both that G believes S will do A and that S refrain from doing A (infallibility).
3. G believes S will do A (entailed by 1). So from 1 and 2, it is not possible that S refrain from doing A.
4. If it is not possible that S refrain from doing A, then it is not within the power of S to refrain from doing A.
5. If it is not within the power of S to refrain from doing A, then S is not free with respect to A.
6. Hence, If God knows (infallibly) in advance that S will do A, then S is not free with respect to A.
Do you think this argument works?