OOC: Quantifiers, Revenge, and the Triumph of Western Civilization

[sythyry]

[Poll #1807366]

Comments

[terrana.livejournal.com]

In terms of first-order logic, "Humans have hair" is suggestive of ∀x(human(x) → has_hair(x)). Distressingly, "natural" language is not based on first-order logic, so it comes out meaning something more like "a proportion of humans sufficient to establish a general principle (this proportion being entirely subjective) have hair".

[calamitous-cani.livejournal.com]

(Alas, nobody wants to adopt Loglan conventions!)