Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose between these schemas, to the explanation of (...) physical optics by Maxwell's electromagnetic theory, and to the revisions of genetics necessitated by partial biochemical reductions of genetics. A more general reduction schema is proposed which: (1) yields as special cases the four reduction paradigms considered above, (2) seems to be in better accord with both the canons of logic and actual scientific practice, and (3) clarifies the problems of meaning variance and ontological reduction. (shrink)

This article focuses on emergence in social systems. The author begins by proposing a new tool to explore the mechanisms of social emergence: multi agent–based computer simulation. He then draws on philosophy of mind to develop an account of social emergence that raises potential problems for the methodological individualism of both social mechanism and of multi agent simulation. He then draws on various complexity concepts to propose a set of criteria whereby one can determine whether a given social mechanism generates (...) emergent properties, in the sense that their explanation cannot be reduced to a mechanistic account of individuals and their interactions. This combined account helps to resolve the competing claims of methodological individualists and social realists. The author’s conclusion is that the scope of mechanistic explanation may be limited due to the extreme complexity of many social systems. Key Words: emergence • mechanism • computer simulation • methodological individualism • social realism. (shrink)

This paper presents a drastically revised version of the theory of causality, based on analyses of causal processes and causal interactions, advocated in Salmon (1984). Relying heavily on modified versions of proposals by P. Dowe, this article answers penetrating objections by Dowe and P. Kitcher to the earlier theory. It shows how the new theory circumvents a host of difficulties that have been raised in the literature. The result is, I hope, a more satisfactory analysis of physical causality.

Non-reductive physicalists have made a number of attempts to provide the relation of supervenience between levels of properties with enough bite to analyze interesting cases without at the same time losing the relation's acceptability for the physicalist. I criticize some of these proposals and suggest an alternative supplementation of the supervenience relation by imposing a requirement of robustness which is motivated by the notion of structural stability familiar from dynamical systems theory. Robust supervenience, I argue, captures what the non-reductive physicalist (...) wants from supervenience; most importantly, it provides a natural background for reconstructing the notion of (diachronic) property emergence in a way acceptable to physicalists. (shrink)

Jonathan Dancy argues in his book Moral Reasons that neither general nor specific moral principles are of any important use in moral decision making. I examine his reasons for denying any important role to such principles. With regard to general moral principles, I suggest that there are such principles that appear useful ‐ an idea that Dancy in some passages actually seems to endorse. When it comes to highly specific principles, Dancy's advice is less open to interpretation; since such principles (...) match only one situation, Dancy considers them as of no use. I contest this view by considering an example that suggests that a highly specific principle has been of use. (shrink)

BRENTANO'S APPROPRIATION OF THE Scholastic notion of intentionality, and of what Brentano called "the intentional (or mental) inexistence of an object," was early on exploited in a reading of Kant's theory of objects and appearances. Apparently the first systematic attempt was undertaken by Hans Vaihinger. However, Vaihinger's is radically different from more recent intentionalist readings of Kant. Albeit not in every respect, I propose that a return to this aspect of Vaihinger's approach supports a rewarding advance on such readings. After (...) a general introduction, I survey three instances of the latter—Prauss, Pereboom, and Sellars—in section 2 (and comment on some others in notes throughout). In sections 3 and 4, I then turn to Vaihinger's approach. (shrink)

It is here argued that functionalist constraints on psychology do not preclude the applicability of classic forms of reduction and, therefore, do not support claims to a principled, or de jure, autonomy of psychology. In Part I, after isolating one minimal restriction any functionalist theory must impose on its categories, it is shown that any functionalism imposing an additional constraint of de facto autonomy must also be committed to a pure functionalist--that is, a computationalist--model for psychology. Using an extended parallel (...) to the reduction of Mendelian to molecular genetics, it is shown in Parts II and III that, contrary to the claims of Hilary Putnam and Jerry Fodor, there is no inconsistency between computational models and classical reductionism: neither plurality of physical realization nor plurality of function are inconsistent with reductionism as defended by Ernest Nagel. Employing the results of Part I, the conclusions of Parts II and III are generalized in Part IV to cover any version of functionalism whatsoever; thus, functionalism and reductionism are shown to be consistent. It is urged in conclusion that although a de facto form of autonomy is defensible, there are sound methodological grounds for unconditionally rejecting any principled version of the autonomy of psychology. (shrink)

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (shrink)

Review of Insensitive Semantics, by H. Cappelen and E. Lepore.

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

Words and phrases refer to things in either of two ways. A name or singular description designates its object, if any. A predicate denotes each of the objects of which it is true. Such are the two sorts of reference: designation and denotation. We are often told, and rightly, that neither sort is to be confused with meaning. The descriptions ‘the author of Waverley’ and ‘the author of Ivanhoe’ designate the same man, after all, but differ in meaning; and a (...) predicate may denote each of many things, while having only one meaning. (shrink)

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set (...) theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science. (shrink)

Since its publication in 1959, Individuals has become a modern philosophical classic. Bold in scope and ambition, it continues to influence debates in metaphysics, philosophy of logic and language, and epistemology. Peter Strawson's most famous work, it sets out to describe nothing less than the basic subject matter of our thought. It contains Strawson's now famous argument for descriptive metaphysics and his repudiation of revisionary metaphysics, in which reality is something beyond the world of appearances. Throughout, Individuals advances some highly (...) influential and controversial ideas, such as 'non-solipsistic consciousness' and the concept of a person a 'primitive concept'. (shrink)

This precis explains that _Philosophical naturalism contains three parts. Part I examines arguments for physicalism and maintains I) that all causally relevant special science properties must be realized by physical ones, and II) that all special science laws must reduce to physical ones, apart from the significant category of special laws that result from selection processes. Part II defends a teleological theory of representation and an identity theory of consciousness. Part III defends reliabilism and applies it to inductive scepticism and (...) also defends a fictionalist account of mathematics. (shrink)

This is a review of Mumford's *Dispositions*.

A review of Andrew Melnyk's _A Physicalist Manifesto_ (Cambridge: CUP, 2003).

This essay examines the role allocated to ostensive definition in the logical empiricist philosophy of the vienna circle. it explains how this characteristic array of doctrines grew out of reflections on the "tractatus". the various theses are distinguished into general principles, logical aspects, normative aspects and psychological theses. a detailed survey of wittgenstein's later analysis of ostensive definition is undertaken. this is then brought to bear on the doctrines of logical empiricism to show that they are incoherent. the essay concludes (...) by sketching out how much of those fallacious doctrines survive explicitly in contemporary philosophy of language. (shrink)