Hans Halvorson Physics, Logic, Philosophy