Physics and Logic