## A guy goes into a Jewel-store owned by a logician who never lies...

• 1k
A guy goes into a jewelry-store.

Working at the counter, as sales-clerk, is a logician who never lies.

The customer goes up to the counter/display-case. In that case is an immense diamond, so large that it’s surely worth 20 million dollars. A sign next to that diamond says the following:

“If, at any particular time, you have given $5000 to the sales-clerk (under no circumstances will it be returned), then, within 60 seconds after your giving him that money, he will give you this diamond, and it will at that time become yours.” Customer: “That’s a valuable diamond. Is that sign true?? Clerk: “Yes”. Customer: “I don’t know, are you sure about that? Can I believe that?” Clerk: I said it’s true, didn’t I? The clerk leans forward, and says: “I don’t like being called a liar.” The clerk then raises his right arm, elbow at right-angle, hand open, and says, “I swear to you, I swear on my honor, that that sign’s implication-proposition is true.” Finally convinced, the customer gives$5000 to the clerk.

The clerk accepts the money, says “Thank you”, and puts it in his pocket.

After a while, the customer says, “Well?”

Clerk: “Well what?”

Customer: “The diamond. Are you going to give it to me?”

Clerk: “No, I’m not going to give it to you.”

Customer: “What?”

Clerk: “Do you think that anyone would sell a diamond that size for that price?”

Customer: “The sign says that you will.”

Clerk: You gave me $5000. I refuse to give you the diamond. Obviously the sign isn’t true, is it.” Customer: “But you swore that it was true. You raised your hand and swore on your honor that it was true!” Clerk: “It was true when I said it was true. It was true then, because you hadn’t yet given me the money. Every implication-proposition is true if its premise isn’t true. The premise of the implication-proposition was that you’ve given me the money. You hadn’t given me the money. The premise wasn’t true. Therefore the implication proposition was true then. Didn’t you know that every implication proposition is true if its premise isn’t true? Such a proposition can only be false if its premise is true and its conclusion is false, as is the case now. Michael Ossipoff • 1 This is completely wrong. In classical logic that "every implication-proposition is true if its premise isn’t true" is based on the fact that there is never any change in the truth value of any proposition. The premise in the implication-proposition in the sign is "If, at any particular time, you have given$5000 to the sales-clerk". In the scenario described, this does not have a fixed truth value, hence the application of a classical fixed truth value analysis is absurd - hence the absurd result, a result that would not hold in any court of law - for obvious reasons.

The same invalid application of classical fixed value logic to various real life scenarios that do not have fixed truth values is a common method of producing conundrums.
• 6.3k

I believe he's referring to this truth table:

p	q	p → q
T	T	  T
T	F	  F
F	T	  T
F	F	  T


p → q is true if p is false.
• 1.1k
The customer asked if the sign was true, not if the implication-proposition was true. The sign includes the premise and the implication-proposition. The clerk said that the sign was true. But only part of it was true and the other part was false. Therefore the clerk lied.

If at any given moment part of the sign is false and part is true, then the clerk can't say that the sign is true. The sign is both true and false, which just makes the sign illogical. The clerk also lied that he was a logician.

The sign is an IF-THEN statement. How are IF-THEN statements not true? They aren't unless we are missing information to put into the logical system. The implication always follows the premise assuming you have all the right information going in. It is only when you don't have all the information can it seem like the conclusion is false when the hypothesis is true. The missing information is what the clerk didn't tell the customer. If the customer had been given that information then they wouldn't have been tricked. So this isn't an example of how logic fails. It is an example of how one can use logic to get the wrong answers when they don't have all the information needed to get the right answer. In order for logic to work, you have to put in all the relevant information.
• 6.3k

As the above truth table shows, "if p then q" is true if "p" is false.

p ≔ You have given $5,000 to the sales-clerk q ≔ He will give you the diamond So, "if you have given$5,000 to the sales-clerk then he will give you the diamond" is true if "you have given $5,000 to the sales-clerk" is false. • 1k This is completely wrong. In classical logic that "every implication-proposition is true if its premise isn’t true" is based on the fact that there is never any change in the truth value of any proposition I'd checked various articles on the subject, put up by various universities. Their definitions didn't include a stipulation about truth values never changing. Of course It isn't a matter that affects my metaphysical proposal. It was only intended to show that the usual 2-valued truth-functional implication truth-table that I'd read about could lead to an undesirable conclusion. Michael Ossipoff • 6.3k It was only intended to show that the usual 2-valued truth-functional implication truth-table that I'd read about could lead to an undesirable conclusion. The paradoxes of material implication. • 1k The customer asked if the sign was true, not if the implication-proposition was true. The sign includes the premise and the implication-proposition. Of course the proposition's premise is mentioned, but only as part of the implication proposition. You can't say A => B without mentioning A. So no, the sign tells nothing but the implication-proposition. The clerk said that the sign was true. But only part of it was true and the other part was false. Therefore the clerk lied. See above. If at any given moment part of the sign is false and part is true, then the clerk can't say that the sign is true. The sign doesn't have a part other than its statement of the implication-proposition. The sign is both true and false, which just makes the sign illogical. ...based on your claim that the sign said more than the implication-proposition. See above. The sign is an IF-THEN statement. How are IF-THEN statements not true? By that standard truth-table that i referred to, they're false only if the premise is true and the conclusion is false. They aren't unless we are missing information to put into the logical system. The implication always follows the premise assuming you have all the right information going in. It is only when you don't have all the information can it seem like the conclusion is false when the hypothesis is true. The missing information is what the clerk didn't tell the customer. What didn't the clerk tell the customer? The sign spoke for itself, when it told the implication-proposition. If the customer had been given that information then they wouldn't have been tricked. I didn't say the clerk was honest or not a crook. I merely said that he didn't lie. The whole truth would have had to include, "After you give me the money, I'll keep the diamond." Of course the clerk didn't volunteer the whole truth (which he wasn't asked about). If the customer had asked, "If I give you$5000, will you really give me the diamond?", and the Clerk had answered "Yes", then, having been paid, the clerk would have to give the diamond or be a liar.

But the only thing stated or asked about was the truth of the sign's implication-proposition.

So this isn't an example of how logic fails. It is an example of how one can use logic to get the wrong answers when they don't have all the information needed to get the right answer. In order for logic to work, you have to put in all the relevant information.

Yes, the clerk withheld the whole truth, information that he hadn't been asked for.\

The customer was misled and defrauded.

The clerk was a crook. The sign, by not being honored (true) after the money was given, amounted to fraud. The clerk didn't lie, but his sign's implication-proposition did, by being false after the payment was made. The clerk (who also owned the store) of course committed fraud, and of course that's illegal.

So "Don't try this at home".

Michael Ossipoff
• 1k
Let me clarify this more:

The sign asserts the implication-proposition. It doesn't assert that proposition's premise, which is only in an "if" clause (as is the nature of an implication's premise)..

Michael Ossipoff
• 1.2k
I believe the statement was not true when the person first inquired, because the words 'at any particular time' are not constrained to cover only the past, so they cover the future too. It is a universal quantifier: for all t.

If the person is inquiring at time t1, the quantified part of the statement is true for values of t less than t1, by virtue of the above truth tables Null implication) but it is not true for values of t more than or equal to t1. Hence the statement is not true at time t1 because it is universally quantified and it is not true for all values of t.

One might think that removing the universal quantifier will thereby render it true. But then the 't' in the statement (implied in '60 seconds after you have given him your money') becomes a free variable, and in FOPL, a formula containing a free variable entails the version of the formula in which that variable is universally quantified (rule of universal quantification), so we are back where we started.

So I don't think it works. The store clerk lied.
• 1.1k
So, "if you have given $5,000 to the sales-clerk then he will give you the diamond" is true if "you have given$5,000 to the sales-clerk" is false.
That is a contradiction, and therefore can't be logical. That's like saying A x B = 1 if A=0

So, all you've done is create an impossible scenario where someone actually receives the diamond? Is it really is no different than a sign saying, “If, at any particular time, you have given $5000 to the sales-clerk (under no circumstances will it be returned), then, within 60 seconds after your giving him that money, a unicorn will appear, and it will at that time become your best friend.”? • 2.2k One of those times when time is important in logic. The sign was true before the man gave the clerk money and then it became false. However, the IF-THEN logical form isn't defined in temporal terms. If it is then I've never heard of it. From the logic books I've read, the IF-THEN logical form is timeless i.e. we can't change its truth value over time or space. Otherwise, we'd be equivocating all the time, right? So, the logician has lied. • 6.3k That is a contradiction, and therefore can't be logical. That's like saying A x B = 1 if A=0 It's not a contradiction. It's the standard truth table for the material conditional: p q p → q T T T T F F F T T F F T  Where p is false, p → q is true. In our case, p is "you have given$5,000 to the sales-clerk" and q is "he will give you the diamond".
• 6.3k
Another way to look at it:

p → q is logically equivalent to ¬p ∨ q, so "if you have given $5,000 to the sales-clerk then he will give you the diamond" is logically equivalent to "you have not given$5,000 to the sales-clerk or he will give you the diamond".

If you have not given $5,000 to the sales-clerk then "you have not given$5,000 to the sales-clerk or he will give you the diamond" is true. Therefore, if you have not given $5,000 to the sales-clerk then "if you have given$5,000 to the sales-clerk then he will give you the diamond" is true.

Also, p → q is logically equivalent to ¬q → ¬p, so "if you have given $5,000 to the sales-clerk then he will give you the diamond" is logically equivalent to "if he will not give you the diamond then you have not given$5,000 to the sales-clerk". Do you find this latter conditional problematic?
• 1.1k
p → q is logically equivalent to ¬p ∨ q, so "if you have given $5,000 to the sales-clerk then he will give you the diamond" is logically equivalent to "you have not given$5,000 to the sales-clerk or he will give you the diamond".
So then why didn't the clerk give the customer the diamond before the customer gave him the money? The sign would have been true when the customer walked in because the customer had not yet given the clerk the money. Not only that but is the sign true even when no one reads it? If so, then shouldn't everyone who hasn't given the clerk $5000 get the diamond? If you have not given$5,000 to the sales-clerk then "you have not given $5,000 to the sales-clerk or he will give you the diamond" is true. Therefore, if you have not given$5,000 to the sales-clerk then "if you have given $5,000 to the sales-clerk then he will give you the diamond" is true. The word, "or" seems to separate the two statements - making them independent of each other, which means that the conclusion doesn't necessarily follow the premise. All you are saying is "this condition exists or that condition exists". So when the first condition didn't exist, (the customer hadn't given the clerk any money) then the latter condition exists (the clerk should have given the customer the diamond). Also, p → q is logically equivalent to ¬q → ¬p, so "if you have given$5,000 to the sales-clerk then he will give you the diamond" is logically equivalent to "if he will not give you the diamond then you have not given $5,000 to the sales-clerk". Do you find this latter conditional problematic? The latter conditional is saying the same thing as "Give the money to the clerk and he will give you the diamond". The customer gave the money to the clerk, now where is his diamond? Forget about the "truth" table. Just read the words. They contradict each other, which means that the first statement is never true - ever. In other words, it is a false statement. • 6.3k So then why didn't the clerk give the customer the diamond before the customer gave him the money? The sign would have been true when the customer walked in because the customer had not yet given the clerk the money. Not only that but is the sign true even when no one reads it? If so, then shouldn't everyone who hasn't given the clerk$5000 get the diamond?

...

The word, "or" seems to separate the two statements - making them independent of each other, which means that the conclusion doesn't necessarily follow the premise. All you are saying is "this condition exists or that condition exists". So when the first condition didn't exist, (the customer hadn't given the clerk any money) then the latter condition exists (the clerk should have given the customer the diamond).

It's:

1) You have not given $5,000 to the sales-clerk, or 2) He will give you the diamond 1) is true, so 2) needn't be. The latter conditional is saying the same thing as "Give the money to the clerk and he will give you the diamond". No it isn't. It's saying that if "he will not give you the diamond" is true then "you have not given$5,000 to the sales-clerk" is true.

As both "he will not give you the diamond" and "you have not given $5,000 to the sales-clerk" are true, the material conditional is true. Forget about the "truth" table. Just read the words. They contradict each other, which means that the first statement is never true - ever. In other words, it is a false statement. They don't contradict each other, as the truth table shows. • 6.3k As I mentioned before, it's worth checking out the paradoxes of material implication. • 1.1k It's: 1) You have not given$5,000 to the sales-clerk, or
2) He will give you the diamond

1) is true, so 2) needn't be.

Exactly. If 2 isn't logically dependent upon 1 then he will give you the diamond. It would also be incorrect to use the truth table in this instance because now you are saying that 1 isn't necessarily the premise to the conclusion. The two are only related as they are on the same sign. Again, all you are doing is describing two independent conditions, which can be true or false independent of each other.

They don't contradict each other, as the truth table shows.
I said forget about the "truth" table and just read the words. Actually, maybe you should put both conclusions into the truth table and see if that works. Maybe then you'll see the contradiction.
• 6.3k
Exactly. If 2 isn't logically dependent upon 1 then he will give you the diamond. It would also be incorrect to use the truth table in this instance because now you are saying that 1 isn't necessarily the premise to the conclusion. The two are only related as they are on the same sign. Again, all you are doing is describing two independent conditions, which can be true or false independent of each other.

It doesn't need to be logically dependent. The following is a true material conditional:

If my name is Michael then London is the capital city of England.

I said forget about the "truth" table and just read the words.

I have read the words. And I won't forget the truth table, because it's relevant to the topic. The store-clerk is a logician who uses the truth-table of the material conditional to help determine the truth of the sign.
• 1.1k
An IF-THEN statement:
Therefore, if you have not given $5,000 to the sales-clerk then "if you have given$5,000 to the sales-clerk then he will give you the diamond" is true.

Make "if you have not given $5,000 to the sales-clerk" = p and then "if you have given$5,000 to the sales-clerk then he will give you the diamond" = q

Does that make any sense? The premise contradicts part of the conclusion. As I said, "IF A x B = 1 then A=0" is a contradiction.
• 1.1k
I have read the words. And I won't forget the truth table, because it's relevant to the topic. The store-clerk is a logician who uses the truth-table of the material conditional to help determine the truth of the sign.
I'm saying it isn't relevent to the topic. The OP didn't include it. You did later. I'm saying that is you that is off-topic. Just read the sentences. It's more like: if p->q then p is not equal to p.
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.6874536275863647, "perplexity": 851.5386259376116}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2018-22/segments/1526794864798.12/warc/CC-MAIN-20180522151159-20180522171159-00204.warc.gz"}