I am speaking of simple, straightforward, representational semantics of a logic, and the answer I gave is correct. You are talking about humans, and making a sophisticated philosophical argument, and trying to map it onto logic by analogy. Which is more reliable?
I don’t mean that your comments are wrong; but you’re talking about people, and I’m talking about computer programs. What I said about computer programs is correct about computer programs.
As was indicated by the link, I’m talking about Loeb’s theorem; the informal discussion about what people (or formal agents) should believe is merely one application/illustration of that idea.
I am speaking of simple, straightforward, representational semantics of a logic, and the answer I gave is correct. You are talking about humans, and making a sophisticated philosophical argument, and trying to map it onto logic by analogy. Which is more reliable?
I don’t mean that your comments are wrong; but you’re talking about people, and I’m talking about computer programs. What I said about computer programs is correct about computer programs.
As was indicated by the link, I’m talking about Loeb’s theorem; the informal discussion about what people (or formal agents) should believe is merely one application/illustration of that idea.