Just as I looked for Gettier cases in mathematics a while ago, it looks like Brian Weatherson has some good candidates for Gettier cases in philosophy. Except that he’s looking for them to show that to discover P is not the same as to be the first person to know P. He uses the example of the existence of necessary a posteriori propositions (which he says Aquinas had justified true belief in, while Kripke was the first to properly know) to show that we might come to know something with no one discovering it. Aquinas didn’t discover it because he didn’t know, and Kripke didn’t discover it because he was just properly justifying a result he already knew of. (Even if that’s not how it actually went, it’s how it could have gone, and the moral should be the same for the relation between discovery and knowledge.)
However, I’m not quite convinced that we should deny Aquinas the discovery just because he didn’t know P. I claim that being the first person whose justified true belief in P gives others a good reason to believe P is what it takes to discover P. If Aquinas’ belief was such, then he should be credited with the discovery, and otherwise it seems that Kripke should.
In the comments on Brian’s post, Stefan Ionescu cites Fermat’s Last Theorem as a mathematical example that I think follows Brian’s example fairly closely – FLT is conjectured, Shimura and Taniyama make a (seemingly unrelated) conjecture, Ken Ribet shows S-T implies FLT, and then Andrew Wiles proves S-T. Fermat never knew it to be true, so on an account where discovery implies knowledge, he can’t be the discoverer. Wiles certainly didn’t discover FLT, because the statement was well-known and already widely believed to be true – he just definitively proved something (also widely believed) that was already known to imply FLT. Ribet also seems to be a bad candidate for the discoverer – all he did was relate two already widely believed statements.
So did Fermat discover it? Or was no one the discoverer, because Fermat never knew it to be true? (I think I’ll leave aside the question of whether knowledge of mathematical claims like FLT can come from sources other than proof.)
It certainly seems clear that Fermat discovered something – whether that something is FLT, or just “FLT is a good approximation to the truth” may be controversial. But just as Columbus discovered (from a non-Viking European context) America without knowing that’s what it was, Fermat may have discovered his theorem without having known that it was true. One might say the same thing about Michelson and Morley being the discoverers of the lack of an ether (or maybe some other related fact about light), though they never came up with a theory that properly predicted or explained it. These examples (built on Brian’s model for a mathematical parallel of his example) suggest that discovery may not require knowledge, but merely some strong enough sort of justified true belief. Just what sort of justification is involved, who knows – having mistaken a statement of an open problem for a homework assignment doesn’t seem sufficient justification to count as the discoverer.
Perhaps one way to measure whether A’s justified true belief counts as a discovery is whether B (knowing the incompleteness of A’s justification) could consider A’s belief a reason to believe the proposition. Ribet, Wiles, and the others all knew that Fermat had very good insight into the nature of the natural numbers, so even though they were convinced he didn’t have a proof, they could use his belief as a decent reason to believe that FLT was true. I don’t know enough about Aquinas’ arguments to say whether his belief provided Kripke a reason to believe that there are necessary a posteriori truths, but if it did, then perhaps he could in fact be credited with the discovery. If not, then perhaps Kripke could be, because he didn’t have an antecedent reason to believe before working out his theory.
If this account is right, then perhaps every piece of knowledge does have a discoverer (except maybe the odd open problem solved by a computer science student thinking it’s a homework assignment – apparently, since George Dantzig got his start this way and then went on to discover the Simplex Algorithm for linear programming, computer science professors often put open problems in homework sets). Probably some details will need to be worked out (especially with the “reason to believe” bit), but this seems a bit more plausible to me than the line that discovery requires knowledge. We credit explorers with all sorts of geographic discoveries they don’t properly understand or know the significance of – we should probably do the same for intellectual explorers.