liar's paradox problem


I need help explaining whether this sentence is a statement:

 ___________________________
|The sentence in this box is a lie.|
|__________________________|
azcalv408Asked:
Who is Participating?
I wear a lot of hats...

"The solutions and answers provided on Experts Exchange have been extremely helpful to me over the last few years. I wear a lot of hats - Developer, Database Administrator, Help Desk, etc., so I know a lot of things but not a lot about one thing. Experts Exchange gives me answers from people who do know a lot about one thing, in a easy to use platform." -Todd S.

SethHoytCommented:
A statement is typically defined as a sentence that is either true or false, but not both. Under that definition, the answer to your question should be clear. Ask yourself this: Is it possible for this sentence to be definitely true or false? That should help you to answer this.

-Seth
0
GwynforWebCommented:
In logic a statement must be either true or false the above is neither true or  false. For if it were true it must also be false and visa versa, nothing concernig truth/falsehood can simultaneously both, in essense there are collections of words that do not have the property of truth or falsehood and as such are not logical statements. There are not many but the above is one of them.
0

Experts Exchange Solution brought to you by

Your issues matter to us.

Facing a tech roadblock? Get the help and guidance you need from experienced professionals who care. Ask your question anytime, anywhere, with no hassle.

Start your 7-day free trial
GwynforWebCommented:
Hi Seth.  I submitted from an unrefreshed page, you must have got there first just as I was starting to type. :-)
0
Keep up with what's happening at Experts Exchange!

Sign up to receive Decoded, a new monthly digest with product updates, feature release info, continuing education opportunities, and more.

zenlion420Commented:
these are interesting statements though.  i ran across some neat stuff on this sort of thing in "godel escher bach".  hofstadter did a great job, in my opinion, of showing the limitations of formal systems by displaying these "well formed strings" that are simultaneously both well formed, according to syntax, and self destructive, as far as gaining any truth.  i think godel's incompleteness theorem shows the same limitations in math.  or maybe it was TNT, i forget, been years.

aloha,

j
0
zenlion420Commented:
wait>>retracting "interesting statements">>turn that into "interesting groups of words".  :)
0
SethHoytCommented:
What I find interesting is how counter-intuitive this can be sometimes. For example,

"This sentence is false."

is not a statement, whereas these:

"This sentence is both true and false."
"This sentence is neither true nor false."

are both statements. They're just false ones. We're not used to thinking about whether a sentence has a decidable truth value, but rather whether it is decidably true. So things like this can be counter to our common sense perception.
0
zenlion420Commented:
that's interesting.

thanks,

j
0
kaller2Commented:
BUT The expert made a logical statement!  He claimed that logical statements are only those ones where you can decide clearly the truth or the falsehood.

So answer me this - never mind the true side,  how could you ever decide if the expert's answer was FALSE?  YOU CANNOT!  So the logical conclusion is that the expert HIMSELF has made special kind of statement that is NOT logical!

If that is true, then the expert is wrong!!!!!!!!


0
kaller2Commented:
I would ask for the points back if I were you.

I would have thought that an experts answers should at least meet his own criteria.  I mean making statements that are impossible to be false, and then presenting them as answers, in the hope of getting points for them. I ask you!  TAUTOLOGY, thats what I call it.  

Thats almost as bad as asking a PARADOX and trying to make it look like a question.

At least I only expect points for a CONTRADICTION.
0
It's more than this solution.Get answers and train to solve all your tech problems - anytime, anywhere.Try it for free Edge Out The Competitionfor your dream job with proven skills and certifications.Get started today Stand Outas the employee with proven skills.Start learning today for free Move Your Career Forwardwith certification training in the latest technologies.Start your trial today
Math / Science

From novice to tech pro — start learning today.