@cwage PT does not generalize logic, only boolean algebra, which is a tiny subset of logic.
@GrumplessGrinch @cwage If you want to say “any time you see a snark, it might be a boojum” you need quantification.
-
-
@GrumplessGrinch@cwage Because this is a universally quantified (“for all”) statement; it’s not just about a particular snark. -
@GrumplessGrinch@cwage PT can only say P(boojum(s0)|snark(s0))>0, for some particular snark s0. - 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.