|Saturday 31 October 2020|
|Events for day: Wednesday 14 October 2020|
| 16:30 - 18:30 Mathtematical Logic Weekly Seminar|
Combining Logic and Probability in the Presence of Symmetry
Among the many approaches to combining logic and probability, an important one has been to assign probabilities to formulas of a classical logic, instantiated from some fixed domain, in a manner that respects logical structure. A natural additional condition is to require that the distribution satisfy the symmetry property known as exchangeability. In the first part of this talk I will trace some of the history and context of this line of investigation, viewing exchangeability from a logical perspective. In the second part I will report on the current status of a joint programme of Ackerman, Freer and myself on countable exchangeable struct ...