A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we prove a result (...) concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory. (shrink)

Karl Popper introduced the idea of verisimilitude to explicate the intuitive idea that a theory T2, even though it is strictly speaking false, may be closer to the truth than a competitor T1. However, as is now well known, the results of Pavel Tichý, John Harris and David Miller establish that on Popper’s qualitative theory of verisimilitude, a theory T2 could be closer to the truth than another theory T1 only if T2 contains no false sentences. This result has been (...) taken universally to show the inadequacy of Popper’s original account of verisimilitude, since the Miller-Tichý-Harris Theorem conflicts with the very basic intuition which first led Popper to formulate his theory.In this paper I shall first review the Miller-Tichý-Harris Theorem and examine a number of attempts to salvage the concept of verisimilitude. It will be argued that none of these attempts is successful. Finally an alternative, simple and intuitively satisfactory account of verisimilitude will be offered. This account will be along the lines first suggested by Popper, but it is not subject to any known limitation theorem. Further, the account is capable of giving verisimilitude orderings between not only scientific theories, but philosophical theories as well. This will be achieved without the use of the excessive formalism which dominates the contemporary verisimilitude research programs. (shrink)

Grunbaum has argued that the Lorentz-Fitzgerald contraction hypothesis is not ad hoc since the Kennedy-Thorndike experiment can be used to provide a test that is significantly different from that provided by the Michelson-Morley experiment. In the first part of the paper, I show that the differences claimed by Grunbaum to hold between these two experiments are not sufficient for establishing independent testability. A dilemma is developed: either the Kennedy-Thorndike experiment, because of experimental realities, cannot test the uncontracted Fresnel aether theory, (...) or if experimental difficulties are ignored, the Kennedy-Thorndike experiment degenerates into a version of the Michelson-Morley experiment. The second part of the paper is a feasibility study of the prospects for defining experimental types according to aims of measurement and determination. This approach is applied to the contraction hypothesis, where it is suggested that the usual analysis of independent testability be modified. (shrink)

In this paper, I will develop a nontrivial interpretation of Feyerabend's concept of a hidden anomalous fact. Feyerabend's claim is that some anomalous facts will remain hidden in the absence of alternatives to the theories to be tested. The case of Brownian motion is given by Feyerabend to support this claim. The essential scientific difficulty in this case was the justification of correct and relevant descriptions of Brownian motion. These descriptions could not be simply determined from the available observational data. (...) An examination, however, of this case shows that no alternative theory is or historically was thought to be necessary in order to justify descriptions of Brownian motion that "directly" refute thermodynamics. While Feyerabend's appraisal of this case therefore is incorrect, a sense is developed in which successful alternatives lend inductive support to the correctness of refuting experimental descriptions. Crucial though to the explanation of this support is the notion of arguments that show the possibilities for improving experimental fit. (shrink)