There are a bewildering variety of claims connecting Darwin to nineteenth-century philosophy of science—including to Herschel, Whewell, Lyell, German Romanticism, Comte, and others. I argue here that Herschel’s influence on Darwin is undeniable. The form of this influence, however, is often misunderstood. Darwin was not merely taking the concept of “analogy” from Herschel, nor was he combining such an analogy with a consilience as argued for by Whewell. On the contrary, Darwin’s Origin is written in precisely the manner that one (...) would expect were Darwin attempting to model his work on the precepts found in Herschel’s Preliminary Discourse on Natural Science. While Hodge has worked out a careful interpretation of both Darwin and Herschel, drawing similar conclusions, his interpretation misreads Herschel’s use of the vera causa principle and the verification of hypotheses. The new reading that I present here resolves this trouble, combining Hodge’s careful treatment of the structure of the Origin with a more cautious understanding of Herschel’s philosophy of science. This interpretation lets us understand why Darwin laid out the Origin in the way that he did and also why Herschel so strongly disagreed, including in Herschel’s heretofore unanalyzed marginalia in his copy of Darwin’s book. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

The relevance of analytic metaphysics has come under criticism: Ladyman & Ross, for instance, have suggested do discontinue the field. French & McKenzie have argued in defense of analytic metaphysics that it develops tools that could turn out to be useful for philosophy of physics. In this article, we show first that this heuristic defense of metaphysics can be extended to the scientific field of applied ontology, which uses constructs from analytic metaphysics. Second, we elaborate on a parallel by French (...) & McKenzie between mathematics and metaphysics to show that the whole field of analytic metaphysics, being useful not only for philosophy but also for science, should continue to exist as a largely autonomous field. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

The Continuum Hypothesis featured top of Hilbert's list of 23 problems in 1900. Today, we still consider the question, with various programmes pulling in different directions. This conceptual diversity raises a puzzle: In what sense do we disagree when we talk about it? A standard assumption takes it that the content of our thought about classes and the Continuum Hypothesis has not changed. Assuming a moderate view of how content is determined, I reject this assumption but also argue that whilst (...) the Continuum Hypothesis can have different content for different agents, it can also be determinate for certain programmes. In particular, I suggest that there is a fault line between those who think there are uncountable sets and recent countabilist programmes. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

Philosophy of science is expanding via the introduction of new digital data and tools for their analysis. The data comprise digitized published books and journal articles, as well as heretofore unpublished material such as images, archival text, notebooks, meeting notes, and programs. The growth in available data is matched by the extensive development of automated analysis tools. The variety of data sources and tools can be overwhelming. In this article, we survey the state of digital work in the philosophy of (...) science, showing what kinds of questions can be answered and how one can go about answering them. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

La pertinence de la métaphysique analytique a fait l'objet de critiques : Ladyman et Ross, par exemple, ont suggéré d'abandonner ce domaine. French et McKenzie ont défendu la métaphysique analytique en affirmant qu'elle développe des outils qui pourraient s'avérer utiles pour la philosophie de la physique. Dans cet article, nous montrons dans un premier temps que cette défense heuristique de la métaphysique peut être étendue au domaine scientifique de l'ontologie appliquée, qui utilise des théories et outils issus de la métaphysique (...) analytique. Dans un deuxième temps, nous développons le parallèle que font French et McKenzie entre les mathématiques et la métaphysique pour montrer que l'ensemble du domaine de la métaphysique analytique, étant donné son utilité non seulement pour la philosophie mais également pour la science, devrait continuer à exister en tant que domaine largement autonome. (shrink)

The self-fashioning of French Newtonianism Content Type Journal Article DOI 10.1007/s11016-010-9511-3 Authors Charles T. Wolfe, Unit for History and Philosophy of Science, University of Sydney, Sydney, NSW 2006, Australia David Gilad, Unit for History and Philosophy of Science, University of Sydney, Sydney, NSW 2006, Australia Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Conpiracy theories are widely deemed to be superstitious. Yet history appears to be littered with conspiracies successful and otherwise. (For this reason, "cock-up" theories cannot in general replace conspiracy theories, since in many cases the cock-ups are simply failed conspiracies.) Why then is it silly to suppose that historical events are sometimes due to conspiracy? The only argument available to this author is drawn from the work of the late Sir Karl Popper, who criticizes what he calls "the conspiracy theory (...) of society" in The Open Society and elsewhere. His critique of the conspiracy theory is indeed sound, but it is a theory no sane person maintains. Moreover, its falsehood is compatible with the prevalence of conspiracies. Nor do his arguments create any presumption against conspiracy theories of this or that. Thus the belief that it is superstitious to posit conspiracies is itself a superstition. The article concludes with some speculations as to why this superstition is so widely believed. (shrink)

Conspiracy theories should be neither believed nor investigated - that is the conventional wisdom. I argue that it is sometimes permissible both to investigate and to believe. Hence this is a dispute in the ethics of belief. I defend epistemic ‘oughts’ that apply in the first instance to belief-forming strategies that are partly under our control. I argue that the policy of systematically doubting or disbelieving conspiracy theories would be both a political disaster and the epistemic equivalent of self-mutilation, since (...) it leads to the conclusion that history is bunk and the nightly news unbelievable. In fact (of course) the policy is not employed systematically but is only wheeled on to do down theories that the speaker happens to dislike. I develop a deductive argument from hard-to-deny premises that if you are not a ‘conspiracy theorist’ in my anodyne sense of the word then you are an ‘idiot’ in the Greek sense of the word, that is, someone so politically purblind as to have no opinions about either history or public affairs. The conventional wisdom can only be saved (if at all) if ‘conspiracy theory’ is given a slanted definition. I discuss some slanted definitions apparently presupposed by proponents of the conventional wisdom (including, amongst others, Tony Blair) and conclude that even with these definitions the conventional wisdom comes out as deeply unwise. I finish up with a little harmless fun at the expense of David Aaronvitch whose abilities as a rhetorician and a popular historian are not perhaps matched by a corresponding capacity for logical thought. (shrink)

A longstanding issue in attempts to understand the Everett (Many-Worlds) approach to quantum mechanics is the origin of the Born rule: why is the probability given by the square of the amplitude? Following Vaidman, we note that observers are in a position of self-locating uncertainty during the period between the branches of the wave function splitting via decoherence and the observer registering the outcome of the measurement. In this period it is tempting to regard each branch as equiprobable, but we (...) argue that the temptation should be resisted. Applying lessons from this analysis, we demonstrate (using methods similar to those of Zurek's envariance-based derivation) that the Born rule is the uniquely rational way of apportioning credence in Everettian quantum mechanics. In doing so, we rely on a single key principle: changes purely to the environment do not affect the probabilities one ought to assign to measurement outcomes in a local subsystem. We arrive at a method for assigning probabilities in cases that involve both classical and quantum self-locating uncertainty. This method provides unique answers to quantum Sleeping Beauty problems, as well as a well-defined procedure for calculating probabilities in quantum cosmological multiverses with multiple similar observers. (shrink)

Abstract Conspiracy theories should be neither believed nor investigated - that is the conventional wisdom. I argue that it is sometimes permissible both to investigate and to believe. Hence this is a dispute in the ethics of belief. I defend epistemic “oughts” that apply in the first instance to belief-forming strategies that are partly under our control. But the beliefforming strategy of not believing conspiracy theories would be a political disaster and the epistemic equivalent of selfmutilation. I discuss several variations (...) of this strategy, interpreting “conspiracy theory” in different ways but conclude that on all these readings, the conventional wisdom is deeply unwise. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

The idea of ‘reversion’ or ‘atavism’ has a peculiar history. For many authors in the latenineteenth and early-twentieth centuries – including Darwin, Galton, Pearson, Weismann, and Spencer, among others – reversion was one of the central phenomena which a theory of heredity ought to explain. By only a few decades later, however, Fisher and others could look back upon reversion as a historical curiosity, a non-problem, or even an impediment to clear theorizing. I explore various reasons that reversion might have (...) appeared to be a central problem for this first group of figures, focusing on their commitment to a variety of conceptual features of evolutionary theory; discuss why reversion might have then ceased to be an interesting phenomenon; and, finally, close with some more general thoughts about the death of scientific problems. (shrink)

Nihilism, Nietzsche and the Doppelganger Problem Was Nietzsche a nihilist? Yes, because, like J. L. Mackie, he was an error-theorist about morality, including the elitist morality to which he himself subscribed. But he was variously a diagnostician, an opponent and a survivor of certain other kinds of nihilism. Schacht argues that Nietzsche cannot have been an error theorist, since meta-ethical nihilism is inconsistent with the moral commitment that Nietzsche displayed. Schacht’s exegetical argument parallels the substantive argument (advocated in recent years (...) by Wright and Blackburn) that Mackie’s error theory can’t be true because if it were, we would have to give up morality or give up moralizing. I answer this argument with a little bit of help from Nietzsche. I then pose a problem, the Doppelganger Problem, for the meta-ethical nihilism that I attribute to Mackie and Nietzsche. (If A is a moral proposition then not-A is a moral proposition: hence not all moral propositions can be false.) I solve the problem by reformulating the error theory and also deal with a variant of the problem, the Reinforced Doppelganger, glancing at a famous paper of Ronald Dworkin’s. Thus, whatever its demerits, the error theory, is not self-refuting, nor does it require us to give up morality. (shrink)

Intellectual history still quite commonly distinguishes between the episode we know as the Scientific Revolution, and its successor era, the Enlightenment, in terms of the calculatory and quantifying zeal of the former—the age of mechanics—and the rather scientifically lackadaisical mood of the latter, more concerned with freedom, public space and aesthetics. It is possible to challenge this distinction in a variety of ways, but the approach I examine here, in which the focus on an emerging scientific field or cluster of (...) disciplines—the ‘life sciences’, particularly natural history, medicine, and physiology —is, not Romantically anti-scientific, but resolutely anti-mathematical. Diderot bluntly states, in his Thoughts on the interpretation of nature, that “We are on the verge of a great revolution in the sciences. Given the taste people seem to have for morals, belles-lettres, the history of nature and experimental physics, I dare say that before a hundred years, there will not be more than three great geometricians remaining in Europe. The science will stop short where the Bernoullis, the Eulers, the Maupertuis, the Clairauts, the Fontaines and the D’Alemberts will have left it.... We will not go beyond.” Similarly, Buffon in the first discourse of his Histoire naturelle speaks of the “over-reliance on mathematical sciences,” given that mathematical truths are merely “definitional” and “demonstrative,” and thereby “abstract, intellectual and arbitrary.” Earlier in the Thoughts, Diderot judges “the thing of the mathematician” to have “as little existence in nature as that of the gambler.” Significantly, this attitude—taken by great scientists who also translated Newton or wrote careful papers on probability theory, as well as by others such as Mandeville—participates in the effort to conceptualize what we might call a new ontology for the emerging life sciences, very different from both the ‘iatromechanism’ and the ‘animism’ of earlier generations, which either failed to account for specifically living, goal-directed features of organisms, or accounted for them in supernaturalistic terms by appealing to an ‘anima’ as explanatory principle. Anti-mathematicism here is then a key component of a naturalistic, open-ended project to give a successful reductionist model of explanation in ‘natural history’, a model which is no more vitalist than it is materialist—but which is fairly far removed from early modern mechanism. (shrink)

Much of the discussion of set-theoretic independence, and whether or not we could legitimately expand our foundational theory, concerns how we could possibly come to know the truth value of independent sentences. This paper pursues a slightly different tack, examining how we are ignorant of issues surrounding their truth. We argue that a study of how we are ignorant reveals a need for an understanding of set-theoretic explanation and motivates a pluralism concerning the adoption of foundational theory.

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical (...) reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

In reflecting on the relation between early empiricist conceptions of the mind and more experimentally motivated materialist philosophies of mind in the mid-eighteenth century, I suggest that we take seriously the existence of what I shall call ‘phantom philosophical projects’. A canonical empiricist like Locke goes out of his way to state that their project to investigate and articulate the ‘logic of ideas’ is not a scientific project: “I shall not at present meddle with the Physical consideration of the Mind” (...) (Essay, I.i.2). An equally prominent thinker, Immanuel Kant, seems to make an elementary mistake, given such a clear statement, when he claims that Locke’s project was a “physiology of the understanding,” in the Preface to the A edition of the first Critique). A first question, then, would be: what is this physiology of the understanding, if it was not Locke’s project? Did anyone undertake such a project? If not, what would it have resembled? My second and related case comes out of a remark the Hieronymus Gaub makes in a letter to Charles Bonnet of 1761: criticizing materialist accounts of mind and mind-body relations such as La Mettrie’s, Gaub suggests that what is needed is a thorough study of the “mechanics of the soul,” and that Bonnet could write such a study. What is the mechanics of the soul, especially given that it is presented as a non-materialist project? To what extent does it resemble the purported “physiology of the understanding”? And more generally, what do both of these phantom projects have to do with a process we might describe as a ‘naturalization of the soul’? (shrink)

In this article, network science is discussed from a methodological perspective, and two central theses are defended. The first is that network science exploits the very properties that make a system complex. Rather than using idealization techniques to strip those properties away, as is standard practice in other areas of science, network science brings them to the fore, and uses them to furnish new forms of explanation. The second thesis is that network representations are particularly helpful in explaining the properties (...) of non-decomposable systems. Where part-whole decomposition is not possible, network science provides a much-needed alternative method of compressing information about the behavior of complex systems, and does so without succumbing to problems associated with combinatorial explosion. The article concludes with a comparison between the uses of network representation analyzed in the main discussion, and an entirely distinct use of network representation that has recently been discussed in connection with mechanistic modeling. (shrink)

In his celebrated 'Good and Evil' (l956) Professor Geach argues as against the non-naturalists that ‘good’ is attributive and that the predicative 'good', as used by Moore, is senseless.. 'Good' when properly used is attributive. 'There is no such thing as being just good or bad, [that is, no predicative 'good'] there is only being a good or bad so and so'. On the other hand, Geach insists, as against non-cognitivists, that good-judgments are entirely 'descriptive'. By a consideration of what (...) it is to be an A, we can determine what it is to be a good A, even where the ‘A’ in question is ‘human being’. These battles are fought on behalf of naturalism, indeed, of an up-to-date Aristotelianism. Geach plans to 'pass' from the 'purely descriptive' man to good/bad man, and from human act to good/bad human act. I argue: (l) That the predicative 'good' does have a genuine sense and that it is a mistake to suppose that ‘good’ is a purely attributive adjective. This does not entail that the predicative good (as used by Moore) denotes a non-natural property, but his mistake, if any is metaphysical or ontological not conceptual. (2) That the attributive 'good' cannot be used to generate a naturalistic ethic. It is difficult to extract a set of biologically based requirements out of human nature that are a) reasonably specific; b) rationally binding or at least highly persuasive; and c) morally credible. -/- On the way I protest against Geach’s tendency to try to win arguments by affecting not to understand things. -/- My views to some extent anticipate those of Kraut in *Against Absolute Goodness*. (shrink)

The category of ‘organism’ has an ambiguous status: is it scientific or is it philosophical? Or, if one looks at it from within the relatively recent field or sub-field of philosophy of biology, is it a central, or at least legitimate category therein, or should it be dispensed with? In any case, it has long served as a kind of scientific “bolstering” for a philosophical train of argument which seeks to refute the “mechanistic” or “reductionist” trend, which has been perceived (...) as dominant since the 17th century, whether in the case of Stahlian animism, Leibnizian monadology, the neo-vitalism of Hans Driesch, or, lastly, of the “phenomenology of organic life” in the 20th century, with authors such as Kurt Goldstein, Maurice Merleau-Ponty, and Georges Canguilhem. In this paper I try to reconstruct some of the main interpretive ‘stages’ or ‘layers’ of the concept of organism in order to critically evaluate it. How might ‘organism’ be a useful concept if one rules out the excesses of ‘organismic’ biology and metaphysics? Varieties of instrumentalism and what I call the ‘projective’ concept of organism are appealing, but perhaps ultimately unsatisfying. (shrink)

Will brain imaging technology soon enable neuroscientists to read minds? We cannot answer this question without some understanding of the state of the art in neuroimaging. But neither can we answer this question without some understanding of the concept invoked by the term "mind reading." This article is an attempt to develop such understanding. Our analysis proceeds in two stages. In the first stage, we provide a categorical explication of mind reading. The categorical explication articulates empirical conditions that must be (...) satisfied if mind reading is to be achieved. In the second stage, we develop a metric for judging the proficiency of mind reading experiments. The conception of mind reading that emerges helps to reconcile folk psychological judgments about what mind reading must involve with the constraints imposed by empirical strategies for achieving it. (shrink)

This paper describes one style of functional analysis commonly used in the neurosciences called task-bound functional analysis. The concept of function invoked by this style of analysis is distinctive in virtue of the dependence relations it bears to transient environmental properties. It is argued that task-bound functional analysis cannot explain the presence of structural properties in nervous systems. An alternative concept of neural function is introduced that draws on the theoretical neuroscience literature, and an argument is given to show that (...) this alternative concept of may help to overcome the explanatory limitations of task-bound functional analysis. (shrink)

The propensity interpretation of fitness (PIF) is commonly taken to be subject to a set of simple counterexamples. We argue that three of the most important of these are not counterexamples to the PIF itself, but only to the traditional mathematical model of this propensity: fitness as expected number of offspring. They fail to demonstrate that a new mathematical model of the PIF could not succeed where this older model fails. We then propose a new formalization of the PIF that (...) avoids these (and other) counterexamples. By producing a counterexample-free model of the PIF, we call into question one of the primary motivations for adopting the statisticalist interpretation of fitness. In addition, this new model has the benefit of being more closely allied with contemporary mathematical biology than the traditional model of the PIF. (shrink)

Survey article on Naturalism dealing with Hume's NOFI (including Prior's objections), Moore's Naturalistic Fallacy and the Barren Tautology Argument. Naturalism, as I understand it, is a form of moral realism which rejects fundamental moral facts or properties. Thus it is opposed to both non-cognitivism, and and the error theory but also to non-naturalism. General conclusion: as of 1991: naturalism as a program has not been refuted though none of the extant versions look particularly promising.

A chapter on the specifically 'medical' Epicureanism of La Mettrie, connecting his materialist approach to mind-body issues and his hedonistic ethics.

In this essay I seek to critically evaluate some forms of holism and organicism in biological thought, as a more deflationary echo to Gilbert and Sarkar's reflection on the need for an 'umbrella' concept to convey the new vitality of holistic concepts in biology (Gilbert and Sarkar 2000). Given that some recent discussions in theoretical biology call for an organism concept (from Moreno and Mossio’s work on organization to Kirschner et al.’s research paper in Cell, 2000, building on chemistry to (...) articulate what they called “molecular vitalism,” studying the “vitalistic” properties of molecular, cellular, and organismal function, and Pepper and Herron’s suggestion in their 2008 paper that organisms define a category that evolutionary biology cannot do without), the question, what concept of organicism are they calling for? To what extent are such claims philosophically committed to a non-naturalistic concept of organism as organizing centre, as a foundational rather than heuristic concept – or possibly a “biochauvinism,” to use Di Paolo’s term (Di Paolo 2009)? My aim in this paper is to conceptually clarify the forms of holism and organicism that are involved in these cases (and I acknowledge that the study of early 20th-century holisms [Peterson 2010] indicates that not all of them were in fact ‘organicist’ or ‘biologistic’). I suggest that contemporary holists are still potentially beholden to a certain kind of vitalism or “biochauvinism”; but that when they reduce their claims to mere heuristics, conversely, they risk losing sight of a certain kind of organizational “thickness”, a “vital materiality” (Wheeler 2010) which is characteristic of biological systems (Bechtel 2007). And I ask if it is possible to articulate a concept of biological holism or organicism which is neither an empirical ‘biochauvinism’ nor a metaphysical ‘vitalism’? (shrink)