Post #2491865
2024-07-31 01:33 UTC
@DavidKButler@mathstodon.xyz @andrejbauer@mathstodon.xyz @soaproot@sfba.social I’m just a lay person, but I wonder if is this an example of such a world:
Say we’re reasoning about some type of statistical significance test. We are forbidden from ever proving the null hypothesis (B), we may only ever reject it (not B).
We may fail to reject it (not (not B)), but that’s clearly distinct from (B).
Replies (1)
-
@DavidKButler@mathstodon.xyz 2024-07-31 02:16
@marshray@infosec.exchange @andrejbauer@mathstodon.xyz @soaproot@sfba.social Ahh. That makes more sense. I forget that when people talk about logical reasoning they are sometimes/often talking about everyday reasoning, not things in pure maths proofs.