Mosterín adquirió su formación lógica inicial en el "Institut für mathematische Logik und Grundlagenforschung" de la Universidad de Münster (Alemania).