logoalt Hacker News

njtransit12/09/20240 repliesview on HN

That how we define "all" logically but not linguistically. For instance, linguistically we would consider this inconsistent: "all 10-foot men have black hair AND all 10-foot men have blonde hair" yet it is true, logically, if there are no 10-foot tall men. The translation of the English word "all" should be something something like: |Q| > 0 ∧ ∀x∈Q, x is ...