“investigations in a genealogy of logic.”