You’re right I do mean theory. But importantly I’m including the first order language that holds for the model of the natural numbers. So the interpreted first order language of the natural numbers is included in this usage of “theory”.
I’m using a 1920′s (ish) style of verificationism that considers cases of P(T|S) ≠ P(T|~S) to be cases of a verifiable statement. See Ayler’s Language, Truth, and Logic. The positivists always held that inductively verifiable statements are still verifiable and thus meaningful.
What makes you say that all statements about the laws of physics are unverifiable? If it restricts your expectations for experience, it is a verifiable prediction. Certainly our hypothetical-deductive theories of the natural universe do in fact restrict our expected stimulus, and can be rejected on the grounds that the restrictions are not met.
I’m using the word “verifiable” as it is used in Positivism and Verificationism. A statement S is verifiable if and only if S is a tautology or there is a strong inductive argument with S as the conclusion, which if cogent gives us a probability for S.
You’re right I do mean theory. But importantly I’m including the first order language that holds for the model of the natural numbers. So the interpreted first order language of the natural numbers is included in this usage of “theory”.
I’m using a 1920′s (ish) style of verificationism that considers cases of P(T|S) ≠ P(T|~S) to be cases of a verifiable statement. See Ayler’s Language, Truth, and Logic. The positivists always held that inductively verifiable statements are still verifiable and thus meaningful.
What makes you say that all statements about the laws of physics are unverifiable? If it restricts your expectations for experience, it is a verifiable prediction. Certainly our hypothetical-deductive theories of the natural universe do in fact restrict our expected stimulus, and can be rejected on the grounds that the restrictions are not met.
I’m using the word “verifiable” as it is used in Positivism and Verificationism. A statement S is verifiable if and only if S is a tautology or there is a strong inductive argument with S as the conclusion, which if cogent gives us a probability for S.