Smith believed the disjunction was true because Jones owned a Ford (because P was true). The disjunction was not true because P was true. It was true because Q was true. Smith's belief was false.
— creativesoul
I agree with this. There's a question you don't include in your summary - whether Smith was justified in believing that Jones owned a Ford. Gettier's answer is that he was. That's the situation that generates the confusion that people feel about these cases. — Ludwig V
I agree that Smith's belief was justified. I deny that it was true, because I deny that the target proposition/disjunction is equivalent to Smith's belief at the time. Looking at what makes them true shines clear light on this accounting malpractice of confusing belief with a naked proposition.
I'm pointing out that Smith believed the disjunction was true because Jones owned a Ford. The disjunction was not true because Jones owned a Ford. It was true because Brown was in Barcelona. Thus, Smith's belief is justified, valid, and false. That poses no problem for JTB.
Case II has Gettier guilty of not getting Smith's belief right to begin with. Convention did not notice, because he followed all the rules of belief attribution/reporting practices. When we do get Smith's belief right, the 'problem' dissolves completely. As above, justified, valid, false belief is not a problem for JTB. Gettier was/is not alone. He merely followed the historical conventional practices of belief attribution based upon rendering all belief in propositional form. Convention still treats naked propositions as equivalent to belief when rendering an individuals' belief in propositional form. It manifests from the divorce/separation of truth and belief. That's the reason why Gettier's paper has persisted.
Another historical problem is the conventional mistake of treating belief as though it is equivalent to the naked proposition. It's not. We can know that by virtue of carefully comparing what it would take for the belief under consideration to be true with what it would take in order for the naked proposition to be true. They are not always the same. This is one such case. It's not the only one. Case I is yet another.
Smith's belief
is not just that the disjunction is true. Rather, it is more about his knowing what makes the disjunction true. Think about what all it takes in order for an individual to do what Gettier suggests Smith does in his thought/belief formation process. Smith has to know enough to deliberately follow the S knows that P formula that Gettier was targeting. Gettier even goes so far as to openly claim that Smith knows the rules of disjunction as well as the rules of entailment, for it is the entailment that Gettier uses in order for him to claim that Smith knowingly deduced P or Q from P. Gettier even added that Smith was aware of the move, which presupposes that he intentionally and deliberately knowingly made it. Then he forgets all about that part. Odd, given he was supposed to be reporting Smith's belief.
Think about it in a way that's been sorely neglected. It's common sense.
If Smith believed that Jones owned a Ford, and he was adept enough to know that the rules of entailment would allow him to deduce "Either Jones owns a Ford or Brown is in Barcelona"
from his belief that Jones owned a Ford, then it only follows that he did not believe that the disjunction was true as a result of Brown's whereabouts. It was. To quite the contrary, he believed it was true
regardless of Brown's whereabouts. It was not.
He only believed the disjunction was true because he believed Jones owned a Ford. He would never have uttered it otherwise. Belief that (P v Q) does not adequately take Smith's belief into account.
That is one historical accounting malpractice.
Belief that "'P or Q' is true because P" is not equivalent to belief that "P or Q" is true.
— creativesoul
But surely is one part of a disjunction is true, the whole disjunction is true. "Jones owned a Ford or Brown is in Barcelona" is true if Jones owned a Ford. Yes? Also "Jones owned a Ford or Brown is in Barcelona" is true if Brown is in Barcelona. Yes? That's all I'm saying. — Ludwig V
Yes. The disjunction was true as a result of Brown's whereabouts, contrary to Smith's belief that it was true regardless of Brown's whereabouts. Gettier admitted as much, but neglected to take that into consideration when reporting Smith's belief. Smith only deduced the disjunction as a result of his believing it was true because Jones owned a Ford.
Belief that the disjunction is true because of P is false when the disjunction is true as a result of Q.
Seems to me that all Gettier cases show problems with the conventional accounting practices.
— creativesoul
I'm sorry, but I don't understand what you mean by conventional or unconventional accounting practices. Can you please explain? — Ludwig V
No worries.
This post touches upon and/or skirts around that aspect a bit more. Happy to answer any questions.