Dawid's non-empirical confirmation framework, as developed in 'String Theory and the Scientific Meth...