Nevertheless, these theories may well have experimentally testable consequences at lower energies.
The formulation of a genetic hypothesis, including testable consequences of that hypothesis, is a greater determinant of its ultimate utility to the scientific community than is the image resolution available at any given time.
And then a real breakthrough took place in that John Bell, a colleague of mine at Cern, published his famous inequalities, which - for the first time - opened a possibility of testing whether or not entanglement-at-a-distance had experimentally testable consequences.
Most philosophical discussions of scientific discoveries focus on the generation of new hypotheses that fit or explain given data sets or allow for the derivation of testable consequences.
Deduction and induction, then, come into play at the later stage of theory assessment: deduction helps to derive testable consequences from the explanatory hypotheses that abduction has helped us to conceive, and induction finally helps us to reach a verdict on the hypotheses, where the nature of the verdict is dependent on the number of testable consequences that have been verified.
In earlier writings he suggests that empirically equivalent theories are those that have the same empirically testable consequences; a later formulation is that empirically equivalent theories are those that have the same (posterior) probability on any observations.
Loop quantum gravity is seemingly less plagued by a lack of predictions, and indeed it is often claimed that the discreteness of area and volume operators are concrete predictions of the theory, with potentially testable consequences.
Neurath (1931) and Carnap (1934) described reduction as a relation of translation, or at least of unification by the universal requirement that all statements have testable consequences that can be stated in a shared observation language.
Similarly, Newton's aim in the Philosophiae Naturalis Principia Mathematica was to present a method for the deduction of propositions from phenomena in such a way that those propositions become "more secure" than propositions that are secured by deducing testable consequences from them (Smith 2002).
This model has experimentally testable consequences, since, unlike the RAG transposon, herpes viruses exist in the biological world.
