During the past decade there has been a very effective campaign against any explanation of remembering whose basic concept is that of a causally mediating trace. This paper attempts to provide such an explanation by presenting an explicit deductive argument for the existence of the memory trace. The conclusion is shown to follow from reasonable, empirical assumptions of which the most interesting is a spatio-temporal contiguity thesis. Set-theoretic techniques are used to provide a framework of analysis and probabilistic definitions of some causal notions, as that of a causal chain, are presented.

Current axiomatizations for extensive measurement postulate the existence of infinitely small objects. This assumption is neither necessary nor reasonable. This paper develops this theme and presents a more acceptable axiom system. A representation theorem is stated and proved in detail. This work improves some previous results of the author.

The author argues for a purely naturalistic underpinning of the linguistic practice of reporting one's introspections. In doing so he avoids any commitments about the ontological status of entities referred to in introspective reports. He also presents evidence of the inadequacy of peripheralistic behaviorism as a naturalistic underpinning of introspective reports. The paper includes (a) a definition of ‘introspection’ and criticism of alternative definitions, (b) a classification scheme that sorts introspections into six different types, and (c) a presentation of evidence that the reporting of certain of these is based on such fundamental psychological phenomena as stimulus generalization, and possibly also conditioning to covert mediating responses.

An examination of earlier views yields an account of theoretic change on which changes in theory which do involve changes in meanings of terms are classified as a special (and by no means exhaustive) case of theoretic change which, latter, is construed as a more general phenomenon. Only the general problem is given detailed consideration here. The account given considers the problem of how replacement of intensional theories by extensional ones may be treated within the general framework provided. Among its results is the conclusion that rational changes in a scientific theory may be cogently construed as determined by warranted decisions that a new theory is more adequate (than the old one it replaces) with regard to purposes for which a theory is sought.

Contrary to the Empiricist model of science, successful sufficiently fundamental theories not only fit and unify their data fields but also prescribe the general terms in which relevantly to describe observation; specify what is and is not observable; specify the conditions under which what is observable, is observable; specify the instrumental means and reliability by which what is measurable is measured; specify what is causally, statistically, and merely accidentally connected. Moreover, such theories typically require all or most of the entire remainder of science to be properly applied in any given situation and theoreticians' models play a crucial role in such applications. (I call these respectively the internal and external globalnesses of theories.) A discussion of the consequences of these global features of theories for philosophy of science is offered in the context of specific examples and a structural model for science.

A recent version of the causal theory of time makes crucial use of a concept of the genidentity of events when it attempts to define temporal betweenness in terms of empirical, physical properties. By presenting and discussing an apparent counterexample it is argued that the role of genidentity in an empirical theory of time is problematic. In particular, it may be that the temporal behavior of objects is used to decide which events are genidentical, and, if so, the definition of temporal betweenness is circular. On the other hand, though there are strategies for avoiding the charge of circularity, in certain hypothetical situations the definition may yield inconsistent temporal orders. Then, the definition would have to be supplemented by a choice of temporal orders, and this choice may introduce an element of conventionality into the causal theory of time.

This paper derives a mathematical expression giving the development of the probability of a scientific hypothesis with the number of confirming tests, as determined by Bayes's theorem, in a special case in which all the tests are “independent” of one another. The simple expression obtained shows clearly how the various factors influence the growth of the probability. The result is used to set a numerical lower bound on the probabilities representing the a priori beliefs of humans in generalizations that become accepted. By making a comparison with the predictions of a “logical atomic” model in the case of physical laws, it is argued that humans have significant a priori “knowledge” in a weak sense.

For the case of statistical theories, the criteria of explanation, prediction, and testability can all be viewed as particular instances of a more general evaluation scheme. Using the ideas of a gain matrix and expected gain from statistical decision theory, these three criteria can be compared in terms of the elements in their associated gain matrices. This analysis leads to (1) further understanding of the interrelationship between the current criteria, (2) the proposal of an ordering for the criteria, and (3) the suggestion of a new criterion.

It is argued herein that there are two distinct ways in which all observation vocabularies are prejudiced with respect to theory. An argument based on the demands of adequate translation is invoked to show that even the simplest of our observation predicates must display the first and more obvious grade of bias—intensional bias. It is also argued that any observation vocabulary whose predicates are corrigibly applicable must manifest a second and equally serious grade of bias—extensional bias—independently of whatever intensional bias its predicates may or may not have.

In Parts I, II, and III of the paper, the authors show that an argument essential to Alan White's defense of the Correspondence Theory of truth is unsuccessful. They argue that some of the premises of White's argument are false, and others incoherent. They show, further, that certain widely accepted assumptions in the philosophy of language, which underlie White's argument, must also be abandoned. In Part IV, they attempt to say something new about ‘true’, ‘false’, truth and falsity, and related notions. They do not offer a competing theory to White's, but instead stress features of the use of these words and concepts which philosophers have either ignored or insufficiently emphasized.

In his [1], David Berlinski explores, among other things, both what could be called a “sophisticated” and a “basic” analogy between languages and the genetic code. The basic analogy stems from the observation that the relationship between English and “Morse” appears to be formally similar to the relationship between DNA and protein. That is, just as sentences of the English language can be encoded into Morse, sequences of bases within strands of DNA are “transcribed” into polypeptides. (See Table 1.) To some, this “basic” analogy

(NB: There is no isomorphism between B″ and P′ since some codons do not code for amino acids; these codons appear to act as signals, e.g. for terminating polypeptide chains. Also note that the code is degenerate and thus G is not an embedding.)

It is argued that a better theory neither (I) proves better at enabling us to realize our goals, nor (II) enables us to make more accurate predictions than a worse theory. (I) fails because it, tacitly, erroneously assumes, in talking of our goals, that individual preferences for theories can be aggregated into a social preference ordering; (II) fails because it cannot distinguish between important and unimportant predictions. Neither of these failures can be patched up by appealing to the notion of a true theory. The conclusion is that we as yet possess no adequate understanding of the relationships among theoretical progress, goal realization, and predictive accuracy.

The present paper is intended to take up the basic issue in Marxist epistemology: does the development of human cognition include mechanisms that ensure the attainment of, or approximation to, the absolute truth?

But to take up this issue we have to define the concept of absolute truth. This is why the paper begins with comment on the assumptions we adopt. This is followed by explanations of the concept of the absolute truth and that of relative truth and some of derivative concepts, too. Section 3 is concerned with the problem of whether the absolute truth is attainable, and with the role played in the process by the correspondence principle, which is reconstructed in a specified way.

In this essay I present a statement of Quine's indeterminacy thesis in its general form. It is shown that the thesis is not about difficulties peculiar to so-called “radical translation.” It is a general thesis about meaning and reference with important consequences for any theory of our theories and beliefs. It is claimed that the thesis is inconsistent with Quine's realism, his doctrine of the relativity of reference, and that the argument for the thesis has the consequence that the concept of stimulus meaning is empty.

The sense in which linguistic science, as a branch of behavioral science, is “part of physics” is discussed. An alternative to Quine's view of the nature and content of linguistic science is proposed. It is shown to be consistent with Quine's assumptions concerning the legitimate scope of behavioral science and not to involve the notions of analyticity, synonymy and “prevalent attitudes toward meaning, idea and proposition” rejected by Quine.

My thesis is that biology is most plausibly regarded as a universal, as distinct from a provincial, science. First, I develop the general notion of a provincial science, formulate three criteria for applying the concept, and present brief examples illustrating their use. Second, I argue that a consideration of population genetics as a characteristic example of a basic biological theory strengthens the prior presumption that biology is not a provincial science. Finally, I examine two arguments to the effect that biology is a provincial science. The first concerns biology's exclusively terrestrial evidence base, the second the logical character of its laws. I introduce considerations that weaken the persuasiveness of the first argument and then show that the second one rests upon a false premise and so should be rejected.

In a recent series of articles, and in his latest book, James Cornman has proposed and defended a definition of ‘observation term’. The original definition appeared in [3]; in [4] Cornman defended this definition against some criticisms offered by P. K. Machamer ([5]), and also revised it somewhat; the revised definition is restated in [2] and used there in Cornman's discussion of the identity theory of the mind. Finally, in [1], Cornman again invokes his definition in defending scientific instrumentalism, and defends it against various generalized attacks on the very possibility of drawing a distinction between observational and theoretical terms which will do the sort of work Cornman wants it to do.

Ramsey's device [2], for eliminating theoretical terms from a theory assumes that the theory has only finitely many axioms. Paul Berent [1], has recently suggested a modification of Ramsey's method that is designed to cover the infinite case. But, his modified method is quite unlike Ramsey's in that it involves an ascent from the original theory to a suitable metatheory. Thus, it is perhaps of some interest to note that there is an extension of Ramsey's method that covers the infinite case and at the same time is much closer in spirit to his original suggestion.