INTERDISCIPLINARY STOCHASTIC PROCESSES COLLOQUIUM Tuesday April 21, room 60 Evans, 4.10 - 5.00pm Speaker: Branden Fitelson (Philosophy) Title: A Decision Procedure for the Probability Calculus, with Applications Abstract. A general mechanical procedure for reasoning about the probability calculus is presented. The procedure involves (1) a translation from probability calculus into the theory of real closed fields (TRCF), and (2) an application of a recent implementation of the CAD procedure for TRCF. The procedure is then used to solve various problems in Bayesian confirmation theory (some of which were open). Some issues of computational complexity and problem size will also be discussed. All necessary technical (and historical, and philosophical) background will be provided during the talk.