this post was submitted on 14 Aug 2024
646 points (98.6% liked)

Privacy

32096 readers
706 users here now

A place to discuss privacy and freedom in the digital world.

Privacy has become a very important issue in modern society, with companies and governments constantly abusing their power, more and more people are waking up to the importance of digital privacy.

In this community everyone is welcome to post links and discuss topics related to privacy.

Some Rules

Related communities

much thanks to @gary_host_laptop for the logo design :)

founded 5 years ago
MODERATORS
 

A cookie notice that seeks permission to share your details with "848 of our partners" and "actively scan device details for identification".

you are viewing a single comment's thread
view the rest of the comments
[–] TheTechnician27@lemmy.world 23 points 3 months ago (1 children)

"some content and ads you see may not be as relevant to you" is what we in mathematical logic call a vacuous truth.

[–] tetris11@lemmy.ml 2 points 3 months ago (1 children)

which part is the (false) antecedent, and which part is the statement?

[–] davidagain@lemmy.world 5 points 3 months ago* (last edited 3 months ago) (1 children)

If you're looking for a never true anticedent reason that "some content and ads you see may not be as relevant to you" is vacuous, that would work if they had an ad browser that was 100% effective on the site in question.

If you're looking for a never true anticedent for "If trackers are disabled, some content and ads you see may not be as relevant to you.", it's that you can't disable all trackers with a cookie dialog because of the "necessary cookies" blanket exemption, the too many tick boxes to use "legitimate interest" loophole, and that most websites use "fingerprinting", meaning they reference you not by your cookies but by the worryingly extensive information they get automatically about your browser's version, settings, capabilities and features, and of course IP address. So it's never true that trackers are never disabled.

What the Wikipedia article doesn't explain well in my view, is that logically, "if A then B" means "B or not A" for short, or more explicitly, "in all circumstances, at least one of B, or (not A) , is true". This is vacuously (emptily) true if B is always true or A is always false, because it's not genuinely conditional at all.

So I suspect that they meant it was vacuous, not on the grounds that the anticedent could never be true, but that the consequent could never be false. Like "If you give me $10, the sun will rise tomorrow". In this case, all they need to assert is that "some content and ads you see may not be as relevant to you" is true irrespective of whether trackers are disabled, which is almost certainly what they meant.

I'm curious that the Wikipedia article says the base case in an induction is often vacuously true, but I think they mean trivially true, like cos(1x) + sin(1x) = (cos x + sin x)^1, not vacuously true. I couldn't think of any induction proofs where the base case was literally vacuous except false ones used for teaching purposes, probably because I could only think of induction proofs of absolute rather than conditional ones. Probably there are mathematical fields where induction is used for conditional statements a lot that I'm forgetting.

[–] tetris11@lemmy.ml 4 points 3 months ago

In this case, all they need to assert is that “some content and ads you see may not be as relevant to you” is true irrespective of whether trackers are disabled, which is almost certainly what they meant.

Ah I see. Thanks for the detailed writeup