The aim of this paper is to present and discuss a probabilistic framework that is adequate for the formulation of quantum theory and faithful to its applications. Contrary to claims, which are examined and rebutted, that quantum theory employs a nonclassical probability theory based on a nonclassical “logic,” the probabilistic framework set out here is entirely classical and the “logic” used is Boolean. The framework consists of a set of states and a set of quantities that are interrelated in a specified manner. Each state induces a classical probability space on the values of each quantity. The quantities, so considered, become statistical variables (not random variables). Such variables need not have a “joint distribution.” For the quantum theoretic application, there is a uniform procedure that defines and determines the existence of such “joint distributions” for statistical variables. A general rule is provided and it is shown to lead to the usual compatibility-commutivity requirements of quantum theory. The paper concludes with a brief discussion of interference and the misunderstandings that are involved in the false move from interference to nonclassical probability.

The article is a reappraisal of the requirement of maximal specificity (RMS) proposed by the author as a means of avoiding “ambiguity” in probabilistic explanation. The author argues that RMS is not, as he had held in one earlier publication, a rough substitute for the requirement of total evidence, but is independent of it and has quite a different rationale. A group of recent objections to RMS is answered by stressing that the statistical generalizations invoked in probabilistic explanations must be lawlike, and by arguing that predicates fit for occurrence in lawlike statistical probability statements must meet two conditions, at least one of which is violated in each of the counterexamples adduced in the objections. These considerations suggest the conception that probabilistic-statistical laws concern the long-run frequency of some characteristic within a reference class as characterized by some particular “description” or predicate expression, and that replacement of such a description by a coextensive one may turn a statement that is lawlike into another that is not. Finally, to repair a defect noted by Grandy, the author's earlier formulation of RMS is replaced by a modified version.

When Hempel's “paradox of confirmation” is developed within the confines of conditional probability theory, it becomes apparent that two seemingly equivalent generalities (“laws”) can have exactly the same class of observational refuters even when their respective classes of confirming observations are importantly distinct. Generalities which have the inductive supports we commonsensically construe them to have, however, must incorporate quasi-logical operators or connectives which cannot be defined truth-functionally. The origins and applications of these “modalic” concepts appear to be intimately linked with a number of basic conundrums in the philosophy of science, such as causation and the nature of explanation.

The metamathematical theorems of Gödel and Church are frequently applied to the philosophy of mind, typically as rational evidence against mechanism. Using methods of Post and Smullyan, these results are presented as purely mathematical theorems and various such applications are discussed critically. In particular, J. Lucas's use of Gödel's theorem to distinguish between conscious and unconscious beings is refuted, while more generally, attempts to extract philosophy from metamathematics are shown to involve only dramatizations of the constructivity problem in foundations. More specifically, philosophical extrapolations from metamathematics are shown to involve premature extensions of Church's thesis.

The recent extension of quantum theory to sound waves in solids is briefly outlined and then discussed from a specific philosophic (Kantian) perspective.

Suppose that the axioms of conjoint measurement hold for quantities having two independent components and that the axioms of extensive measurement hold for each of these components separately. In a recent paper, Luce shows that if a certain axiom relates the two measurement systems, then the conjoint measure on each component is a power function of the extensive measure on that component. Luce supposes that each component set contains all “rational fractions” of each element in that set; in this note we present an alternative form of the axiom relating the measurement systems that enables us to prove Luce's result without requiring that such “rational fractions” exist.