3 ms·
Although it's presumably much less controversional that `any([])` is false. After all, most people presumably think of an existential statement as being satisfi
by 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 agoThere 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.