this post was submitted on 09 Jul 2024
79 points (82.6% liked)

Asklemmy

43803 readers
798 users here now

A loosely moderated place to ask open-ended questions

Search asklemmy ๐Ÿ”

If your post meets the following criteria, it's welcome here!

  1. Open-ended question
  2. Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
  3. Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
  4. Not ad nauseam inducing: please make sure it is a question that would be new to most members
  5. An actual topic of discussion

Looking for support?

Looking for a community?

~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[โ€“] muntedcrocodile@lemm.ee 2 points 4 months ago (2 children)

While proving that 6 is not prime illustrates proving a negative in math, the caution arises in complex, real-world scenarios of non well defined domains. Demonstrating absences beyond math's clarity and definiteness can be challenging if not impossible to say the least.

[โ€“] HoChiMint@hexbear.net 4 points 4 months ago

You are just repeating a myth. A quick look from wikipedia:

Logicians and philosophers of logic reject the notion that it is intrinsically impossible to prove negative claims.[11][12][13][14][15][10][16][17] Philosophers Steven D. Hale and Stephen Law state that the phrase "you cannot prove a negative" is itself a negative claim that would not be true if it could be proven true.[10][18] Many negative claims can be rewritten into logically equivalent positive claims (for example, "No Jewish person was at the party" is logically equivalent to "Everyone at the party was a gentile").[19] In formal logic and mathematics, the negation of a proposition can be proven using procedures such as modus tollens and reductio ad absurdum.[15][10] In empirical contexts (such as the evaluating the existence or nonexistence of unicorns), inductive reasoning is often used for establishing the plausibility of a claim based on observed evidence.[20][10][21] Though inductive reasoning may not provide absolute certainty about negative claims, this is only due to the nature of inductive reasoning; inductive reasoning provides proof from probability rather than certainty. Inductive reasoning also does not provide absolute certainty about positive claims.[19][10]

Demonstrating ~~absences~~ anything beyond math's clarity and definiteness can be challenging if not impossible to say the least.

ftfy

Anyway, just a tip for future comments on the internet: I'd suggest not being an asshole in your very first reply to someone you disagree with unless there's a good reason to be, because it makes you look extremely silly if your shitty comment is actually just wrong. I wouldn't have commented in this thread at all if you hadn't been an immediate asshole to frightful_hobgoblin, but here we are.