bluuebunny/crossref_metadata_2025 huggingface dataset:
Tarski's Definition of Truth and the Correspondence Theory
Authors: Keuth Herbert
Published: November 2002

The correspondence theory of truth is one of the most venerable philosophical theses. Yet it was known almost from the beginning to entail the antinomy of the liar. This antinomy affects any use of the word “true,” not only the use which the correspondence theorist intends. A definition of truth for formalized languages which avoids the antinomy was not formulated before 1931. Tarski's proposal of that year uses an ingenious device. His definition concerns the truth or falsity of the sentences of one language, the object language, but it is given in a different language, the metalanguage. Adapting this definition to natural languages poses some problems, but let us assume they do not exist. Then we may freely apply the word “true” even to sentences of natural languages. We need have no fear of getting involved in antinomies. The use of the word “true” has been rehabilitated. But what about the correspondence theory? Has it too been rehabilitated? Many philosophers claim it has, in particular Karl Popper and his followers. But whether this is so depends of course on what exactly the correspondence theory asserts.
Realism and Intensional Reference
Authors: Minogue Brendan P.
Published: November 2002

In The Structure of Scientific Inference ([2]), Mary Hesse has argued for a realist interpretation of science. Her realism, however, is not to be understood in the context of the traditional realist/instrumentalist debate within the philosophy of science. That debate focused on the question of whether or not science did anything other than systematize the empirical data given in our experience. The traditional realist answered “yes” and most frequently described the theoretical statements of science, not only as true, but also as providing descriptions of the world. The instrumentalist on the other hand answered “no” and ascribed no descriptive force to the theoretical statements of science. However, according to Hesse, neither party in the contemporary realism debate assumes the notion of an empirical given. Consequently, the present dispute must be understood as taking place on a level which is logically prior to its predecessor.
Rejoinder to Tuana
Authors: Quinn Philip L.
Published: November 2002

Consider the two Duhemian theses S, according to which no single or individual theoretical hypothesis by itself has any observational consequences, and F, which states that no single theoretical hypothesis can be conclusively falsified by any observations.

Does the truth of F follow from the truth of S? I had conjectured that Duhem may have thought so, but I argued that it does not [1]. Nancy Tuana contends that my argument misses the mark, and she goes on to argue that it does [2]. It seems to me that her arguments are decisive on this point, and so I welcome the correction.
Does Quantum Mechanics Disprove the Principle of the Identity of Indiscernibles?
Authors: Barnette R. L.
Published: November 2002

Alberto Cortes, in [1], attempts to show (a) that Leibniz's Principle of The Identity of Indiscernibles (L) is a principle restricted to individuals (as distinct from a class of entities Cortes takes to be non-individuals), and (b) that photons (light quanta) appear to violate L (since they don't obey Pauli's Exclusion Principle). L is stated by Leibniz as “no two substances are completely similar, or differ solo numero.” In second-order quantification theory with identity L becomes:
Musgrave's “Appraisals and Advice”
Authors: Sarkar Husain
Published: November 2002

One recent problem in philosophy of science is, “Ought a methodology be construed, not merely as an instrument of appraisal, but also as a source of advice to the practising scientist(s)?” Imre Lakatos ([7], p. 174 and 178) and John Worrall ([11], p. 163), among others, have answered the question in the negative. Alan Musgrave disagrees. In a section entitled, “Appraisals and Advice,” in [9], Musgrave attempts to give us a deductive argument in support of his claim that methodologies should be construed as giving advice. After briefly explaining the plausibility of the claim, I shall present Musgrave's argument in full, and then examine each of his premises. I will try to show that his attempt to answer the above question in the affirmative raises some interesting questions, and which must be answered if his venture is to succeed. I should add, that if my objections are successful against Musgrave's attempt, it would be a Pyrrhic victory: I am neither an inductivist nor do I think that the answer to the question should be in the negative.
Some Doubts About “Turing Machine Arguments”
Authors: Heffernan James D.
Published: November 2002

In his article “On Mechanical Recognition” ([6]) R. J. Nelson brings to bear a branch of mathematical logic called automata theory on problems of artificial intelligence. Specifically he attacks the anti-mechanist claim that “[i]nasmuch as human recognition to a very great extent relies on context and on the ability to grasp wholes with some independence of the quality of the parts, even to fill in the missing parts on the basis of expectations, it follows that computers cannot in principle be programmed to recognize or learn to recognize all patterns” ([6]), p. 24). Nelson proposes, contrary to this claim, that “gestalt recognition is not beyond digital automata” ([6], p. 24). in particular, he claims, he will establish by what he calls “Turing machine arguments” ([6], p. 25) that the following four theses are true:

(1)

automata can recognize different pattern types in one and the same set of instances;

(2)

automata can recognize the “same” pattern in different (even completely disjoint) sets of instances;

(3)

automata can recognize incomplete, degraded patterns having missing or indeterminate parts;

(4)

automata can recognize family resemblances. ([6], pp. 24–25)
Scientific Explanation and Sklar's Views of Space and Time
Authors: Wolfson Paul , Woodward James
Published: November 2002

We examine critically the interdependence between science and philosophy which Sklar asserts in Space, Time, and Spacetime. We find that such a view makes it difficult to criticize the ideas of science, like that of absolute space, on their own merits, without importing extraneous philosophical associations. It also impedes appreciation of the importance, and subtlety, of explanation in scientific theory. As a result, particular explanations, such as the one Newton offered of his bucket experiment, are dismissed facilely—indeed, all geometric explanation appears illegitimate—, and such general attitudes as conventionalism appear to lack rationale.
Biological Species as Natural Kinds
Authors: Kitts David B. , Kitts David J.
Published: November 2002

The fact that the names of biological species refer independently of identifying descriptions does not support the view of Ghiselin and Hull that species are individuals. Species may be regarded as natural kinds whose members share an essence which distinguishes them from the members of other species and accounts for the fact that they are reproductively isolated from the members of other species. Because evolutionary theory requires that species be spatiotemporally localized their names cannot occur in scientific laws. If natural kind status is denied to species on this ground, it must also be denied to most classes of concrete entities which are now accorded such status.
Justification, Discovery and the Naturalizing of Epistemology
Authors: Siegel Harvey
Published: November 2002

Reichenbach's well-known distinction between the context of discovery and the context of justification has recently come under attack from several quarters. In this paper I attempt to reconsider the distinction and evaluate various recent criticisms of it. These criticisms fall into two main groups: those which directly challenge Reichenbach's distinction; and those which (I argue) indirectly but no less seriously challenge that distinction by rejecting the related distinction between psychology and epistemology, and defending the “naturalizing” of epistemology. I argue that these recent criticisms fail, and that the distinction remains an important conceptual tool necessary for an adequate understanding of the way in which scientific claims purport to appropriately portray our natural environment.
Russell, Negative Facts, and Ontology
Authors: Oaklander L. Nathan , Miracchi Silvano
Published: November 2002

Russell's introduction of negative facts to account for the truth of “negative” sentences or beliefs rests on his collaboration with Wittgenstein in such efforts as the characterization of formal necessity, the theory of logical atomism, and the use of the Ideal Language. In examining their views we arrive at two conclusions. First, that the issue of negative facts is distinct from questions of meaning or intentionality; what a sentence or belief means or is about rather than what makes it true or false. Second, that the ontological use of the Ideal Language is incompatible with the requirements of its employment in the logical study of inferences. On this basis we conclude that despite elaborations by recent proponents, the doctrine of negative facts lacks adequate support, and perhaps more importantly, it is proper ontological method to free the Ideal Language from the exigencies of a symbolism constructed for logical investigation.
Nicod's Criterion: Subtler than You Think
Authors: Rozeboom William W.
Published: November 2002

In a recent note, Horwich (1978) challenges the foundations of Hempel's classic paradox of confirmation by a clever example purporting to show that under Nicod's Criterion, data can be made to confirm a hypothesis with which they are logically incompatible. Specifically, Horwich observes that 'Pb' (i.e., 'object b has property P') is formally equivalent to '(x)(∼Px · ∼Pb ⊃ x ≠ b)'. The latter has form '(x)(ψx ⊃ ϕx)' with '∼P___ · ∼Pb' for 'Ψ' and '___ ≠ b' for 'ϕ', while the observation that distinct objects a and b both lack P, i.e. that —Pa · ∼Pb · a ≠ b, can be expressed as 'Ψa · ϕa' for these same instantiations of the predicate markers. Accordingly, if an uncertain generality '(x)(Ψx ⊃ Ψx)' were always to be confirmed by an observation of form 'Ψa · ϕa', as Nicod's Criterion has long been presumed to say, then we could confirm that b has P by observing that b and some other object both lack P—a flagrant absurdity.
Reason, Social Practice, and Scientific Realism
Authors: Will Frederick L.
Published: November 2002

Accompanying the decline of empiricism in the theory of knowledge has been an increased interest in the social determinants of knowledge and an increased recognition of the fundamental place in the constitution of knowledge occupied by accepted cognitive practices. The principal aim of this paper is to show how a view of knowledge that fully recognizes the role of these practices can adequately treat a topic that is widely considered to be an insuperable obstacle to such a view. The topic is that of scientific realism, of the independence with respect to cognitive practices of certain objects of knowledge.
Preformation of Ontogenetic Patterns
Authors: Katz Michael J. , Goffman William
Published: November 2002

Most patterns of an organism develop reproducibly and predictably. Thus, most biological patterns are largely predetermined by the nature of the zygote and by the nature of the surrounding world. Some ontogenetic patterns can also be considered to be preformed. Eighteenth and nineteenth century definitions of ‘preformation’ suggested thatallaspects of a precursor pattern—its elements and its configuration—are preserved during development. Today, the idea of preformed configurations has been lost. To revive this lost idea, we offer the following biologically contemporary definition for preformed ontogenetic patterns: preformed patterns are those patterns with topologies that have been conserved during their ontogenies. This definition is presented in precise mathematical language, and its application is demonstrated in a system of developing, abstract patterns.
Aristotelian Force as Newtonian Power
Authors: Aidun John
Published: November 2002

Aristotle's rule of proportions of the factors of motion, presented in VII 5 of the Physics, characterizes Aristotelian force. Observing that the locomotion to which Aristotle applied the Rule is the motion produced by manual labor, I develop an interpretation of the factors of motion that reveals that Aristotelian force is Newtonian power. An alternate interpretation of the Rule by Toulmin and Goodfield implicitly identifies Aristotelian force with Newtonian force. In order to account for the absence of an acceleration in the rate of forced motion, they incorporate into the Rule the medium's resistance to motion due to viscosity as an additional factor. The resulting interpretations of the original factors of motion lose the exactness the power interpretation grants them. The constant rate of forced motion follows immediately from the power interpretation. It is also compatible with the Rule's description of the motion that is produced by the sum of forces.
An Interpretation of Macroscopic Irreversibility within the Newtonian Framework
Authors: Hollinger Henry B. , Zenzen Michael J.
Published: November 2002

Some of the most imaginative analyses in contemporary science have been fostered by the paradox of irreversibility. Rendered as a question the paradox reads: How can the anisotropic macrophysical behavior of a system of molecules be reconciled with the underlying reversible molecular model? Attempts to resolve and dissolve the paradox have appealed to large numbers of particles, jammed correlations, unseen perturbations, hidden variables or constraints, uncertainty principles, averaging procedures (e.g., coarse graining and time smoothing), stochastic flaws, cosmological origins, etc.

While acknowledging these efforts as important articulations of basic ideas of statistical mechanics, we question their relevance to irreversibility as it occurs in nature. It seems to us that once the emergence of the phenomenon of equilibrium is understood in terms of molecular dynamics, the macroscopic appearance of irreversibility can also be understood in terms of the frequency of forced withdrawals from young equilibria. We believe that the paradox of irreversibility can be resolved in a simple, logically clear, and aesthetically pleasing manner.
Space-Time and Synonymy
Authors: Spirtes Peter , Glymour Clark
Published: November 2002

In “The Epistemology of Geometry” Glymour proposed a necessary structural condition for the synonymy of two space-time theories. David Zaret has recently challenged this proposal, by arguing that Newtonian gravitational theory with a flat, non-dynamic connection (FNGT) is intuitively synonymous with versions of the theory using a curved dynamical connection (CNGT), even though these two theories fail to satisfy Glymour's proposed necessary condition for synonymy.

Zaret allowed that if FNGT and CNGT were not equally well (bootstrap) tested by the relevant phenomena, the two theories would in fact not be synonymous. He argued, however, that when electrodynamic phenomena are considered, the two theories are equally well tested.

We show that it is not FNGT and CNGT which are equally well tested when the electrodynamic phenomena are considered, but only suitable extensions of FNGT and CNGT. Thus, there is good reason to consider FNGT and CNGT to be non-synonymous. We further show that the two extensions of FNGT and CNGT which are equally well tested when electrodynamic phenomena are considered (and which could be considered intuitively synonymous) not only satisfy Glymour's original proposed necessary condition for the synonymy of spacetime theories, they satisfy a plausible stronger condition as well.
The Concept of Observation in Science and Philosophy
Authors: Shapere Dudley
Published: November 2002

Through a study of a sophisticated contemporary scientific experiment, it is shown how and why use of the term ‘observation’ in reference to that experiment departs from ordinary and philosophical usages which associate observation epistemically with perception. The role of “background information” is examined, and general conclusions are arrived at regarding the use of descriptive language in and in talking about science. These conclusions bring out the reasoning by which science builds on what it has learned, and, further, how that process of building consists not only in adding to our substantive knowledge, but also in increasing our ability to learn about nature, by extending our ability to observe it in new ways. The argument of this paper is thus a step toward understanding how it is that all our knowledge of nature rests on observation.
Two Common Errors in Explaining Biological and Psychological Phenomena
Authors: Bechtel William
Published: November 2002

One way in which philosophy of science can perform a valuable normative function for science is by showing characteristic errors made in scientific research programs and proposing ways in which such errors can be avoided or corrected. This paper examines two errors that have commonly plagued research in biology and psychology: 1) functional localization errors that arise when parts of a complex system are assigned functions which these parts are not themselves able to perform, and 2) vacuous functional explanations in which one provides an analysis that does account for the inputs and outputs of a system but does not employ the same set of functions to produce this output as does the natural system. These two kinds of error usually arise when researchers limit their investigation to one type of evidence. Historically, correction of these errors has awaited researchers who have employed the opposite type of evidence. This paper explores the tendency to commit these errors by examining examples from historical and contemporary science and proposes a dialectical process through which researchers can avoid or correct such errors in the future.
Particulars, Substrata, and The Identity of Indiscernibles
Authors: Casullo Albert
Published: November 2002

This paper examines the view that ordinary particulars are complexes of universals. Russell's attempt to develop such a theory is articulated and defended against some common misinterpretations and unfounded criticisms in Section I. The next two sections address an argument which is standardly cited as the primary problem confronting the theory: (1) it is committed to the necessary truth of the principle of the identity of indiscernibles; (2) the principle is not necessarily true. It is argued in Section II that a proponent of the theory need not accept (1) and an argument against (2) is presented in Section III. The final section attempts to show that Russell's theory ultimately fails because of inadequacies in its treatment of space and time. The paper closes with a suggestion for remedying this difficulty.
Harré and Madden's Multifarious Account of Natural Necessity
Authors: Woller Raymond
Published: November 2002

In this paper, I critically examine Harré and Madden's attempt, largely as it occurs in their Causal Powers, to secure for causes and laws of nature a kind of necessity which although consistent with commonsensical empiricism and anti-idealistic philosophy of science nevertheless runs counter to the humean-positivistic tradition, which denies the existence of any distinctively “natural” or causal necessity. In the course of the paper, I reveal the multifarious nature of their account and show that each part of that account, commonsensical or ontological, is inadequate. I indicate as well how the multifarious nature of the account allows and even encourages an evasive shifting about in the face of adversity, which shifting no doubt contributes to whatever illusion of adequacy is present in their treatment.
Probabilistic Causality and the Question of Transitivity
Authors: Eells Ellery , Sober Elliott
Published: November 2002

After clarifying the probabilistic conception of causality suggested by Good (1961–2), Suppes (1970), Cartwright (1979), and Skyrms (1980), we prove a sufficient condition for transitivity of causal chains. The bearing of these considerations on the units of selection problem in evolutionary theory and on the Newcomb paradox in decision theory is then discussed.
The Nature of Darwin's Support for the Theory of Natural Selection
Authors: Lloyd Elisabeth A.
Published: November 2002

When natural selection theory was presented, much active philosophical debate, in which Darwin himself participated, centered on its hypothetical nature, its explanatory power, and Darwin's methodology. Upon first examination, Darwin's support of his theory seems to consist of a set of claims pertaining to various aspects of explanatory success. I analyze the support of his method and theory given in the Origin of Species and private correspondence, and conclude that an interpretation focusing on the explanatory strengths of natural selection theory accurately reflects neither Darwin's own self-consciously held views, nor the nature of his support. Darwin's methodological and philosophical arguments were at once consistently empiricist and more sophisticated than such interpretations credit to him.
Natural Science as a Hermeneutic of Instrumentation
Authors: Heelan Patrick
Published: November 2002

The author proposes the thesis that all perception, including observation in natural science, is hermeneutical as well as causal; that is, the perceiver (or observer) learns to ‘read’ instrumental or other perceptual stimuli as one learns to read a text. This hermeneutical aspect at the heart of natural science is located where it might be least expected, within acts of scientific observation. In relation to the history of science, the question is addressed to what extent the hermeneutical component within scientific observation opens natural science to the charge of reflecting merely cultural values, and of providing merely a culturally acceptable reading of the “Book of Nature”, rather than, as the author states, one stating universal antecedent conditions of possibility of cultural activity itself.
Relational Theories of Euclidean Space and Minkowski Spacetime
Authors: Mundy Brent
Published: November 2002

We here present explicit relational theories of a class of geometrical systems (namely, inner product spaces) which includes Euclidean space and Minkowski spacetime. Using an embedding approach suggested by the theory of measurement, we prove formally that our theories express the entire empirical content of the corresponding geometric theory in terms of empirical relations among a finite set of elements (idealized point-particles or events) thought of as embedded in the space. This result is of interest within the general phenomenalist tradition as well as the theory of space and time, since it seems to be the first example of an explicit phenomenalist reconstruction of a realist theory which is provably equivalent to it in observational consequences.

The interesting paper “On the Space-Time Ontology of Physical Theories” by Ken Manders, Philosophy of Science, vol. 49, number 4, December 1982, p. 575–590, has significant affinities to this one. We both, in a sense, try to formally vindicate Leibniz's notion of a relational theory of space, by constructing theories of spatial relations among physical objects which are provably equivalent to the standard absolutist theories. The essential difference between our approaches is that Manders retains Leibniz's explicitly modal framework, whereas I do not. Manders constructs a spacetime theory which explicitly characterizes the totality of possible configurations of physical objects, using a modal language in which the notion of a possible configuration occurs as a primitive. There is no doubt that this is a more accurate realization of Leibniz's own conception of space than the embedding-based approach developed here. However, it also remains open to objections (such as those cited here from Sklar) on account of the special appeal to modal notions.

Our approach here, by contrast, aims to avoid the special appeal to modal notions by giving directly a set of laws which are satisfied by a configuration individually, if and only if it is one of the allowable ones. One thus avoids the need for reference to possible but not actual configurations or objects, in the statement of the spacetime laws. We may then take this alternative set of laws as the actual geometric theory, and do away with the hypothetical entity called ‘space'. Yet at the same time there is no invocation of modality, except in the ordinary sense in which every physical theory constrains what is possible. So that a relationalist is not forced to utilize a modal language (though Leibniz certainly does.)
The Projection Postulate as a Fortuitous Approximation
Authors: Teller Paul
Published: November 2002

If we take the state function of quantum mechanics to describe belief states, arguments by Stairs and Friedman-Putnam show that the projection postulate may be justified as a kind of minimal change. But if the state function takes on a physical interpretation, it provides no more than what I call a fortuitous approximation of physical measurement processes, that is, an unsystematic form of approximation which should not be taken to correspond to some one univocal “measurement process” in nature. This fact suggests that the projection postulate does not provide a proper locus for interpretive investigation. Readers will also find section 3's analysis of fortuitous approximations of independent interest and presented without the perils of quantum mechanics.
Mathematics and Reality
Authors: Shapiro Stewart
Published: November 2002

The subject of this paper is the philosophical problem of accounting for the relationship between mathematics and non-mathematical reality. The first section, devoted to the importance of the problem, suggests that many of the reasons for engaging in philosophy at all make an account of the relationship between mathematics and reality a priority, not only in philosophy of mathematics and philosophy of science, but also in general epistemology/metaphysics. This is followed by a (rather brief) survey of the major, traditional philosophies of mathematics indicating how each is prepared to deal with the present problem. It is shown that (the standard formulations of) some views seem to deny outright that there is a relationship between mathematics and any non-mathematical reality; such philosophies are clearly unacceptable. Other views leave the relationship rather mysterious and, thus, are incomplete at best. The final, more speculative section provides the direction of a positive account. A structuralist philosophy of mathematics is outlined and it is proposed that mathematics applies to reality though the discovery of mathematical structures underlying the non-mathematical universe.
Observation Reconsidered
Authors: Fodor Jerry
Published: November 2002

Several arguments are considered which purport to demonstrate the impossibility of theory-neutral observation. The most important of these infers the continuity of observation with theory from the presumed continuity of perception with cognition, a doctrine widely espoused in recent cognitive psychology. An alternative psychological account of the relation between cognition and perception is proposed and its epistemological consequences for the observation/theory distinction are then explored.
On Accepting Van Fraassen's Image of Science
Authors: Foss Jeff
Published: November 2002

In his book, The Scientific Image, van Fraassen lucidly draws an alternative to scientific realism, which he calls “Constructive Empiricism”. In this epistemological theory, the concept of observability plays the pivotal role: acceptable theories may be believed only where what they say solely concerns observables. Van Fraassen develops a concept of observability which is, as he admits, vague, relative, science-dependent, and anthropocentric. I draw out unacceptable consequences of each of these aspects of his concept. Also, I argue against his assumption that “empirical adequacy” is the same thing as “saving the phenomena”, according to his sense of the expressions.
A Semantic Approach to the Structure of Population Genetics
Authors: Lloyd Elisabeth A.
Published: November 2002

A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their state spaces, parameters, and laws. The suggestions regarding the various aspects of the characterization of population genetics models provide an outline for further detailed research.
Theoretical Functions, Theory and Evidence
Authors: Forge John
Published: November 2002

Glymour's account of confirmation is seen to have paradoxical consequences when applied to the confirmation of theories containing theoretical functions. An alternative conception of instances derived from Sneed's reconstruction of physical theories is conjoined with the instance view of confirmation to produce an account of confirmation that avoids these problems. The topic of selective confirmation is discussed, and it is argued that theories containing theoretical functions are not selectively confirmable.
Some Issues Surrounding the Reduction of Macroeconomics to Microeconomics
Authors: Nelson Alan
Published: November 2002

This paper examines the relationship between modern theories of microeconomics and macroeconomics and, more generally, it evaluates the prospects of theoretically reducing macroeconomics to microeconomics. Many economists have shown strong interest in providing “microfoundations” for macroeconomics and much of their work is germane to the issue of theoretical reduction. Especially relevant is the work that has been done on what is called The Problem of Aggregation. On some accounts, The Problem of Aggregation justisthe problem of reducing macroeconomics to microeconomics. I show how to separate these problems and then try to determine to what extent particular kinds of solutions to The Problem of Aggregation succeed in reducing macroeconomics to microeconomics as well. I argue that reduction is not possible by this means given the current state of microeconomics. I also describe how reduction may be possible by means of (dis)aggregation if microeconomics is supplemented in a certain way with the results of experimental research on individual economic agents.
Clark Hull, Robert Cummins, and Functional Analysis
Authors: Amundson Ron , Smith Laurence D.
Published: November 2002

Robert Cummins has recently used the program of Clark Hull to illustrate the effects of logical positivist epistemology upon psychological theory. On Cummins's account, Hull's theory is best understood as a functional analysis, rather than a nomological subsumption. Hull's commitment to the logical positivist view of explanation is said to have blinded him to this aspect of his theory, and thus restricted its scope. We will argue that this interpretation of Hull's epistemology, though common, is mistaken. Hull's epistemological views were developed independently of, and in considerable contrast to, the principles of logical positivism.
Unified Field Theory and the Conventionality of Geometry
Authors: Pitowsky Itamar
Published: November 2002

The existence of fields besides gravitation may provide us with a way to decide empirically whether spacetime is really a nonflat Riemannian manifold or a flat Minkowskian manifold that appears curved as a result of gravitational distortions. This idea is explained using a modification of Poincaré's famous ‘diskworld’.
Are Probabilism and Special Relativity Incompatible?
Authors: Maxwell Nicholas
Published: November 2002

In this paper I expound an argument which seems to establish that probabilism and special relativity are incompatible. I examine the argument critically, and consider its implications for interpretative problems of quantum theory, and for theoretical physics as a whole.
Approximative Explanation is Deductive-Nomological
Authors: Pearce David , Rantala Veikko
Published: November 2002

We revive the idea that a deductive-nomological explanation of a scientific theory by its successor may be defensible, even in those common and troublesome cases where the theories concerned are mutually incompatible; and limiting, approximating and counterfactual assumptions may be required in order to define a logical relation between them. Our solution is based on a general characterization of limiting relations between physical theories using the method of nonstandard analysis.
Optical Axiomatization of Minkowski Space-Time Geometry
Authors: Mundy Brent
Published: November 2002

Minkowski geometry is axiomatized in terms of the asymmetric binary relation of optical connectibility, using ten first-order axioms and the second-order continuity axiom. An axiom system in terms of the symmetric binary optical connection relation is also presented. The present development is much simpler than the corresponding work of Robb, upon which it is modeled.
What Revisions Does Bootstrap Testing Need?
Authors: Żytkow Jan M.
Published: November 2002

Clark Glymour (1980) defined bootstrap-confirmation as a three-place relation: “Evidence E bootstrap confirms hypothesis H with respect to theory T.“ By an ingenious choice of examples, David Christensen (1983) has shown that Glymour's definition is satisfied in a class of cases in which confirmation seems to be highly counterintuitive. Responding to Christensen's criticism, Glymour (1983) revised his 1980 definition of bootstrap confirmation, by introducing an additional condition that rules out Christensen's counterexamples.
Macro- versus Micro-Determinism
Authors: Sperry R. W.
Published: November 2002

Most readers will agree with the starting assumptions of Klee (1984) that contemporary science and philosophy assume a primarily micro-deterministic view of nature–and that this has long been the case, or was at least until the 1970s. (As I will explain later, I think such an assumption has been open to question since the mid-1970s.) Defending a strict micro-determinism, Klee argues that concepts of emergence that seemingly are opposed to micro-determinist doctrine can be shown, on analysis, to be ultimately consistent with a thoroughgoing philosophy of micro-determinism. An exception is made, however, in the case of my own view, labeled “direct macro-determinism,” which he describes as “ultimately more troublesome” but then disposes of as being based on “simplistic analogies” and “metaphors” and “too weak to be conclusive.”
Did the Intensity of My Preferences Double Last Night?
Authors: Sorensen Roy A.
Published: November 2002

About twenty years ago, philosophers debated the verifiability of the statement “Last night everything doubled in size.” It seems that universal nocturnal expansion would double our rulers and tape measures making the size change indiscernible. I think that there is an internal analogue to the question “Did everything double in size last night?” The question “Did my preferences double in intensity last night?“ also raises problems of verification.
Robert Stalnaker, Inquiry
Authors: Field Hartry
Published: November 2002

This is an interesting, well argued, and highly readable book; anyone interested in the central philosophical problems with which it deals will benefit from studying it.

Stalnaker defines inquiry as the process of forming, testing, and revising beliefs. His goal is to lay the groundwork for a theory of inquiry, by elaborating and defending a certain apparatus in terms of which the process of inquiry should be described.
Using Scott Domains to Explicate the Notions of Approximate and Idealized Data
Authors: Laymon Ronald
Published: November 2002

This paper utilizes Scott domains (continuous lattices) to provide a mathematical model for the use of idealized and approximately true data in the testing of scientific theories. Key episodes from the history of science can be understood in terms of this model as attempts to demonstrate that theories are monotonic, that is, yield better predictions when fed better or more realistic data. However, as we show, monotonicity and truth of theories are independent notions. A formal description is given of the pragmatic virtues of theories which are monotonic. We also introduce the stronger concept of continuity and show how it relates to the finite nature of scientific computations. Finally, we show that the space of theories also has the structure of a Scott domain. This result provides an analysis of how one theory can be said to approximate another.
Science Nominalized Properly
Authors: Horgan Terence
Published: November 2002

Although Hale and Resnik are correct in their specific objection to my proposal for nominalizing science, the proposal can be saved by means of a simple and plausible modification.
Zeno's Paradoxes and the Tile Argument
Authors: van Bendegem Jean Paul
Published: November 2002

A solution of the Zeno paradoxes in terms of a discrete space is usually rejected on the basis of an argument formulated by Hermann Weyl, the so-called tile argument. This note shows that, given a set of reasonable assumptions for a discrete geometry, the Weyl argument does not apply. The crucial step is to stress the importance of the nonzero width of a line. The Pythagorean theorem is shown to hold for arbitrary right triangles.
Discussion: The Contrast Theory of Why-Questions
Authors: Temple Dennis
Published: November 2002

Classic studies of explanation, such as those of Hempel and Bromberger, took it for granted that an explanation-seeking question of the form “Why P?“ should be understood as asking about the proposition P. This view has been recently challenged by Bas van Fraassen and Alan Garfinkel. They acknowledge that some questions have the surface form “Why P?” but they hold that a correct reading for why-questions should take the form “Why P (rather than Q)?”, where Q is a contrasting alternative. This contrast theory is discussed here. It is argued that, properly understood, the contrast theory and the propositional approach can and should give equivalent readings to why-questions.
Likelihood and Convergence
Authors: Sober Elliott
Published: November 2002

A common view among statisticians is that convergence (which statisticians call consistency) is a necessary property of an inference rule or estimator. In this paper, this view is challenged by appeal to an example in which a rule of inference has a likelihood rationale but is not convergent. The example helps clarify the significance of the likelihood concept in statistical inference.
Forces
Authors: Bigelow John , Ellis Brian , Pargetter Robert
Published: November 2002

Traditionally, forces are causes of a special sort. Forces have been conceived to be the direct or immediate causes of things. Other sorts of causes act indirectly by producing forces which are transmitted in various ways to produce various effects. However, forces are supposed to act directly without the mediation of anything else.

But forces, so conceived, appear to be occult. They are mysterious, because we have no clear conception of what they are, as opposed to what they are postulated to do; and they seem to be hidden from direct observations. There is, therefore, strong initial motivation for trying to eliminate forces from physics. Furthermore, as we shall explain, powerful arguments can be mounted to show that theories with forces can always be recast as theories without them. Hence it seems that forces should be eliminated, in the interests of simplicity.

We argue, however, that forces should not be eliminated—just differently construed. For the effect of elimination is to leave us without any adequate account of the causal relationships forces were postulated to explain. And this would remain the case, even if forces could be identified with some merely dispositional properties of physical systems. In our view, forces are species of the causal relation itself, and as such have a different ontological status from the sorts of entities normally considered to be related as causes to effects.
Selection Type Theories
Authors: Darden Lindley , Cain Joseph A.
Published: November 2002

Selection type theories solve adaptation problems. Natural selection, clonal selection for antibody production, and selective theories of higher brain function are examples. An abstract characterization of typical selection processes is generated by analyzing and extending previous work on the nature of natural selection. Once constructed, this abstraction provides a useful tool for analyzing the nature of other selection theories and may be of use in new instances of theory construction. This suggests the potential fruitfulness of research to find other theory types and construct their abstractions.
Instrumental Intentionality
Authors: Baker Lynne Rudder
Published: November 2002

Many physicalists are committed to an austere dichotomy: either beliefs, desires and intentions are scientifically respectable or attributions of such attitudes are all false. One physicalist, Daniel Dennett, offers a third alternative, which seems to permit a kind of instrumentalism concerning attitudes. I argue that Dennett's attempt to reconcile an instrumentalistic account of attributions of attitudes with a thoroughgoing physicalism founders on unresolvable conflicts between his official theory and his actual treatment of key concepts. As a result, instrumentalism concerning attitudes is exposed as inadequate to be a genuine alternative to the physicalist's dichotomy.
Discussion: Confirmation, Paradox, and Logic
Authors: Eriksen Leif
Published: November 2002

Paul Horwich has formulated a paradox which he believes to be even more virulent than the related Hempel paradox. I show that Horwich's paradox, as originally formulated, has a purely logical solution, hence that it has no bearing on the theory of confirmation. On the other hand, it illuminates some undesirable traits of classical predicate logic. A revised formulation of the paradox is then dealt with in a way that implies a modest revision of Nicod's criterion.
Evolution, Phenotypic Selection, and the Units of Selection
Authors: Shanahan Timothy
Published: November 2002

In recent years philosophers have attempted to clarify the units of selection controversy in evolutionary biology by offering conceptual analyses of the term ‘unit of selection’. A common feature of many of these analyses is an emphasis on the claim that units of selection are entities exhibiting heritable variation in fitness. In this paper I argue that the demand that units of selection be characterized in terms of heritability is unnecessary, as well as undesirable, on historical, theoretical, and philosophical grounds. I propose a positive account of the proper referent of the term ‘unit of selection’, distinguishing between the processes of evolution and phenotypic selection. The main result of this analysis is greater clarity about the conceptual structure of evolutionary theory.
Philip Kitcher and wesley c. Salmon, (eds.), Scientific Explanation; and Wesley C. Salmon, Four Decades of Scientific Explanation
Authors: Fetzer James H.
Published: November 2002

Philip Kitcher and Wesley C. Salmon have edited an important anthology of new papers on scientific explanation, a central problem—possibly the central problem—in the theory of science (Kitcher and Salmon 1989). Their collection begins with a comprehensive essay by Salmon that attempts to trace the development of work on this issue from Hempel and Oppenheim (1948) to the present. The University of Minnesota Press has published this article as a separate volume (Salmon 1990), which it is promoting as “a definitive introduction” to this area of inquiry. Apart from its preface and indices, the Salmon volume is identical with the original essay.
Temporally Asymmetric Inference in a Markov Process
Authors: Sober Elliott
Published: November 2002

A model of a Markov process is presented in which observing the present state of a system is asymmetrically related to inferring the system's future and inferring its past. A likelihood inference about the system's past state, based on observing its present state, is justified no matter what the parameter values in the model happen to be. In contrast, a probability inference of the system's future state, based on observing its present state, requires further information about the parameter values.
The New Theory of Reference Entails Absolute Time and Space
Authors: Smith Quentin
Published: November 2002

The New Theory of Reference (NTR) of Marcus, Kripke, Kaplan, Putnam and others is a theory in the philosophy of language and there has been much debate about whether it entails the metaphysical theory of essentialism. But there has been no discussion about whether the NTR entails another metaphysical theory, the absolutist theory of time and space. It is argued in this paper that the NTR carries this entailment; the theory of time is the main focus of the paper and it is argued that the NTR entails the absolutist theory that times are event-independent moments.
The Politics of Postmodern Philosophy of Science
Authors: Rouse Joseph
Published: November 2002

Modernism in the philosophy of science demands a unified story about what makes an inquiry scientific (or a successful science). Fine's “natural ontological attitude” (NOA) is “postmodern” in joining trust in local scientific practice with suspicion toward any global interpretation of science to legitimate or undercut that trust. I consider four readings of this combination of trust and suspicion and their consequences for the autonomy and cultural credibility of the sciences. Three readings take respectively Fine's trusting attitude, his emphasis upon local practice, and his antiessentialism about science as most fundamental to NOA. A fourth, more adequate reading, prompted by recent feminist interpretations of science, offers less restrictive readings of both Fine's trust and his suspicion toward approaching science with “ready-made philosophical engines” (Fine 1986b, 177).
Leplin on Essentialism
Authors: Shapere Dudley
Published: November 2002

Jarrett Leplin has recently criticized a number of aspects of my views of the aims and goals of science, of the rationale of scientific change, and of the consequent relations between science and the philosophy of science, and in particular of the methodology of the latter (Leplin 1984, 1987, 1988a, 1988b). Here I will respond to those criticisms, and also reply to some related criticisms made by other writers.
Should we Explain the EPR Correlations Causally?
Authors: Elby Andrew
Published: November 2002

Using three intuitive notions about causes, including Redhead's robustness condition, I formulate necessary conditions on partial causes. I then demonstrate that we cannot explain the EPR correlations in terms of partial causes unless we abandon the quantum mechanical framework and adopt a nonlocal hidden-variable theory. The argument, unlike its predecessors, does not appeal to relativity theory.
Keynes's Weight of Argument and Popper's Paradox of Ideal Evidence
Authors: O'Donnell Rod
Published: November 2002

Popper's paradox of ideal evidence has long been viewed as a telling criticism of Keynes's logical theory of probability and its associated concept of the weight of argument. This paper shows that a simple addition to Keynes's definitions of irrelevance enables his theory to elude the paradox with ease. The modified definition draws on ideas already present in Keynes's Treatise on Probability (1973). As a consequence, relevant evidence and the weight of argument may increase, even when new evidence leaves the probability unaltered.