“Probability theory does not extend logic”: I dispel some common rationalist misconceptions! http://meaningness.com/probability-and-logic … ∀
-
-
Replying to @Meaningness
@Meaningness @themattsimpson This is based on misunderstanding. 'For all' and 'exists' are defined in prop. logicpic.twitter.com/C31gMNyUuX
1 reply 0 retweets 0 likes -
Replying to @vladtarko
@vladtarko @themattsimpson No. This equivalence only works in a finite domain.2 replies 0 retweets 0 likes -
Replying to @Meaningness
@Meaningness @themattsimpson same idea works generally as long as you define the rule that generates the set1 reply 0 retweets 0 likes
Replying to @vladtarko
@vladtarko @themattsimpson such rules are outside the scope of propositional logic. If done right, you just end up with predicate logic.
5:41 AM - 24 Aug 2015
0 replies
0 retweets
0 likes
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.