Hacker News new | past | comments | ask | show | jobs | submit login

I'd consider it a type error: he's declaring Lie<T> but providing Lie<Lie<T>>.



Can you draw the truth table of this lie about lying?

Is it a Type 3 error, specifically? I’m not great at coding, but I’m learning with your help!

I’m only half-joking. I have only rudimentary formal logic education, or else I would myself. :P

https://en.wikipedia.org/wiki/Truth_table


What I was trying to get at is that it was agreed that he would lie in a certain context, but he instead lied in a different context that wasn't part of the agreement.

If you buy tickets for a magic show, it's agreed that you will be tricked. But if the trick is that there is no show and they're simply scamming you out of your money, that wouldn't generally be considered acceptable. The show itself and buying tickets for the show are different contexts.

Similarly, a box of cookies is not same thing as a box of boxes of cookies. The contents of the outer box in the latter case wouldn't be very tasty.


> If you buy tickets for a magic show, it's agreed that you will be tricked. But if the trick is that there is no show and they're simply scamming you out of your money, that wouldn't generally be considered acceptable.

This is a great explanation. I was immediately reminded of Joker’s “magic trick” with a pencil during his interrogation in The Dark Knight.

https://youtube.com/watch?v=L3oOldViIgY




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: