@GrumplessGrinch @cwage > is a system with (1) binary values and (2) no quantification. PT generalizes (1) but doesn’t deal with (2).
-
-
Replying to @Meaningness
@GrumplessGrinch@cwage Aristotelian logic does have quantification (as well as binary values), and PT does not generalize it.2 replies 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness@cwage Okay, why do we need quantification?1 reply 0 retweets 0 likes -
Replying to @GrumplessGrinch
@GrumplessGrinch@cwage If you want to say “any time you see a snark, it might be a boojum” you need quantification.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@GrumplessGrinch@cwage Because this is a universally quantified (“for all”) statement; it’s not just about a particular snark.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@GrumplessGrinch@cwage PT can only say P(boojum(s0)|snark(s0))>0, for some particular snark s0.1 reply 0 retweets 1 like -
Replying to @Meaningness
@GrumplessGrinch@cwage Statistical inference (which is *not* the same as PT) gives you limited quantification, which is what you want.2 replies 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness@cwage Why do I need first-order logic to just go around modeling everything with Bayes nets?2 replies 0 retweets 0 likes -
Replying to @GrumplessGrinch
@GrumplessGrinch@cwage You are probably implicitly quantifying over the network; which works fine some of the time.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness@cwage The nodes in the network aren't themselves propositions in PT.2 replies 0 retweets 0 likes
@GrumplessGrinch @cwage Right; they are atomic. Extra-theoretically, you apply the model to the world by instantiating.
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.