4 ms·

I like this variant, it also works to show why any([]) is False.

• Smaug123 3y ago
  Although it's presumably much less controversional that `any([])` is false. After all, most people presumably think of an existential statement as being satisfied precisely when there's a witness to that statement, and of course an empty list contains no witnesses to any statement.
  • kccqzy 3y ago
    "Any" is an existential quantification (what you mean by existential statement). "All" is a universal quantification. It can be vacuously true. If this is controversial to any one at all, refer them to an introduction to logic course.
    • Smaug123 3y ago
      There are logics in which vacuous truth is just not a thing (e.g. relevance logics). Your casual dismissal of the less common logics does not cause them not to exist.