Smith believes that Jones owns a Ford. Smith believes that the statement 'Jones owns a Ford' is true. Smith believes the disjunction 'Jones owns a Ford or Brown is in Barcelona' follows from the statement 'Jones owns a Ford'.
Now from here, you and Gettier want to say that Smith believes that the disjunction 'Jones owns a Ford or Brown is in Barcelona' is true.
Is that right? — creativesoul
p1. ((p) is true)
p2. ((p v q) follows from (p))
p3. ((p v q) is true if either (p) or (q) is true)
C1. ((p v q) is true because (p))(from p1,p3)
Elegance — creativesoul
Belief that:((p v q) is true) is not equivalent to belief that:((p v q) is true because (p)) — creativesoul
Salva veritate
There are no problems with this formula. Imagine any disjunction arrived at by virtue of deducing it from believing P. Fill it out. — creativesoul
Your logic and/or some of the rules are wrong. — creativesoul
1. p
2. p ⊨ p ∨ q
3. p ∨ q
4. Socrates is a man
5. If Socrates is a man then Socrates is mortal
6. Therefore, Socrates is mortal
Salva veritate
Why do you keep saying this? It has no bearing on our discussion.
It bears on the discussion by virtue of pointing out that the two are not equivalent.
Belief that:((p v q) is true) is not equivalent to belief that:((p v q) is true because (p))
The former neglects the other deduction. The latter exhausts the former, but not the other way around. The latter is utterly inadequate for representing the necessary thought/belief process required for believing Q when Q is a disjunction arrived at from believing P. — creativesoul
1. p
2. p ⊨ p ∨ q
3. p ∨ q
4. Socrates is a man
5. If Socrates is a man then Socrates is mortal
6. Therefore, Socrates is mortal
There's something missing. Do you not notice? — creativesoul
I've little to no reason to continue this discussion. You deny a clearly missing premiss — creativesoul
I agree Smith knows what the disjunction means.
Knowing what a disjunction means requires knowing what makes it true. — creativesoul
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.