Interesting Links for 05-06-2022
Jun. 5th, 2022 12:00 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
- 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 )
no subject
Date: 2022-06-05 11:35 am (UTC)no subject
Date: 2022-06-05 11:57 am (UTC)no subject
Date: 2022-06-05 01:04 pm (UTC)no subject
Date: 2022-06-05 01:05 pm (UTC)no subject
Date: 2022-06-05 02:43 pm (UTC)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!)
no subject
Date: 2022-06-06 09:38 am (UTC)no subject
Date: 2022-06-05 01:48 pm (UTC)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.
no subject
Date: 2022-06-06 09:39 am (UTC)