Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


"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.


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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: