Logic and Science