“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
@vladtarko @themattsimpson It also works in highly non-standard logics that allow infinitely long statements, but those have bad properties2 replies 0 retweets 0 likes
@vladtarko @themattsimpson and are not used in practice.
5:15 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.