I was surprised that such a simple system can effectively support arguments; for some reason I expected argument mapping to be a complication for this sort of thing, but of course making conditional claims is enough to represent the links between claims making up an argument. On the face of it it’s missing other logical operations like AND, OR, and FORALL, but if you need those you can just make new claims representing those, and conditional claims connecting things up in the right way (though of course this becomes cumbersome at some point).
The belief aggregation here is very simplistic, but it scales fairly easily to more complicated systems like bayesian truth serum.
I was surprised that such a simple system can effectively support arguments; for some reason I expected argument mapping to be a complication for this sort of thing, but of course making conditional claims is enough to represent the links between claims making up an argument. On the face of it it’s missing other logical operations like AND, OR, and FORALL, but if you need those you can just make new claims representing those, and conditional claims connecting things up in the right way (though of course this becomes cumbersome at some point).
The belief aggregation here is very simplistic, but it scales fairly easily to more complicated systems like bayesian truth serum.