• stupidcasey@lemmy.world
    link
    fedilink
    arrow-up
    5
    ·
    25 days ago

    It’s a paradox If he can come in he can come in if he can’t come in he can, But he can’t come in unless she says he can come in and she said he can come in conditionally if he in fact can come in.

    To put it another way:

    Condition 1: Entry is permitted on the grounds that Entry is permitted.

    Condition 2: Entry is permitted on the ground Entry is permitted.

    In Python:

    define Entry(permission):
       if Entry(permission) == True:
          permission = True
       else:
          permission = False
    Entry(False)
    
    • somenonewho@feddit.org
      link
      fedilink
      arrow-up
      2
      ·
      25 days ago

      Sorry bit tired rn and English is a second language to me so I’m not quite understanding your reasoning.

      If he can come in he can come in

      So far so clear

      If he can’t come in he can come in

      Is that a typo?

      My understanding here is this.

      1. The joke is that the correct question in this situation normally would be “May I come in” asking for permission rather than “Can I come in” asking if he (physically or otherwise) is able to come in.

      2. Since Vampires can only cross a threshold if they are “allowed” in or “invited” inside so unless the resident tells him he may come in he actually physically can’t

      However saying he can come in wouldn’t actually be an invitation inside if we’re being nitpicky here since, from the humans point of view, assuming the vampire is another human, he would assume that he can come in from his perspective (i.e. he doesn’t know of any physical hindrance for the Vampire to come in) but since he hasn’t invited him in the Vampire actually can’t come in so the humans statement “You can come in” would be a subjective fact that would not be objectively true?

      Sorry I got more to think about on this but gotta sleep. Maybe I’ll edit this later 😅

      • stupidcasey@lemmy.world
        link
        fedilink
        arrow-up
        1
        ·
        25 days ago

        It was long ago enough to forget what the hell I was talking about but I think you are correct if he can’t, he can’t and I said can, I think it was a typo.

        Not gonna change it just in case I was more profound than I realized, either way it is literally written in code so technically correct.