@Meaningness @cwage Hmm. I was extremely surprised by this statement. Say more?
@GrumplessGrinch @cwage Statistical inference (which is *not* the same as PT) gives you limited quantification, which is what you want.
-
-
@GrumplessGrinch@cwage Statistical inference starts with a model (which falls out of the sky—this is why PT + logic < epistemology). -
@GrumplessGrinch@cwage The model is a parameterized, universally quantified statement, e.g. forall x P(boojum(x)|snark(x)) = c. - 4 more replies
New conversation -
-
-
@Meaningness@cwage Why do I need first-order logic to just go around modeling everything with Bayes nets? -
@GrumplessGrinch@cwage You are probably implicitly quantifying over the network; which works fine some of the time. - 2 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.