@GrumplessGrinch @cwage Aristotelian logic does have quantification (as well as binary values), and PT does not generalize it.
-
-
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 -
Replying to @GrumplessGrinch
@Meaningness Sorry, probably too tired for this conversation. Would like to pick back up in the morning.1 reply 0 retweets 0 likes
@GrumplessGrinch Yeah, ditto; and this probably isn’t the venue for it!
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.