Scott Aaronson, pretty smart guy, sorta seems to say he thinks Bayes is a complete theory of rationality (http://www.scottaaronson.com/blog/?p=2410 ). Yikes!
-
-
@GabrielDuquette @themattsimpson Jaynes thought “Aristotelian logic” meant “two-valued T/F logic.”1 reply 0 retweets 0 likes -
Replying to @Meaningness
@GabrielDuquette @themattsimpson That’s because “Non-Aristotelian logic” means “multi-valued,” for historical reasons.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@GabrielDuquette @themattsimpson But the important thing is that Aristotelian logic does not allow nested quantifiers.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@GabrielDuquette @themattsimpson Probability theory has not been extended to work with nested quantifiers, to the best of my knowledge.2 replies 0 retweets 0 likes
@GabrielDuquette @themattsimpson Nested quantifiers are an absolutely critical part of rationality, as in “has exactly one father.”
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.