To Gettier or Not to Gettier
I recently constructed a Gettier case (described below), designed to show that Justification-reliabilism is insufficient as a reply to Gettier. (For a full discussion of the application of this Gettier case, check out my blog post 'Un-discriminating Reliabilism'.) However, some have questioned whether the Gettier case I constructed is really a Gettier case at all (see comments in aforementioned link). Specifically, one reader felt that the subject described actually does have knowledge. I would like to get other folks intuitions on this question. Do you think the following represents a genuine Gettier case:
Suppose S has strong perceptual evidence for, and comes to believe, the proposition:
(a) There is a red cube in the box on the table.Now, it so happens that there is in fact a red cube in the box on the table, though the cube is being obscured from S’s visual field by some sort of barrier. Furthermore, the box is rigged up to a computer which projects a visual hologram of a red cube in the box. However, the computer is programmed to only project the hologram of the red cube in the box when there is a real red cube in the box. Moreover, S lacks any of this background information, and forms her belief that (a) purely on the basis of the hologram of the red cube. All of the following seem true in the above case:
(i) (a) is trueEx hypothesi, (iii) is true since the computer is programmed to only project the hologram of a red cube when there is an actual red cube present (one may build in whatever stipulations one likes, such as that the computer is eternal and infallible in its operation etc.). Thus, S’s belief that there is a red cube in the box is reliable (and, according to justification-reliabilism, therefore justified) since the process by which the belief was formed would, given the computer’s programming, tend to produce true beliefs. However, I believe this represents a bona fide Gettier case since, though S has a justified (i.e., reliably formed) true belief, we wouldn’t say that she has knowledge.
(ii) S believes (a) is true
(iii) S’s belief that (a) is justified (i.e., formed via a reliable process)
It may also be interesting to get a non-philosopher's intuition on this question, so you may consider trying it out on a roommate or friend and letting me know what you come up with. Cheers.