Assumptions

A closed-world assumption, or CWA, is a logical rule that says a statement we know for sure is true, is true, but a statement we cannot say for certain is true will be assumed false.

This is in contrast to an open-world assumption (OWA) which also holds that a true thing is true, but which does not contend we must assume falsity when it comes to things w…