Set it all out Michael...

Show me don't tell me.

Not all syllogisms are valid

The rational and wise person knows that validity is insufficient for truth. — creativesoul

Nobody is saying that the conclusion is true because the argument is valid. There are two different parts to this scenario. The argument is valid and the conclusion is true.

Set it all out Michael... — creativesoul

I've set it out many times. Here it is again:

1. I am a woman
2. I am a woman or London is the capital city of France

Valid with a false conclusion.

3. I am a woman
4. I am a woman or London is the capital city of England

Valid with a true conclusion.

5. Jones owns a Ford
6. Jones owns a Ford or Brown is in Barcelona

Valid with a true conclusion.

Not all syllogisms are valid — creativesoul

The examples I have given are valid.

You're missing a few steps...

And it's an argument from insincerity. Want me to prove that for you?

p1. ((p) is true)
p2. ((p v q) follows from (p))
p3. ((p v q) is true if...( ))
C1. ((p v q) is true because(insert belief statement(s) corresponding to the prior 'if'))(from p1,p3)

Fill it out...

A sincere speaker believes what s/he says. Sincerity is the hallmark of honesty. An honest argument starts out with belief. Premisses presuppose their own truth.

So, I check in on the refutation thread and low and behold it says that it had been merged into here and/or moved to here...

Hmmm...

Must take more time than I had imagined.

From the first page...

No. You're missing the point.

Smith - himself - would not form belief about Brown's location. One cannot know they are ignorant about Brown's location and simultaneously form and/or hold a belief about where Brown is located.

The mistake here is conflating knowledge of the rules of entailment/disjunction with belief. Believing that (g), (h), and (i) are entailed by (f) is not equivalent to believing the disjunctions. Following established rules counts as being justified in putting those rules to use. Smith is justified in believing that he has followed the rules of correct inference to correctly/sensibly arrive at disjunction.

Smith - himself - would not form belief about Brown's location. One cannot know they are ignorant about Brown's location and simultaneously form and/or hold a belief about where Brown is located. — creativesoul

He doesn't need to form a belief about Brown's location to believe that "Jones owns a Ford or Smith is in Barcelona" is true. He only needs to believe that Jones owns a Ford.

Moreover, it is humanly impossible to believe that (g), (h), and (i) are true. Gettier's case neglects this brute fact.

No it isn't. I believe all of these to be true:

1. London is the capital city of England or pigs can fly
2. London is the capital city of England or pigs can't fly
3. London is the capital city of England or there are no pigs

I believe them to be true because I believe that London is the capital city of England and that if London is the capital city of England then 1, 2, and 3 are true. Incidentally, 1, 2, and 3 are true.

You seem to not understand disjunctions.

As a simple task, which of 1, 2, and 3 do you believe to be true and which do you believe to be false?

Gettier states:

I shall begin by noting two points. First, in that sense of "justified" in which S's being justified in believing P is a necessary condition of S's knowing that P, it is possible for a person to be justified in believing a proposition that is in fact false.

I would concur.

Secondly, for any proposition P, if S is justified in believing P, and P entails Q, and S deduces Q from P and accepts Q as a result of this deduction, then S is justified in believing Q.

This is not always true. To be as precise as ordinary language allows:S must first arrive at a belief before we can say that S is justified in forming/holding that belief. In Gettier Case II, the above formulation is utterly inadequate for S's arriving at belief that:((p v q) is true).

Keeping these two points in mind I shall now present two cases in which the conditions stated in (a) are true for some proposition, though it is at the same time false that the person in question knows that proposition.

This I outright deny.

Gettier's aims at a case that Smith forms/holds a Justified True Belief that:((p v q) is true) by virtue of going through the thought/belief process set out in the above formulation beginning with "Secondly..." Belief that:((p v q) is true) is the only value appropriate for Q in that formulation, for Q is (p v q) and believing Q is nothing less than belief that (p v q) is true. Hence, believing Q is belief that:((p v q) is true).

I will show that Gettier's formulation is inadequate regarding it's ability to take proper account of the thought/belief process required for S's belief that:((p v q) is true). S cannot arrive at that without another step that Gettier leaves out. To be clear, if the astute reader looks carefully at that formulation, s/he will note that only one deduction is purportedly necessary in order to satisfy the formulation. Namely, S's deducing Q from P.

I'm strongly asserting that it takes more than one deduction for S to arrive at belief that:((p v q) is true), and since that is the case, it only follows that Gettier's criterion is inadequate. That will be clearly shown.

To be clear, for any proposition P, if S is justified in believing P, and P entails Q, and S deduces Q from P and accepts Q as a result of this deduction then S is not necessarily justified in believing Q, for - in this case in particular - believing Q is nothing less than belief that:((p v q) is true) and S cannot arrive at that following Gettier's formulation. Belief that:((p v q) is true) requires yet another deduction that is left sorely unaccounted for in Gettier's formulation. It's been said heretofore, but it now bears repeating...

S must first arrive at a belief before we can say that S is justified in forming/holding that belief. In Gettier Case II, the above formulation is utterly inadequate for S's arriving at belief that:((p v q) is true). The following argument represents the process of thought/belief that is necessary prior to even being able to arrive at believing Q and is an exhaustive account thereof.

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)

Gettier wrote:

Let us suppose that Smith has strong evidence for the following proposition:

(f) Jones owns a Ford.

Smith's evidence might be that Jones has at all times in the past within Smith's memory owned a car, and always a Ford, and that Jones has just offered Smith a ride while driving a Ford. Let us imagine, now, that Smith has another friend, Brown, of whose whereabouts he is totally ignorant. Smith selects three placenames quite at random and constructs the following three propositions:

(g) Either Jones owns a Ford, or Brown is in Boston.
(h) Either Jones owns a Ford, or Brown is in Barcelona.
(i) Either Jones owns a Ford, or Brown is in Brest-Litovsk.

Each of these propositions is entailed by (f). Imagine that Smith realizes the entailment of each of these propositions he has constructed by (0, and proceeds to accept (g), (h), and (i) on the basis of (f). Smith has correctly inferred (g), (h), and (i) from a proposition for which he has strong evidence...

Note the above stopping point. The quote ends at the precise point where Gettier's next line concludes(by necessary implication) that Smith believes Q. Believing Q is precisely what's at issue here. Q is (p v q). Believing (p v q) is believing that (p v q) is true. Hence, Smith's believing Q is nothing less than Smith's belief that:((p v q) is true). So, using Case II, Gettier has filled out his earlier formulation. Here it is again...

Gettier wrote:

S is justified in believing P, and P entails Q, and S deduces Q from P and accepts Q as a result of this deduction...

Note here that this quote's stopping point coincides with Case II's, as shown directly above. As Gettier says, Smith believes Jones owns a Ford. Smith constructs (g), (h), and (i); all of which are (p v q). Smith believes p, and deduces (p v q) from p and accepts (p v q) as a result of this deduction. There is nothing about Smith's thought/belief process that the first two premisses below cannot effectively exhaust...

p1. ((p) is true)
p2. ((p v q) follows from (p))

Now, it is well worth mentioning here that nowhere in any of this(the above direct quotes from Gettier) is anything at all about Smith's believing Q. That is of irrevocable significance. It is a crucial point to consider here. Smith has yet to have gotten to the point where he has formed and/or holds belief that:((p v q) is true). Gettier thinks otherwise, as is shown by his saying...

Gettier:

...Smith is therefore completely justified in believing each of these three propositions...

...and...

...S is justified in believing Q.

He lost sight of exactly what believing Q requires. It requires precisely what follows...

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)


Thus, we can clearly see that Gettier's formulation is inadequate to account for the belief that he needs for Smith to hold in order to make his case. Getting to belief that:((p v q) is true) requires both p3. and C1. Further we can also see that Smith's belief is not true, for he does not ever get to belief that:((p v q) is true). Gettier wants us to believe that Smith holds the belief that:((p v q) is true). This post has shown all sorts of problems with Gettier's formulation, and the aforementioned want of Gettier is just yet another.

Belief that:((p v q) is true) is not equivalent to belief that:((p v q) is true because (p)). The former is existentially contingent upon the latter and has a different set of truth conditions. The latter consists in part of the deduction missing in Gettier's account. The missing necessary deduction clearly shows that Smith's belief is false, Gettier's formulation is inadequate, and the 'problem' regarding Case II is non-existent.

Salva veritate

Smith believes Jones owns a Ford. Smith believes that 'Jones owns a Ford' is true. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' follows from 'Jones owns a Ford'. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' is true if either 'Jones owns a Ford' or 'Brown is in Barcelona' is true. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' is true because Jones owns a Ford.

QED

Take it from the top...

Can I get paid yet???

8-)

Smith - himself - would not form belief about Brown's location. One cannot know they are ignorant about Brown's location and simultaneously form and/or hold a belief about where Brown is located.
— creativesoul

He doesn't need to form a belief about Brown's location to believe that "Jones owns a Ford or Smith is in Barcelona" is true. He only needs to believe that Jones owns a Ford.

Moreover, it is humanly impossible to believe that (g), (h), and (i) are true. Gettier's case neglects this brute fact.

No it isn't. I believe all of these to be true:

1. London is the capital city of England or pigs can fly
2. London is the capital city of England or pigs can't fly
3. London is the capital city of England or there are no pigs

I believe them to be true because I believe that London is the capital city of England, and I believe that if London is the capital city of England then 1, 2, and 3 are all true.

You seem to not understand disjunctions.

I understand disjunctions just fine. You do not seem to understand irrelevance.

Take it from the top...

I understand disjunctions just fine. — creativesoul

Then tell me which of these you believe to be true and which you believe to be false:

1. London is the capital city of England or pigs can fly
2. London is the capital city of England or pigs can't fly
3. London is the capital city of England or there are no pigs

I believe all three to be true.

Take it from the top...

You're deflecting. Which of those do you believe to be true and which do you believe to be false?

There is no such belief. I've shown the thought/belief process.

Fill it out.

If what you're saying doesn't fill it out, or cannot fill it out properly...

Refute the argument. Start at the top.

You've been proofed.

There is no such belief. — creativesoul

Then you don't understand disjunctions. If you understand disjunctions (and if you believe that London is the capital city of England) then you will believe that those three disjunctions are true. Here's a truth table to make it clear:

Here we go...

Brace yourself Michael...

p1. ((p) is true)
p2. ((p v q) follows from (p))
p3. ((p v q) is true if...(insert appropriate belief statement(s) about truth condition(s))
C1. ((p v q) is true because (insert belief statement(s) corresponding to 'if' in p3))(from p1,p3)

Start at the top...

We've gone over this countless times.

C2. p ∨ q (from C1)

This is the true belief.

Gettier states:

I shall begin by noting two points. First, in that sense of "justified" in which S's being justified in believing P is a necessary condition of S's knowing that P, it is possible for a person to be justified in believing a proposition that is in fact false.

I would concur.

Secondly, for any proposition P, if S is justified in believing P, and P entails Q, and S deduces Q from P and accepts Q as a result of this deduction, then S is justified in believing Q.

This is not always true. To be as precise as ordinary language allows:S must first arrive at a belief before we can say that S is justified in forming/holding that belief. In Gettier Case II, the above formulation is utterly inadequate for S's arriving at belief that:((p v q) is true).

Keeping these two points in mind I shall now present two cases in which the conditions stated in (a) are true for some proposition, though it is at the same time false that the person in question knows that proposition.

This I outright deny.

Gettier's aims at a case that Smith forms/holds a Justified True Belief that:((p v q) is true) by virtue of going through the thought/belief process set out in the above formulation beginning with "Secondly..." Belief that:((p v q) is true) is the only value appropriate for Q in that formulation, for Q is (p v q) and believing Q is nothing less than belief that (p v q) is true. Hence, believing Q is belief that:((p v q) is true).

I will show that Gettier's formulation is inadequate regarding it's ability to take proper account of the thought/belief process required for S's belief that:((p v q) is true). S cannot arrive at that without another step that Gettier leaves out. To be clear, if the astute reader looks carefully at that formulation, s/he will note that only one deduction is purportedly necessary in order to satisfy the formulation. Namely, S's deducing Q from P.

I'm strongly asserting that it takes more than one deduction for S to arrive at belief that:((p v q) is true), and since that is the case, it only follows that Gettier's criterion is inadequate. That will be clearly shown.

To be clear, for any proposition P, if S is justified in believing P, and P entails Q, and S deduces Q from P and accepts Q as a result of this deduction then S is not necessarily justified in believing Q, for - in this case in particular - believing Q is nothing less than belief that:((p v q) is true) and S cannot arrive at that following Gettier's formulation. Belief that:((p v q) is true) requires yet another deduction that is left sorely unaccounted for in Gettier's formulation. It's been said heretofore, but it now bears repeating...

S must first arrive at a belief before we can say that S is justified in forming/holding that belief. In Gettier Case II, the above formulation is utterly inadequate for S's arriving at belief that:((p v q) is true). The following argument represents the process of thought/belief that is necessary prior to even being able to arrive at believing Q and is an exhaustive account thereof.

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)

Gettier wrote:

Let us suppose that Smith has strong evidence for the following proposition:

(f) Jones owns a Ford.

Smith's evidence might be that Jones has at all times in the past within Smith's memory owned a car, and always a Ford, and that Jones has just offered Smith a ride while driving a Ford. Let us imagine, now, that Smith has another friend, Brown, of whose whereabouts he is totally ignorant. Smith selects three placenames quite at random and constructs the following three propositions:

(g) Either Jones owns a Ford, or Brown is in Boston.
(h) Either Jones owns a Ford, or Brown is in Barcelona.
(i) Either Jones owns a Ford, or Brown is in Brest-Litovsk.

Each of these propositions is entailed by (f). Imagine that Smith realizes the entailment of each of these propositions he has constructed by (0, and proceeds to accept (g), (h), and (i) on the basis of (f). Smith has correctly inferred (g), (h), and (i) from a proposition for which he has strong evidence...

Note the above stopping point. The quote ends at the precise point where Gettier's next line concludes(by necessary implication) that Smith believes Q. Believing Q is precisely what's at issue here. Q is (p v q). Believing (p v q) is believing that (p v q) is true. Hence, Smith's believing Q is nothing less than Smith's belief that:((p v q) is true). So, using Case II, Gettier has filled out his earlier formulation. Here it is again...

Gettier wrote:

S is justified in believing P, and P entails Q, and S deduces Q from P and accepts Q as a result of this deduction...

Note here that this quote's stopping point coincides with Case II's, as shown directly above. As Gettier says, Smith believes Jones owns a Ford. Smith constructs (g), (h), and (i); all of which are (p v q). Smith believes p, and deduces (p v q) from p and accepts (p v q) as a result of this deduction. There is nothing about Smith's thought/belief process that the first two premisses below cannot effectively exhaust...

p1. ((p) is true)
p2. ((p v q) follows from (p))

Now, it is well worth mentioning here that nowhere in any of this(the above direct quotes from Gettier) is anything at all about Smith's believing Q. That is of irrevocable significance. It is a crucial point to consider here. Smith has yet to have gotten to the point where he has formed and/or holds belief that:((p v q) is true). Gettier thinks otherwise, as is shown by his saying...

Gettier:

...Smith is therefore completely justified in believing each of these three propositions...

...and...

...S is justified in believing Q.

He lost sight of exactly what believing Q requires. It requires precisely what follows...

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)


Thus, we can clearly see that Gettier's formulation is inadequate to account for the belief that he needs for Smith to hold in order to make his case. Getting to belief that:((p v q) is true) requires both p3. and C1. Further we can also see that Smith's belief is not true, for he does not ever get to belief that:((p v q) is true). Gettier wants us to believe that Smith holds the belief that:((p v q) is true). This post has shown all sorts of problems with Gettier's formulation, and the aforementioned want of Gettier is just yet another.

Belief that:((p v q) is true) is not equivalent to belief that:((p v q) is true because (p)). The former is existentially contingent upon the latter and has a different set of truth conditions. The latter consists in part of the deduction missing in Gettier's account. The missing necessary deduction clearly shows that Smith's belief is false, Gettier's formulation is inadequate, and the 'problem' regarding Case II is non-existent.

Salva veritate

Smith believes Jones owns a Ford. Smith believes that 'Jones owns a Ford' is true. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' follows from 'Jones owns a Ford'. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' is true if either 'Jones owns a Ford' or 'Brown is in Barcelona' is true. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' is true because Jones owns a Ford.

QED

Take it from the top...

Prior to language comes belief. Belief presupposes it's own truth. Therefore, truth begins in thought/belief formation that happens prior to language acquisition. How far back do we need to go?

You get thought/belief wrong, then you get something or other wrong about every utterance throughout human history, regardless of individual(cultural, familial, and/or historical) particulars...

Smith believes Jones owns a Ford. Smith believes that 'Jones owns a Ford' is true. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' follows from 'Jones owns a Ford'. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' is true if either 'Jones owns a Ford' or 'Brown is in Barcelona' is true. Smith believes that 'Either Jones owns a Ford or Brown is in Barcelona' is true because Jones owns a Ford. — creativesoul

I believe that John is a bachelor. I believe that "John is a bachelor" is true. I believe that "John is a man" follows from "John is a bachelor". I believe that "John is a man" is true if "John is a bachelor" is true. I believe that "John is a man" is true because John is a bachelor.

John is a man but isn't a bachelor. So my belief that 1) ["John is a man" is true because John is a bachelor] is false, but my belief that 2) ["John is a man" is true] is true.

Smith's belief that 1) ["Jones owns a Ford or Brown is in Barcelona" is true because Jones owns a Ford] is false, but his belief that 2) ["Jones owns a Ford or Brown is in Barcelona" is true] is true.

Ignoring 2 doesn't make it go away.

One can have a true belief arrived at from a false reason.