Interesting Links for 05-06-2022

[andrewducker]

1. New law grants ministers immunity for ordering crimes abroad

(tags:torture murder UK law conservatives )

2. I think a lot of people don't even know what they mean by cancel culture

(tags:business society politics )

3. Bees are legally fish in California

(tags:bees fish law California USA )

4. Smart Asian women are the new targets of CCP global online repression

(tags:China women propaganda )

Comments

[jack]

Apparently the law said something like "fish, defined as wild fish, something, something, and invertebrates", so it does make sense that that could be interpreted as meaning either "seafood" or "all invertebrates". It apparently didn't try to say that fish WERE invertebrates, despite the headline .

[calimac]

Maybe that helps, because the article as written seems unaware that fish, as normally defined, aren't invertebrates.

[simont]

Happily, since there's no such thing as a fish, all these statements about fish are in fact statements about elements of the empty set, and hence vacuously true, no matter how confusing :-)

[andrewducker]

I didn't realise that any statements about an empty set, presumably including contradictory ones, were true!

[simont]

It's one of the more subtle ways in which mathematical jargon differs from colloquial usage.

In maths, a statement such as "All Xs have property Y" is taken to be exactly identical to "There is no X which does not have property Y". And therefore, if there are no X at all, the latter statement is true, and the former statement (being equivalent) is also regarded as true.

In colloquial usage this seems counterintuitive because there's generally expected to be some secondary implication that there are at least some X in the first place, and perhaps even a lot of them – enough to be worth using the word "all". (If there were only one or two Xs, you'd be more likely to say "The only X [has some property]" or "Both the Xs [have it]" than "All Xs do"; if there weren't any X at all, you likely wouldn't mention it in the first place.)

But in maths, we like to keep the semantics as simple as possible, and avoid secondary connotations of that kind. So "all X are Y" just means "there is no X that is not Y", with no implication at all of how many X there are, including whether there are any at all.

Hence, any statement about a class of objects that there aren't any of at all is taken to be true. For instance, every exponent of a counterexample to Fermat's last theorem is even – and at the same time, every such exponent is also odd. And the fact that those statements sound contradictory does not make them actually contradictory, precisely because there is no actual element of the set available to have both properties at once.

(Indeed, a common technique for proof by contradiction is to show that some set is empty by demonstrating that any element of it would have to have two conflicting properties. Which reflects another important reason why the mathematicians' use of language is kept free of those secondary implications: sometimes, you don't know yet whether there exist any objects in the class you're talking about, and you have to be able to talk about it regardless without any accidental implication that you might have the least idea!)

[andrewducker]

Thank you, that makes perfect sense!

[dewline]

1. Yikes!

3. We need this kind of protection for all pollinating insects, including the bees. Beyond any doubt, or agriculture is in deep trouble.

4. There was a time when I believed that, whatever the CCP got wrong, they wouldn't dare revert to male-supremacism. This feels more and more like Xi is dragging the party in the same direction as Trump took the Republicans, and what Putin built United Russia Party for: fascism, localized.

[andrewducker]

Yeah, China has been reverting to fascism for a while now. It's really worrying.