3 ms·

Isn’t it a lie to to invite folks to a lecture where it’s understood that you will lie, only to tell the truth instead?

• ptx 5y ago
  I'd consider it a type error: he's declaring Lie<T> but providing Lie<Lie<T>>.
  • aspenmayer 5y ago
    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 https://en.wikipedia.org/wiki/Truth_table
    • ptx 5y ago
      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.
      • aspenmayer 5y ago
        > 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 https://youtube.com/watch?v=L3oOldViIgY
• euroderf 5y ago
  Of course, this was all key to the crew of the Enterprise escaping the evil clutches of Harry Mudd.
  • aspenmayer 5y ago
    That’s a deep cut. I need to watch Enterprise all the way through.