Programme de doctorat en logique et philosophie des sciences