Yes, but also, your criticism of probability as generalizing only Aristotelian propositional logic is slightly out of date. With probabilistic programming, we can generalize arbitrary monadic/modal constructive type theories!
-
-
-
This I don’t know about… what does that buy you?
- 7 more replies
New conversation -
-
-
Neat! What's this from?
-
Draft text from a book I’m writing about reasoning about the relationship between formal systems and the messiness of reality:https://meaningness.com/eggplant
- 1 more reply
New conversation -
-
-
Running out on a limb here, but couldn’t Modus Ponens be amongst the very first faiths that human civ clung on to help make sense of a chaotic world? Clearly cause/effect are complex, but then the act of assuming causation exists is a comforting approximation (at the very least)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.