Second, the way that “IF .. THEN” is defined in propositional or first order seems not to capture quite what we mean by those words in ordinary language. I think this is part of what you are pointing out.
I feel like the confusion between propositional logic and ordinary language is the only reason Lob’s theorem is even being discussed in the first place. The car’s programmers used IF X THEN Y to represent the statement “If X, then Y happens”, which means something quite different. Other than the incidental similarity of these statements in the English language, why is this more relevant than any other programming error?
I feel like the confusion between propositional logic and ordinary language is the only reason Lob’s theorem is even being discussed in the first place. The car’s programmers used IF X THEN Y to represent the statement “If X, then Y happens”, which means something quite different. Other than the incidental similarity of these statements in the English language, why is this more relevant than any other programming error?