this post was submitted on 24 Oct 2024
1255 points (92.4% liked)
Science Memes
11604 readers
266 users here now
Welcome to c/science_memes @ Mander.xyz!
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
- Don't throw mud. Behave like an intellectual and remember the human.
- Keep it rooted (on topic).
- No spam.
- Infographics welcome, get schooled.
This is a science community. We use the Dawkins definition of meme.
Research Committee
Other Mander Communities
Science and Research
Biology and Life Sciences
- !abiogenesis@mander.xyz
- !animal-behavior@mander.xyz
- !anthropology@mander.xyz
- !arachnology@mander.xyz
- !balconygardening@slrpnk.net
- !biodiversity@mander.xyz
- !biology@mander.xyz
- !biophysics@mander.xyz
- !botany@mander.xyz
- !ecology@mander.xyz
- !entomology@mander.xyz
- !fermentation@mander.xyz
- !herpetology@mander.xyz
- !houseplants@mander.xyz
- !medicine@mander.xyz
- !microscopy@mander.xyz
- !mycology@mander.xyz
- !nudibranchs@mander.xyz
- !nutrition@mander.xyz
- !palaeoecology@mander.xyz
- !palaeontology@mander.xyz
- !photosynthesis@mander.xyz
- !plantid@mander.xyz
- !plants@mander.xyz
- !reptiles and amphibians@mander.xyz
Physical Sciences
- !astronomy@mander.xyz
- !chemistry@mander.xyz
- !earthscience@mander.xyz
- !geography@mander.xyz
- !geospatial@mander.xyz
- !nuclear@mander.xyz
- !physics@mander.xyz
- !quantum-computing@mander.xyz
- !spectroscopy@mander.xyz
Humanities and Social Sciences
Practical and Applied Sciences
- !exercise-and sports-science@mander.xyz
- !gardening@mander.xyz
- !self sufficiency@mander.xyz
- !soilscience@slrpnk.net
- !terrariums@mander.xyz
- !timelapse@mander.xyz
Memes
Miscellaneous
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
If we assume that god, by definition, must be omniscient, there is actually a way to disprove the possibility with the following paradox:
This sentence is not known to be true by any omniscient being.
There are also more traditional arguments like the problem of evil
@science_memes
Why must that be true by definition? Many of the Greek gods were clearly not omniscient, because the stories about them all involve intrigues and hiding things from each-other.
Also, you can't disprove a god's existence by making a logic puzzle that's hard for you to puzzle out. Just because it's a toughie for you doesn't mean that it disproves the existence of gods.
That isn't even a particularly difficult logic puzzle.
Self-referential paradoxes are at the heart of limitative results in mathematical logic on what is provable, so it seems plausible a similar self-referential statement rules out omniscience.
Greek gods are gods in a different sense than the monotheistic conception of god that is omniscient, omnipotent and omnibenevolent. Sure, so the argument I give only applies to the latter sense.
@science_memes
That's not a paradox though, it's a silly logic puzzle that isn't hard to solve. It doesn't prove or disprove anything about omniscience or gods.
It is a paradox if you believe there are omniscient beings. If there are no omniscient beings, there is no paradox. The sentence is either true or false. If the sentence is true, we have an omniscient being that lacks knowledge about a true statement. Contradiction. If it is false, there is an omniscient being that knows it to be true. This means that the statement is true, but the statement itself says that no omniscient being knows it to be true. Contradiction.
@science_memes
It's not a paradox, it's a dumb logic puzzle. It's no different than saying something nonsensical like "This sentence contains 2 words".
No, if it is false, then it is simply wrong. A wrong sentence doesn't imply something else is right, it's just wrong.
"This sentence contains 2 words" is a sensible sentence. It has 5 words, so what the sentence says is false.
The self-reference in the sentence is similar to that of the Liar's paradox. Cousins of that paradox have been used to prove major limitative results in mathematical logic such as
https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem
https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theorems
In usual logic, a false sentence implies every sentence.
https://en.wikipedia.org/wiki/Material_conditional
Also, if sentence P is false, then "P is false" is true
@science_memes
"J Lou has stopped beating their spouse."
If this sentence is true, it means you used to beat your spouse. If it is false, it means that you currently beat your spouse. Therefore, it proves that you are married and at some point in time you beat your spouse.
That sentence has a presupposition. The sentence I used can be fully formalized in a logic with predicates for knowledge of an entity and truth
@science_memes
Also has a presupposition.
I don't understand how this disproves the existence of an omniscient being. What if I said "This sentence is not known to be true by any logical being." Is my existence disproven now?
Being logical doesn't imply knowing every true sentence.
Also, see: https://en.wikipedia.org/wiki/Knower_paradox
@science_memes
Logical meaning having the ability to follow logical rules to determine whether or not any statement is true or false. I've followed that train of logic and determined that the sentence you provided is neither true nor false. I've determined that it is paradoxical. Why would an omniscient being be unable to know that this is a paradox?