Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ π -¹ ² ³ °

You are not logged in.

- Topics: Active | Unanswered

**atran****Member**- Registered: 2013-07-12
- Posts: 91

Thank you. So, is it safe to say that a boolean expression is a mathematical statement?

Offline

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 6,528

hi atran,

Yes.

Bob

You cannot teach a man anything; you can only help him find it within himself..........Galileo Galilei

Offline

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 6,528

hi Stefy,

I think the Prior argument is clever and interesting but I think it's a fiddle. The argument appears to confuse "TRUE" and "This is TRUE" as the same and so leads to an erroneous result. (Notice that the Wiki writer expresses the point as if it is not generally accepted.)

It is a requirement that the truth state of mathematical statements is never in doubt. I don't think "This is FALSE" fits this requirement, therefore it isn't a mathematical statement.

Bob

You cannot teach a man anything; you can only help him find it within himself..........Galileo Galilei

Offline

**anonimnystefy****Real Member**- From: The Foundation
- Registered: 2011-05-23
- Posts: 15,657

As I said, I do not think it confuses true and "this us true". Can you explain to me why you think your case (iv) lead to a paradix? (Or as the Daleks woukd say simply: "EXPLAIN! EXPLAIN! EXPLAAAIN!" )

Here lies the reader who will never open this book. He is forever dead.

Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment

Offline

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 6,528

hi Stefy,

I thought I had done that already in an earlier post but I'm happy to do it again. I'm assuming that Wiki have correctly stated the argument.

.... every statement includes an implicit assertion of its own truth. Thus, for example, the statement, "It is true that two plus two equals four", contains no more information than the statement "two plus two equals four", because the phrase "it is true that..." is always implicitly there.

It is unclear whether that means

TRUE AND A = A

OR

"A is TRUE AND A = A

so I explored both.

The first diagram below shows the truth table for the first possibility and the third diagram shows the other.

I accept the first as the truth tables are the same.

I do not accept the second as the truth tables are different.

The argument then uses the second interpretation to generate an expression that is shown in my second (and fourth) truth table.

I accept that this statement is FALSE. But I do not accept that the statement is equivalent to the statement "this statement is false".

So I do not think this argument clears up the problem.

Furthermore, let's pretend it does and see where it leads.

We are being asked to accept that

"This statement is true and this statement is false" is FALSE and also that

"This statement is false" is equivalent to "This statement is true and this statement is false".

using substitution that means that

"This statement is false" is FALSE.

This means that "This statement is TRUE" and we are back to the paradox.

Bob

You cannot teach a man anything; you can only help him find it within himself..........Galileo Galilei

Offline

Hi Bob,

Do you agree with Arthur's resolution? Yes / No?

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

'You have made another human being happy. There is no greater accomplishment.' -bobbym

Offline

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 6,528

hi Agnishom,

YES/NO is not possible.

Firstly, some assumptions:

(i) Wiki has correctly given the 'proof'.

(ii) By Arthur's resolution you mean Prior's proof that there is no paradox, but rather the statement is FALSE.

On that basis here's what I think:

(iii) A = "TRUE" AND A ... tick

(iv) A = "This is TRUE" AND A .... X

(iii) and (iv) are not the same thing.

(v) "This is TRUE" AND "This is FALSE" is a FALSE statement .....tick

(vi) There is no paradox ......X

Summary answer = NO

Bob

Offline

**anonimnystefy****Real Member**- From: The Foundation
- Registered: 2011-05-23
- Posts: 15,657

bob bundy wrote:

hi Agnishom,

YES/NO is not possible.

Firstly, some assumptions:

(i) Wiki has correctly given the 'proof'.

(ii) By Arthur's resolution you mean Prior's proof that there is no paradox, but rather the statement is FALSE.

On that basis here's what I think:

(iii) A = "TRUE" AND A ... tick

(iv) A = "This is TRUE" AND A .... X

(iii) and (iv) are not the same thing.

(v) "This is TRUE" AND "This is FALSE" is a FALSE statement .....tick

(vi) There is no paradox ......X

Summary answer = NO

Bob

I disagree on iv)

Here lies the reader who will never open this book. He is forever dead.

Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment

Offline

Hmm, I see

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

'You have made another human being happy. There is no greater accomplishment.' -bobbym

Offline

**bob bundy****Moderator**- Registered: 2010-06-20
- Posts: 6,528

Stefy wrote:

I disagree on iv)

Explain! Explain! Explaaain!

Bob

Offline

Maybe, stefy will tell that This is True is always true

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

'You have made another human being happy. There is no greater accomplishment.' -bobbym

Offline

**anonimnystefy****Real Member**- From: The Foundation
- Registered: 2011-05-23
- Posts: 15,657

No, I will say that "This is true" always has the value of A.

To Bob:

I can't wait for November 23rd!

Here lies the reader who will never open this book. He is forever dead.

Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment

Offline

To anonimnystefy:

Of which year?

'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'

'You have made another human being happy. There is no greater accomplishment.' -bobbym

Offline