Moving beyond sets of probabilities | Gregory Wheeler
previsions similarly as first-order logic stands to propositional logic. That said, first-order logic is weird: you can have syntactically well-formed formula first-order logic that are not semantically int [...] impossible to provide a truth-table semantics for it, and first-order logic is undecidable, for crying out loud. What kind of logic has no effective method for deriving the correct answer?! The theory of [...] of lower previsions raises a slew of its own deeply vexing questions. But unlike first-order logic, where questions about its weirdness are largely handled in the classroom, lower prevision weirdness is