Updating a progic

This paper presents a progic, or probabilistic logic, in the sense of Haenni et al. [8]. The progic presented here is based on Bayesianism, as the progic discussed by Williamson [15]. However, the underlying generalised Bayesianism differs from the objective Bayesianism used by Williamson, in the calibration norm, and the liberalisation and interpretation of the reference probability in the norm of equivocation. As a consequence, the updating dynamics of both Bayesianisms differ essentially. Whereas objective Bayesianism is based on a probabilistic re-evaluation, orthodox Bayesianism is based on a probabilistic revision. I formulate a generalised and iterable orthodox Bayesian revision dynamics. This allows to define an updating procedure for the generalised Bayesian progic. The paper compares the generalised Bayesian progic and Williamson's objective Bayesian progic in strength, update dynamics and with respect to language (in)sensitivity.