Comment on Garter snakes

webghost0101@sopuli.xyz ⁨4⁩ ⁨weeks⁩ ago

• lennivelkant@discuss.tchncs.de ⁨4⁩ ⁨weeks⁩ ago

  Specialists in a specific subfield being pedantic about their subfield? Inconceivable!

  Technically, both assertions are true - under the respective definitions of their field.
  Formally, if the question is ambiguous as to which definition it’s aimed at, either answer without clarification is incorrect* because it assumes a premise that isn’t specified.
  Practically, which answer is right for the question’s purpose is a coin toss between coincidentally useful and accidentally misleading.

  So really, both of them should respond that way.

  ---

  * Note the difference between “(contextually) right”, “(factually) true” and “(formally) correct”:
  I can make formally correct statements based on factually wrong premises like “All cats are blue. My dog is a cat. Thus, my dog is blue.”
  Conversely, I can make factually true statements that happen to be right despite being formally incorrect: “Some cats are black. My dog is not a cat. Thus, my dog is not black.”

  Both of these assume the common context of the culture and vocabulary I am accustomed to: While some cats are blue and some are black, my dog is not a cat, falsifying both the second premise and the conclusion of the first example. The second example is formally incorrect, because the negative association of the minor term (my dog) with the middle term (cats) doesn’t imply any connection with the major term (black, meaning the category of black things).

  However, a different context can alter the facts of the premises: Suppose I’m doing an exercise where I assign animals to groups, visually coded with colors, and cats belong in the blue group. Further, suppose I have only one pet, a cat I nicknamed “dog” (for example because it acts like a dog). That would alter the contextual premises: “blue” and “black” would refer to the respectively color-coded animal groups, while “My dog” would unambiguously refer to the cat of that nickname, since there is only one animal I own that fits that label. In that context, the first conclusion would be both formally and factually correct, while the second would be neither.

  Take away the second premise of each example, however, and the implication becomes formally incorrect, no matter which definition I use for the first premise, because there is no established relationship between my dog and the category of colors it does or doesn’t belong to. The respective conclusion might still be factually true, but that would be a coincidence of context rather than a formally deducable result.

  That has nothing to do with the topic at hand, I just felt like rambling about formal logic and its relation to reality and communication.

  source

  • webghost0101@sopuli.xyz ⁨4⁩ ⁨weeks⁩ ago

    I ❤️ nerds

    source

    • lennivelkant@discuss.tchncs.de ⁨4⁩ ⁨weeks⁩ ago

      Isn’t that why we’re all here? I assume the average layperson wouldn’t concern themselves enough with the different definitions of “venomous” to make a meme about it or respond with an apt explanation and commentary for how that could be communicated.

      source

      • webghost0101@sopuli.xyz ⁨4⁩ ⁨weeks⁩ ago

        It is definitely one if the key reason i am here and on lemmy in general.

        Still the level of depth and quality you provided remains rare, it makes me truly happy i unlocked your ramble with my much more casual commentary.

        I want you to know that regardless of the fact that i know literally nothing about you. I look up to you.

        source

        • -> View More Comments
    • Freefall@lemmy.world ⁨4⁩ ⁨weeks⁩ ago

      Talk nerdy to me.

      source

      • Zorsith@lemmy.blahaj.zone ⁨4⁩ ⁨weeks⁩ ago

        m.youtube.com/watch?v=JO6eydRPpyU

        source
  • Hjalamanger@feddit.nu ⁨4⁩ ⁨weeks⁩ ago

    This comment is good. I up vote good comments. Therefore I up voted this post

    source

    • lennivelkant@discuss.tchncs.de ⁨4⁩ ⁨weeks⁩ ago

      Your conclusion mentions a term not present in the premises.

      (Though we may assume that “this post” is synonymous with “this comment”)

      source
• Kyrgizion@lemmy.world ⁨4⁩ ⁨weeks⁩ ago

  So just like hognose snakes?

  source

  • PotatoesFall@discuss.tchncs.de ⁨4⁩ ⁨weeks⁩ ago

    what did you call me?

    source

    • Ranger@lemmy.blahaj.zone ⁨4⁩ ⁨weeks⁩ ago

      A fish.

      source
• ik5pvx@lemmy.world ⁨4⁩ ⁨weeks⁩ ago

  So why did I kept getting killed by them in Nethack?

  source

  • Ranger@lemmy.blahaj.zone ⁨4⁩ ⁨weeks⁩ ago

    You’re a frog?

    source