kierangreig🔸 comments on A technical note: Bayesianism is not logic, statistics is not rationality

[kierangreig🔸]

Further, integrating probability and logic is a huge unsolved problem! We actually have very little idea how to combine our two greatest successes in formalizing rationality.

I think MIRI reported making a big breakthrough on this.

[Coscott]

And here it is: https://​​intelligence.org/​​2016/​​09/​​12/​​new-paper-logical-induction/​​