We consider the problem of induction over languages containing binary relations and outline a way of interpreting and constructing a class of probability functions on the sentences of such a language. Some principles of inductive reasoning satisfied by these probability functions are discussed, leading in turn to a representation theorem for a more general class of probability functions satisfying these principles.

We give a unified account of some results in the development of Polyadic Inductive Logic in the last decade with particular reference to the Principle of Spectrum Exchangeability, its consequences for Instantial Relevance, Language Invariance and Johnson's Sufficientness Principle, and the corresponding de Finetti style representation theorems.

Modern Philosophy of Science has not yet recognized the significance of physical invariance principles for science and daily life. In this paper we investigate as a simple example, how time independence or time translational invariance of natural laws determines the time scale. We start with informal definitions of the invariance of concepts and laws. We then ask if time independence is an essential feature of natural laws or if time dependent laws are plausible without loss of predictive relevance. In section (...) 3 we investigate the question wether time independence of natural laws is a matter of convention. In sections 5-7 the determination of the time scale by time translational invariance is studied. In section 8 we study the conditions under which this determination is unique. (shrink)

1. Deductive and Inductive Inference. Within the traditional treatments of scientific method, e.g., in and, it was customary to divide scientific inference into two parts: deductive and inductive. Deductive inference was taken to mean the activity of deducing theorems from postulates and definitions, whereas inductive inference represented the activity of constructing a general statement from a set of particular “facts.” Deductive inference was relegated to the mathematical sciences, and inductive inference to the empirical sciences. As a consequence, the whole of (...) science was split into two quite distinct parts: deductive science was conceived to start with precise axioms, postulates, and definitions, and its method consisted in drawing inferences from these “givens” in such a way that if the original assumptions are taken as true, then the theorems must be taken as true also. The obligation behind this “must” of the mathematical sciences was an obligation based on strict rules of deductive inference; in the earlier analyses, it was supposed that these rules were all aspects of the general theory of the syllogism, as it was described in an almost complete form in but in later work the rules have been formalized in more general terms. Inductive inference, on the other hand, was supposed to start with observed facts; these facts, or “data,” were presumably given by the senses, and described particular aspects of the external world. If the facts were given in a certain way, then the empirical scientist could “infer” a generalized description; this generalization had the characteristic that if it were granted as true, then all the facts could be deduced as consequences. The inductive process admittedly does not lead to unique generalizations, and the philosopher of science searched for other defining characteristics of good inference, such as “simplicity” and “convenience.” These empirical generalizations were taken to be “descriptions of the phenomenal world of the scientist”; a further inductive step might be taken by constructing a set of very general principles out of the more specialized generalizations within specific research problems. These “higher” inductive inferences were regarded as “theories,” which could be studied by themselves within the method of deductive inference. The scientist was then described as “checking” theory by determining whether or not the predicted consequences deduced from theory actually hold in the phenomenal world. (shrink)