Logic and Physics