@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@GrumplessGrinch@cwage n.b. for lurkers et al: "Aristotelian logic" has a specific meaning to logicians1 reply 0 retweets 0 likes -
Replying to @schakalsynthetc
@schakalsynthetc@GrumplessGrinch@cwage Right. And Jaynes clearly misunderstood it. He thought it meant “two valued,” which is not right.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@schakalsynthetc@GrumplessGrinch@cwage That is, Aristotelian logic is two-valued, but it also has (a weird form of) quantification.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@schakalsynthetc@GrumplessGrinch@cwage Propositional logic, a/k/a boolean algebra, is two valued and lacks quantification.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness@GrumplessGrinch@cwage ppl conflate many-valuedlogics with indeterminate 2-values, too2 replies 0 retweets 0 likes -
Replying to @schakalsynthetc
@schakalsynthetc@GrumplessGrinch@cwage That’s true! Many-valued logics are interesting formal curiosities, but don’t seem useful…1 reply 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness@GrumplessGrinch@cwage concur, more or less. they don't seem generally useful epistemically at least1 reply 0 retweets 0 likes -
Replying to @schakalsynthetc
@Meaningness@GrumplessGrinch@cwage the *techniques* are useful if, say, you're computationally modeling a system of n known states1 reply 0 retweets 0 likes
@schakalsynthetc @GrumplessGrinch @cwage Math always turns out to be useful for something! :)
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.