fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 29 days agoEat leadmander.xyzimagemessage-square285fedilinkarrow-up11.36Karrow-down1110cross-posted to: [email protected]
arrow-up11.25Karrow-down1imageEat leadmander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 29 days agomessage-square285fedilinkcross-posted to: [email protected]
minus-squaremerc@sh.itjust.workslinkfedilinkEnglisharrow-up3·28 days ago“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.
minus-squareJ Lou@mastodon.sociallinkfedilinkarrow-up1·28 days agoThat 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
minus-squaremerc@sh.itjust.workslinkfedilinkEnglisharrow-up1·28 days ago The sentence I used Also has a presupposition.
“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.