alt Hacker NewsI think the same of your interpretation of some vs all. Some can contain all, just as it contains none. Both some/all imply, but do not assert existence. Claiming it tautologically defies logic is not compelling.
I think the same of your interpretation of some vs all. Some can contain all, just as it contains none. Both some/all imply, but do not assert existence. Claiming it tautologically defies logic is not compelling.
Well, I think showing that it defies logical inference is quite relevant in the context of that thread being about translating typical English into first order logic to do logical inference.