“Probability theory does not extend logic”: I dispel some common rationalist misconceptions! http://meaningness.com/probability-and-logic … ∀
@vladtarko @themattsimpson No. This equivalence only works in a finite domain.
-
-
@vladtarko @themattsimpson It also works in highly non-standard logics that allow infinitely long statements, but those have bad properties -
@vladtarko @themattsimpson and are not used in practice.
End of conversation
New conversation -
-
-
@Meaningness @themattsimpson same idea works generally as long as you define the rule that generates the set -
@vladtarko @themattsimpson such rules are outside the scope of propositional logic. If done right, you just end up with predicate logic.
End of conversation
New conversation -
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.