3 ms·
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
by LudwigNagasena 2y ago
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.
- Supermancho 2y agoI worry about sets and consideration of edge cases. Legal, programmatic, medical. Adhering to a convention that presupposes meaning and claim that interpretation is the only interpretation, cannot be resolved with repetition. I remain unconvinced.
- LudwigNagasena 2y agoYou were the one to claim the only interpretation (in opposite of OP who merely claimed "typical English" interpretation). Moreover, your interpretation directly contradicts both conventional typical English interpretation, which would be relevant in legal context (where making such claims with empty set in mind would be deemed misleading), and conventional formal-logical interpretation, which would be relevant in programming (where the truth of `array.every()` doesn't imply the truth of `array.some()`).