3 ms·
He simply wasn't speaking with precision. If you replace "code change" with "pull request" in his statement, it's JTB.
by jemfinch 8y ago
He simply wasn't speaking with precision. If you replace "code change" with "pull request" in his statement, it's JTB.
- llagowivel 8y agoThat is correct - it is then a JTB - but not a “Gettier”. None of his examples are Gettiers.
- pwaivers 8y agoNo you're talking about the first example. On the second example he says > But—gettier!—the email service that the code relied on had itself gone down, at almost the exact same time that the change was released. So the error was caused by the email service going down, which is completely independent of the code change/pull request.