Logic & Philosophy of Science Colloquium


Branden Fittleson
University of California, Berkeley

"A User-Friendly Probability Machine, with Applications to

Bayesian Philosophy of Science"


A general mechanical procedure for reasoning about the probability calculus is presented. This procedure is then used to solve various problems in Bayesian Philosophy of Science (in particular, in Bayesian confirmation theory). Our procedure provides a vindication of the dreams of Boole (and Leibniz) to have a usable "Probability Machine" with which to investigate the cogency of (arbitrary) arguments involving the probability calculus. All necessary technical and philosophical background will be provided during the talk.

Friday, January 23, 2004
SST 777
3 pm

Refreshments will be served