3 ms·
That doesn't have much to do with my point. There is no mathematical encoding of natural world semantics: the sense in which "Person" and "MostIntelligentSpeci
by mjburgess 5y ago
That doesn't have much to do with my point.
There is no mathematical encoding of natural world semantics: the sense in which "Person" and "MostIntelligentSpecies" are different cannot be expressed mathematically.
(p in Person) obtains as does (p in MostIntelligentSpecies)
but Person cannot be eliminated for MostIntelligentSpecies
The article itself makes this point, but then tries to compromise with the mathematical reduction "to sets". It would be clearer just to state that this is a reduction rather than an elimination.