0

# Is every statement true?

Thu 2 Jun, 2011 06:22 pm
Consider the following argument:

If a statement is true, then it is a member of the set of true statements.

If a statement is false, then it implies a contradiction (as we find in a proof by contradiction). Since anything follows from a contradiction, it follows that the statement is true. Thus the statement is a member of the set of true statements.

Since a statement is true or false, all statements therefore belong in the set of true statements. All statements are true, with the set of false statements being a subset of the set of true statements. A statement thus is either true and true only, or both true and false.

Does this mean that all statements are true?
• Topic Stats
• Top Replies
Type: Discussion • Score: 0 • Views: 476 • Replies: 5
No top replies

hamilton

1
Thu 2 Jun, 2011 06:26 pm
@browser32,
wait... brain... hurt... YES!
0 Replies

Oylok

1
Sat 4 Jun, 2011 11:24 am
@browser32,
Here's the flaw in your argument...

It comes at the point where you consider an arbitrary false statement and try to show that it is a member of the set of true statements. (Nothing wrong with doing that in logic, if you can pull it off, but here you just can't...)

browser32 wrote:

If a statement is false, then it implies a contradiction (as we find in a proof by contradiction). Since anything follows from a contradiction, it follows that the statement is true. Thus the statement is a member of the set of true statements.

Okay you're considering the case of a statement that is false.

In "proof by contradiction", an assumption that a false statement is true leads to a contradiction, from which in turn follows any conclusion you like, including your own desired conclusion in this thread that our false statement is a member of the set of true statements.

But we are not assuming that our false statement is true; we are considering the case where it is false. A contradiction does not follow from an assumption we haven't made about our false statement being true. We may not conclude anything we like from a contradiction that we haven't derived. Specifically, we cannot conclude that the false statement under consideration is a member of the set of true statements.

Sorry, friendo, but your argument doesn't demonstrate that there is any kind of paradox associated either with proof by contradiction or with axiomatic set theory.

It does, however, demonstrate some clever sleight of hand.
browser32

1
Sat 4 Jun, 2011 12:34 pm
@Oylok,
This doesn't contradict the fact that a false statement implies a contradiction, as indirect proofs show. Any statement we consider can be thought of as having a "...is true" suffix added to it. For example, "1 + 1 = 2" can be thought of as saying "1 + 1 = 2 is true," and "1 + 2 = 5" can be thought of as saying "1 + 2 = 5 is true." When we consider a statement we thus are always considering its truth. Consider the statement "The color red is green." This is like saying "'The color red is green' is true." This statement is false, because it implies a contradiction. Not only does it imply a contradiction, but it can be thought of as being a contradiction in and of itself. After all, red is not green.

When you say
Quote:
you are saying essentially the same thing. When we assume a false statement, we are assuming the statement as if the "... is true" suffix was there. While the statement may be false, it itself says it is true. Not only does this "lead" to a contradiction, it's a contradiction itself. As you can see here we do not even have to "assume" the statement true at all. A false statement, in and of itself, is a contradiction. Thus it's false, but it's also true. So, every statement is true, while only some of these statements are false.
0 Replies

hamilton

1
Sun 5 Jun, 2011 01:34 pm
the existence of the quality of every statement is true. if a statement is false, then the falsity of that statement exists, and is therefore true.
0 Replies

kuvasz

1
Tue 14 Jun, 2011 09:36 pm
@browser32,
yes, and no.
0 Replies

### Related Topics

Is it 'racist' to slur racists? - Question by mark noble
Do false statements imply contradictions? - Discussion by browser32