this post was submitted on 21 Sep 2025
35 points (100.0% liked)
Wikipedia
3768 readers
263 users here now
A place to share interesting articles from Wikipedia.
Rules:
- Only links to Wikipedia permitted
- Please stick to the format "Article Title (other descriptive text/editorialization)"
- Tick the NSFW box for submissions with inappropriate thumbnails
- On Casual Tuesdays, we allow submissions from wikis other than Wikipedia.
Recommended:
- If possible, when submitting please delete the "m." from "en.m.wikipedia.org". This will ensure people clicking from desktop will get the full Wikipedia website.
- Use the search box to see if someone has previously submitted an article. Some apps will also notify you if you are resubmitting an article previously shared on Lemmy.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
You're correct, it says so in the article further down, It's not a paradox in the "formal" sense, it's only a paradox in the sense of what intuitively would be considered evidence, but in actuality isn't, I'll try to give an easier example to demonstrate use of actual basic logic.
Claim: "all natural* numbers are even".
Notice that pointing at a natural number which doesn't contradict the claim, isn't evidence, and that exists infinitely many natural numbers who don't contradict the claim (2, 4, ...), yet 1 does, and is considered evidence to the contrary.
Notice that pointing at a non-natural number, which doesn't satisfy the claim, also isn't evidence, also in this case there are infinitely many such numbers (-1, -3, ½,...).
Also as a demonstration, let's invert the claim formally, we swap "all" with "exists", and invert predicates: "exists a natural number which isn't even", this inverse is useful because it can point to how to disprove the original claim, because there exists such a number (1), i can say that i proved the inverse of the original claim, this is equivalent to disproving it.
Tldr: the paradox is a short exercise in how formal logic differs from naive intuition, there isn't really a paradox.