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 structures, which continues this line of investigation.
Please send an email to r.zoghi@gmail.com to join this webinar.