For this sequence we’ll just stick to statements in first-order logic, thus avoiding the issue. If you want to look deeper into how consistency interacts with logical probability, you should check out MIRI’s stuff on assigning probabilities to classically undecidable statements.
How do we assign zero probability to 0=1 when we can’t prove our logic consistent?
For this sequence we’ll just stick to statements in first-order logic, thus avoiding the issue. If you want to look deeper into how consistency interacts with logical probability, you should check out MIRI’s stuff on assigning probabilities to classically undecidable statements.