= 27d567bc2d48d9f40e9ccc20ea370b15)
sketerpot comments on Hearsay, Double Hearsay, and Bayesian Updates - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (105)
This threw me a little. Those ^ characters look a lot like the logical conjunction ("and") operator ∧, but they also look like the exclusive-or operator in C-like programming languages. For clarity, maybe spell this out in plain English: "Use A if and only if A and B and C are reliable."
</nitpick>
Or actually use the proper symbols. ASCII is not a requirement for compatibility in these days.
Thanks; fixed.
I can also nitpick that the parentheses are in the wrong place. It's not that the conjunction of A, B, and C must be reliable, but that each of them individually must be reliable (as is indicated in English by the use of ‘are’ instead of ‘is’). So first you should make it all symbols by introducing modal operators for the usage of a fact and for the reliability of a fact, then group properly to get U[A] ↔ (R[A] ∧ R[B] ∧ R[C]), not U[A] ↔ R[A ∧ B ∧ C].