We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able (...) to correctly deductively reason conferred a heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

Evolutionary debunking arguments purport to show that robust moral realism, the metaethical view that there are non-natural and mind-independent moral properties and facts that we can know about, is incompatible with evolutionary explanations of morality. One of the most prominent evolutionary debunking arguments is advanced by Sharon Street, who argues that if moral realism were true, then objective moral knowledge is unlikely because realist moral properties are evolutionary irrelevant and moral beliefs about those properties would not be selected for. (...) However, no evolutionary, causal explanation plays an essential role in reaching the argument’s epistemological conclusion. Street’s argument depends on the Benacerraf-Field challenge, which is the challenge to explain the reliability of our moral beliefs about causally inert moral properties. The Benacerraf-Field challenge relies on metaphysically necessary facts about realist moral properties, rather than on contingent Darwinian facts about the origin of our moral beliefs. Attempting to include an essential causal empirical premise yet avoiding recourse to the Benacerraf-Field problem yields an argument that is either self-defeating or of limited scope. Ultimately, evolutionary, causal explanations of our moral beliefs and their consequences do not present the strongest case against robust moral realism. Rather, the question is whether knowledge of casually-inert, mind-intendent properties is plausible at all. (shrink)

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Gödel (...) himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I (...) explicate the challenge both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox, a challenge to 'classical' mathematics from a world-famous mathematician, a new foundational school, and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably with Bertrand Russell, W. V. Quine, and Gödel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present (...) collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (shrink)

This article takes an evolutionary “reverse engineering” standpoint on Homo discens, learning man, to track down the mechanisms that played a pivotal role in the natural selection of human being. The approach is “evolutionary sociological”—as opposed to gene-centred or psychologising—and utilises notions of co-evolutionary organism–environment transactions and niche construction. These are compatible with a Deweyan theory of action, which entails that in action one cannot but learn and one can only learn in action. Special attention is paid to apprentice-like (...) learning-by-doing peculiar to human socio-cultural niches since the Pleistocene, which has permitted each subsequent generation to learn the many habits and skills needed in utilising the affordances of action that constitute their ecological niche. Affordances and actions have changed over the history of human–environment transactions, but the core mechanisms of human learning have not changed much. It is increasingly important to appreciate these mechanisms now in the global age “knowledge society,” which is in a way similar to the Pleistocene era: characterised by uncertainty and life-determining problem-situations without any ready-made solutions, it calls for capacities to adapt to changing circumstances, and thus apprentice-like learning in action supported by savvy epistemological engineering of learning environments. (shrink)

Natural selection is commonly seen not just as an explanation for adaptive evolution, but as the inevitable consequence of “heritable variation in fitness among individuals”. Although it remains embedded in biological concepts, such a formalisation makes it tempting to explore whether this precondition may be met not only in life as we know it, but also in other physical systems. This would imply that these systems are subject to natural selection and may perhaps be investigated in a biological (...) framework, where properties are typically examined in light of their putative functions. Here we relate the major questions that were debated during a three-day workshop devoted to discussing whether natural selection may take place in non-living physical systems. We start this report with a brief overview of research fields dealing with “life-like” or “proto-biotic” systems, where mimicking evolution by natural selection in test tubes stands as a major objective. We contend the challenge may be as much conceptual as technical. Taking the problem from a physical angle, we then discuss the framework of dissipative structures. Although life is viewed in this context as a particular case within a larger ensemble of physical phenomena, this approach does not provide general principles from which natural selection can be derived. Turning back to evolutionary biology, we ask to what extent the most general formulations of the necessary conditions or signatures of natural selection may be applicable beyond biology. In our view, such a cross-disciplinary jump is impeded by reliance on individuality as a central yet implicit and loosely defined concept. Overall, these discussions thus lead us to conjecture that understanding, in physico-chemical terms, how individuality emerges and how it can be recognised, will be essential in the search for instances of evolution by natural selection outside of living systems. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s (...) sometimes suggested that giving such an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is (...) designed to comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

The Reliability Challenge to moral non-naturalism has received substantial attention recently in the literature on moral epistemology. While the popularity of this particular challenge is a recent development, the challenge has a long history, as the form of this challenge can be traced back to a skeptical challenge in the philosophy of mathematics raised by Paul Benacerraf. The current Reliability Challenge is widely regarded as the most sophisticated way to develop (...) this skeptical line of thinking, making the Reliability Challenge the strongest epistemic challenge to normative nonnaturalism. In this paper, I argue that the innovations that have occurred since Benacerraf’s statement of the challenge are misconceived and confused in a number of ways. The Reliability Challenge is not the most potent epistemic challenge to moral non-naturalism. The most potent challenge comes from the fact that there is a causal condition on knowledge – or, more precisely, a becaual condition – that non-natural moral facts cannot satisfy. (shrink)

This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the (...) potentially most compelling version of the argument. (shrink)

The central role played by Darwin's analogy between selection under domestication and that under nature has been adequately appreciated, but I have indicated how important the domesticated organisms also were to other elements of Darwin's theory of evolution-his recognition of “the constant principle of change,” for instance, of the imperfection of adaptation, and of the extent of variation in nature. The further development of his theory and its presentation to the public likewise hinged on frequent reference to domesticates.We have seen (...) that Darwin's reliance on the analogy between domesticated varieties and wild species was a bold and original step, in light of contemporary views on the nature of domesticates. However, as Darwin undoubtedly foresaw, his reliance on the analogy created difficulties as well as solving problems, and these began with his Malthusian codiscoverer of the principle of natural selection, Alfred Russel Wallace. Wallace's paper “On the Tendency of Varieties to Depart Indefinitely from the Original Type,” presented to the Linnean Scoiety along with the first public unveiling of Darwin's theory, states: We see, then, that no inferences as to varieties in a state of nature can be deduced from the observation of those occurring among domestic animals. The two are so much opposed to each other in every circumstance of their existence, that what applies to the one is almost sure not to apply to the other. Domestic animals are abnormal, irregular, artificial; they are subject to varieties which never occur and never can occur in a state of nature.62Much has been made of the similarity of views of Darwin and Wallace, but this quotation surely reveals how utterly different their views were on what to Darwin was an important matter. Several critics of the Origin saw Darwin's reliance on the domesticates as his Achilles heel. As Young has pointed out, Samuel Wilberforce included the following passage in his attack on the Origin: Nor must we pass over unnoticed the transference of the argument from the domesticated to the untamed animals. Assuming that man as the selector can do much in a limited time, Mr. Darwin argues that Nature, a more powerful, a more continuous power, working over vastly extended ranges of time, can do more. But why should Nature, so uniform and persistent in all her operations, tend in this instance to change? Why should she become a selector of varieties?63Another critic, Fleeming Jenkin, found the analogy a weakness in Darwin's theory because of the limited extent of variation in any one direction in domestic animals and plants.64 We have already seen that Darwin had confided a similar view to his notebook thirty years earlier, but changed his mind as a result of his profound study of domesticates. De Beer's reference to “an English country gentleman's knowledge of domestic plants and animals and their breeding”65 fails totally to recognize the originality and depth of Darwin's knowledge of domesticates.Why did Darwin, against the currents of his time, rely so heavily on mankind's experience with domesticated organisms to shape his theory about species in nature? On reason is that only with domesticates was an approach that came close to experimental verification possible. Darwin fully realized the inadequacies of the experiment, as is emphasized by his repeated contrasting of selection under nature and selection by man. Yet the extensive experience and data of plant and animal breeders offered the only reliable base against which Darwin could continually challenge his views. As he wrote in the introduction to Variation, with domestication, “man ... may be said to have been trying an experiment on a gigantic scale.”66 Given Darwin's high opinion of the quantitative work of Malthus and Quetelet (as emphasized by Schweber),67 and his unremitting efforts to secure data by which to test his theories, it was inevitable that he should attach high significance to domesticated varieties. John Tyndall, in his Belfast address of 1874, said: “The strength of the doctrine of Evolution consists, not in experimental demonstration (for the subject is hardly accessible to this mode of proof), but in its general harmony with scientific thought.”68 Darwin would have agreed with the latter thought, but I think he would have challenged the preceding one on the grounds that long experience with domesticated varieties did provide an element of experimental demonstration. It gave him confidence in his theory, and he used his vast knowledge of artificial selection boldly and creatively. (shrink)

Hartry Field’s epistemological challenge to the mathematical platonist is often cast as an improvement on Paul Benacerraf’s original epistemological challenge. I disagree. While Field’s challenge is more difficult for the platonist to address than Benacerraf’s, I argue that this is because Field’s version is a special case of what I call the ‘sociological challenge’. The sociological challenge applies equally to platonists and fictionalists, and addressing it requires a serious examination of (...) mathematical practice. I argue that the non-sociological part of Field’s challenge amounts to a minor reformulation of Benacerraf’s original challenge. So, I contend, Field’s challenge is not an improvement on Benacerraf’s. What is new to Field’s challenge is as much a problem for the fictionalist as it is for the platonist. (shrink)

There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to our reliability about the domain or to our background views. This is what is often called the reliability challenge for the domain. In previous work, I discussed the reliability challenges for logic (...) and for deductive inference. I argued for four main claims: First, there are reliability challenges for logic and for deduction. Second, these reliability challenges cannot be answered merely by providing an explanation of how it is that we have the logical beliefs and employ the deductive rules that we do. Third, we can explain our reliability about logic by appealing to our reliability about deduction. Fourth, there is a good prospect for providing an evolutionary explanation of the reliability of our deductive reasoning. In recent years, a number of arguments have appeared in the literature that can be applied against one or more of these four theses. In this paper, I respond to some of these arguments. In particular, I discuss arguments by Paul Horwich, Jack Woods, Dan Baras, Justin Clarke-Doane, and Hartry Field. (shrink)

Field’s challenge to platonists is the challenge to explain the reliable match between mathematical truth and belief. The challenge grounds an objection claiming that platonists cannot provide such an explanation. This objection is often taken to be both neutral with respect to controversial epistemological assumptions, and a comparatively forceful objection against platonists. I argue that these two characteristics are in tension: no construal of the objection in the current literature realises both, and there are strong reasons (...) to think that no version of Field’s epistemological objection which has both Neutrality and Force can be construed. (shrink)

There are two general questions which many views in the philosophy of mathematics can be seen as addressing: what are mathematical objects, and how do we have knowledge of them? Naturally, the answers given to these questions are linked, since whatever account we give of how we have knowledge of mathematical objects surely has to take into account what sorts of things we claim they are; conversely, whatever account we give of the nature of mathematical objects must be accompanied by (...) a corresponding account of how it is that we acquire knowledge of those objects. The connection between these problems results in what is often called "Benacerraf's Problem", which is a dilemma that many philosophical views about mathematical objects face. It will be my goal here to present a view, attributed to Richard Dedekind, which approaches the initial questions in a different way than many other philosophical views do, and in doing so, avoids the dilemma given by Benacerraf's problem. (shrink)

Natural selection [Darwin 1859] is perhaps the most important component of evolutionary theory, since it is the only known process that can bring about the adaptation of living organisms to their environments [Gould 2002]. And yet, its study is conceptually and methodologically complex, and much attention needs to be paid to a variety of phenomena that can limit the efficacy of selection [Antonovics 1976; Pigliucci and Kaplan 2000]. In this essay, I will use examples of recent work carried out (...) in my laboratory to illustrate basic research on natural selection as conducted using a variety of approaches, including field work, laboratory experiments, and molecular genetics. I also discuss the application of this array of tools to questions pertinent to conservation biology, and in particular to the all-important problem of what makes invasive species so good at creating the sort of problems they are infamous for [Lee 2002]. (shrink)

In the introduction to his Realism, mathematics and modality, and in earlier papers included in that collection, Hartry Field offered an epistemological challenge to platonism in the philosophy of mathematics. Justin Clarke-Doane Truth, objects, infinity: New perspectives on the philosophy of Paul Benacerraf, 2016) argues that Field’s challenge is an illusion: it does not pose a genuine problem for platonism. My aim is to show that Clarke-Doane’s argument relies on a misunderstanding of Field’s (...) class='Hi'>challenge. (shrink)

Among the philosophers and the educated audience the name of Sir Karl Popper is usually associated with the critical method, evolutionary epistemology, falsification as a criterion for the demarcation of scientific knowledge, the concept of the third world and with his dislike to dialectics and contradictions. This article is aimed to show in what way all these things are connected in the evolutionary researches of the philosopher and the new conceptions, which he contributed to studying the mechanisms of evolution. (...) Also there is an attempt to comprehend the evolutionary views of Popper, test them for falsification, relate his epistemology with his claims, which he puts forward to the theory of objective knowledge evolution and show the obvious contradiction between them. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic and (...) deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, the knowledge norm and the truth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic and (...) deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, theknowledge normand thetruth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

In spite of these efforts in the 1920s and 1930s to initiate ongoing research on contraception, the subject of birth control remained a problem of concern primarily to the social activist rather than to the research scientist or practicing physician.80 In the 1930s, as has been shown, American scientists turned to the study of other aspects of reproductive physiology, while American physicians, anxious to eliminate the moral and medical dangers of contraception, only reluctantly accepted birth control as falling within their (...) professional domain.As a result, the problem of cheap, effective, and safe contraception was not solved by these earliest attempts. Consideration of the subject was initiated afresh by private philanthropy after World War II, sparked by a new wave of interest in population studies.81 Summarizing such efforts to support research in the reproductive sciences, a recent Ford Foundation study has noted: “To initiate and sustain serious research in the reproductive sciences has required for more than half a century concerted effort by interested individuals and private organizations, mainly from outside the mainstreams of the biomedical research community.”82The early laboratory research on chemical contraception described in this paper was but one important outcome of the concerted effort made by reformers in the 1920s to eliminate a variety of social problems thought to derive from excessive fertility. Scientific arguments and expertise were employed to advocate reform as well as to define the appropriate solution to such social problems. Scientists were recruited as advocates for the movement, but they were also employed as researchers in laboratory investigations sponsored by these same reformers.Sponsors of these early laboratory studies noted the difficulty of obtaining first-class investigators.83 The routine analyses necessary for such research, as well as the traditional scientific aversion to applied problems, provide only a partial explanation for this response. The real difficulty lay in recruiting investigators to a field that had previously been taboo. Once opened up — first as socially relevant, and finally as scientifically sound — there was much interest in this area, and the appeal to researchers of the scientific issues surrounding fertility and reproduction soon surpassed that of the reforming value of birth control.A survey of the kinds of experimental investigations sponsored by birth control advocates indicates the range of physiological problems explored by contraceptive research. The most definitive work was done on the efficacy and safety of spermicides, but the potential of other contraceptive methods was also examined. Investigators attempted to develop spermatoxins that would effectively immunize women against sperm, and they also tried to elucidate the mechanism of hormonal control of reproduction. In fact, speculations about the possible hormonal manipulation of fertility were expressed at the Seventh International Birth Control Conference held in Zurich in 1930.84In the 1920s, clinical studies were undertaken to assess the effectiveness of the various birth control methods. Laboratory investigators complemented this work by screening spermicides for safety and testing for their ability to kill sperm. There were a variety of birth control preparations on the market, but no one really knew whether these were effective or even safe.85 Although the physiology of other major organ systems was well advanced, the scientific study of reproductive physiology and contraceptive technology was clearly in its infancy in this period. Routine analyses simply could not be conducted, because the fundamental research establishing baselines had not yet been done. Scientists used this fact to redirect attention to basic research on reproduction.Laboratory research on contraception indicated important unexplored areas for physiological investigation. Social activists, who had encouraged prominent scientists to become interested in both the social value and the genetic implications of birth control, found these investigators revising the goals of their research. The biologists had formed their own network and had begun to seek out funding, reformulating the justification for sponsorship of further investigations. The eugenic motivations underlying these studies, which had initially made them theoretically attractive to biologists, were gradually eroded. Concern with “human evolution” ceded its place to interest in physiological mechanisms. Crew and others began to note that the use of biological theory to justify essentially political decisions had serious limitations. Biologists had become uncomfortable with those very arguments which had originally captured their interest. Recognition of the potential political abuse wrought by applying scientific principles to society was expressed by Crew just one year after the Zurich meeting. Referring to previous assessments of the role of sex in reproduction, he generalized: “In the past the biologist has justified feudalism, Manchester Liberalism, socialism and every other type of social organization and political programme by reference to selected biological phenomena.”86 By 1932 Crew had also begun to question the biological logic of regulated breeding, and had made it clear to his American sponsor that there was no simple correspondence between the practice of birth control and the genetic improvement of the human race.87Biologists further began to recognize, however, that although the hopeful genetic solution to human problems was probably an illusion, contraception still remained one tangible means to alleviate, human misery. Some laboratory scientists, like Crew, acknowledged the applicability of their own particular skills to this problem. For a few brief years, social needs and scientific goals were mutually supportive and closely intertwined. But as laboratory researchers gained interest in the study of reproduction and established their own priorities in this field, they temporarily withdrew from the arena of debate over birth control as an important mechanism for social reform.With the rise of Hitler, the genetic arguments for birth control rapidly lost their appeal. But by that time the scientific problem of how to achieve effective contraception had entered the professional consciousness. Both physicians and scientists began to be aware of birth control as a subject within their domain of expertise, although outside the principal focus of their research. Scientific discussion of birth control permanently altered from a question of justification to a problem of method: How could one achieve reliable and safe contraception? This had been Sanger's and Dickinson's goal from the beginning. Laboratory scientists had indeed been persuaded to undertake this work; this research had in turn affected biologists' perceptions of the whole field of reproductive physiology, encouraging further study of reproductive mechanisms. The promise of new knowledge provided for continued funding of this research, despite the caution by scientists that the social benefits would not be as immediate or as far-reaching as advocates and they themselves had first argued.The activities of birth control activists and their supporting agencies, and the financial backing of private contributors and foundations, notably the Rockefeller philanthropies, provided an important new stimulus to the development of research on the biology of reproduction in the late 1920s and early 1930s. Biologists were able to claim an enlarged realm of issues for scientific study through their activities as advocates and as investigators for the birth control movement. At the same time, they promised as-yet-undiscovered possibilities for regulating human reproduction once its physiology was understood. The knowledge and control that they promised lay in understanding the whole reproductive cycle — not merely in evaluating the toxic effects of presumptive spermicides.Chemical spermicides never summoned the interest of scientists as the contraceptive pill was to do, yet that research did reinforce the widespread perceptions of scientific research as essential to social reform. Spermicide investigations focused research efforts in reproductive biology by challenging traditional taboos, defining problems for further study, and providing laboratory investigators the opportunity to assert the social and scientific value of their own skills. Crew echoed this attitude as he observed in 1934:Man has turned from the adventurous conquest of his environment to the conquest of himself. To-day is the day of biological invention, eagerly used for the control of the undesirable and the unwanted. Sex and reproduction are no longer hedged around by myth and taboo; they are no longer accepted as mysteries that defy understanding. They are matters inviting examination and explanation; they are regarded as expressions of physico-chemical forces, the nature of which is to be displayed. It is accepted that when knowledge is sufficient, control will be absolute, and, though knowledge is not yet sufficient, readers... must be persuaded to the view that this will not always be so.88The synergism between reproductive biology and social needs has been temporary and sporadic, but recurring, since the 1920s. Scientific research programs have clearly been influenced by issues raised by public debate. Nevertheless, reproductive biologists have continued to assert their own professional goals. For the most part, they have rejected problems without inherent scientific interest and have spurned applied research except as it has had a direct bearing on current research themes. This attitude, apparent among American and British investigators in the 1930s, created the intellectual context for the invention and acceptance of the technically sophisticated oral contraceptive pill. It did not foster the production and improvement of the simple, safe, effective, and cheap vaginal contraceptive desired by early birth control advocates. (shrink)

Non-skeptical robust realists about normativity, mathematics, or any other domain of non- causal truths are committed to a correlation between their beliefs and non- causal, mind-independent facts. Hartry Field and others have argued that if realists cannot explain this striking correlation, that is a strong reason to reject their theory. Some consider this argument, known as the Benacerraf–Field argument, as the strongest challenge to robust realism about mathematics, normativity, and even logic. In this article I offer (...) two closely related accounts for the type of explanation needed in order to address Field's challenge. I then argue that both accounts imply that the striking correlation to which robust realists are committed is explainable, thereby discharging Field's challenge. Finally, I respond to some objections and end with a few unresolved worries. (shrink)

The impact of social factors upon the philosophical investigations in a broad sense is quite evident. Nevertheless their impact upon epistemology as a branch of philosophy, logic, and history of science as fields of research with noticeable philosophical content is not evident enough. We are keen to claim that this impact exists within some limits, although it is not so overtly evident. Moreover in the case of Marxism it is of a paradoxical nature. Marxism always puts the accent on (...) the role of social and economic factors in the development, development of science included. To a large extent due to Marxism, externalism emerged; the key idea of externalism may be expressed through the statement that social and economic reasons are the main sources of development of science. B.M. Hessen declared and did his best in 1931 to justify this statement through the example of the emergence of classical mechanics. Meanwhile the social milieu of Marxist countries placed a taboo on the externalist approach towards epistemology, the interpretation of logic, and history of science. All these fields of knowledge were evolved in the Marxist era in the USSR and Eastern Europe - despite the spirit of Marxism - within strict internalist boarders. We offer the explanation of this contradiction. (shrink)

A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction. Hume's problem of justifying induction has been among epistemology's greatest challenges for centuries. In this book, Gerhard Schurz proposes a new approach to Hume's problem. Acknowledging the force of Hume's arguments against the possibility of a noncircular justification of the reliability of induction, Schurz demonstrates instead the possibility of a noncircular justification of the optimality of induction, or, more precisely, (...) of meta-induction (the application of induction to competing prediction models). Drawing on discoveries in computational learning theory, Schurz demonstrates that a regret-based learning strategy, attractivity-weighted meta-induction, is predictively optimal in all possible worlds among all prediction methods accessible to the epistemic agent. Moreover, the a priori justification of meta-induction generates a noncircular a posteriori justification of object induction. Taken together, these two results provide a noncircular solution to Hume's problem. Schurz discusses the philosophical debate on the problem of induction, addressing all major attempts at a solution to Hume's problem and describing their shortcomings; presents a series of theorems, accompanied by a description of computer simulations illustrating the content of these theorems (with proofs presented in a mathematical appendix); and defends, refines, and applies core insights regarding the optimality of meta-induction, explaining applications in neighboring disciplines including forecasting sciences, cognitive science, social epistemology, and generalized evolution theory. Finally, Schurz generalizes the method of optimality-based justification to a new strategy of justification in epistemology, arguing that optimality justifications can avoid the problems of justificatory circularity and regress. (shrink)

Logic today is a ramified discipline existing on many levels. It is actively pursued by philosophers, mathemeticians, and computer specialists. The reason is that it is widely employed to solve a number of problems both in the theory of knowledge and in mathematics and computer science. But the broad spectrum of application of contemporary logic does not change the fact that its basic content has the nature of philosophical methodology. In contemporary logic it is the forms of thought and the (...) methods of scientific cognition, the modes of organization of scientific knowledge, and the procedures for the introduction of various concepts, abstractions, and idealizations that are studied. This places logic in intimate contact with epistemology and methodology. The distinctiveness of the approach taken by formal logic to this particular subject consists simply of its studying all these procedures pertaining to concrete cognition through the use of special formal languages, of algebraic, topological, and other exact techniques. (shrink)

This paper investigates the conception of causation required in order to make sense of natural selection as a causal explanation of changes in traits or allele frequencies. It claims that under a counterfactual account of causation, natural selection is constituted by the causal relevance of traits and alleles to the variation in traits and alleles frequencies. The “statisticalist” view of selection (Walsh, Matthen, Ariew, Lewens) has shown that natural selection is not a cause superadded to the causal (...) interactions between individual organisms. It also claimed that the only causation at work is those aggregated individual interactions, natural selection being only predictive and explanatory, but it is implicitly committed to a process-view of causation. I formulate a counterfactual construal of the causal statements underlying selectionist explanations, and show that they hold because of the reference they make to ecological reliable factors. Considering case studies, I argue that this counterfactual view of causal relevance proper to natural selection captures more salient features of evolutionary explanations than the statisticalist view, and especially makes sense of the difference between selection and drift. I eventually establish equivalence between causal relevance of traits and natural selection itself as a cause. (shrink)

In 1941/42 Konrad Lorenz suggested that Kant's transcendental categories ofa priori knowledge could be given an empirical interpretation in Darwinian material evolutionary terms: a priori propositional knowledge was an organ subject to natural selection for adaptation to its specific environments. D. Campbell extended the conception, and termed evolution a process of knowledge. The philosophical problem of what knowledge is became a descriptive one of how knowledge developed, the normative semantic questions have been sidestepped, as if the descriptive insights would (...) automatically resolve them. This came at a time when the traditional concept of knowledge as universally true, justified beliefs had been challenged by subjectivist, intercommunicative coherence frameworks. Much of the literature on evolutionary epistemology claimed that knowledge in general, and science as its epitome in particular, evolved along lines analogous to organic biological evolution. I refer here only to the view of knowledge as an extension of material biological evolution. These theories of evolutionary epistemology, contrary to the relativist notions of naturalized epistemology, adopted strict realist positions.Although there is no contention with the claim that biological evolution provided the raw material and the constraints for human knowledge, cognition is not knowledge and knowledge is not constrained by it beyond some trivial truisms. The view that sees evolution as a knowledge/cognition process is coercing a loosely defined term into the status of a phenotypic trait on which selection could act. This disregards the intricate many-to-many relationship between correlates of knowledge and biological capacities. But even if we grant the correlates of knowledge the status of selectable traits, the heritability of alternative phenotypes would be low and unpredictable due to the high, open-ended environmental malleability of such complex characters in the course of development. Such concepts are therefore biologically inconsequential. (shrink)

It is “the received wisdom” that any intuitively natural and consistent resolution of a class of semantic paradoxes immediately leads to other paradoxes just as bad as the first. This is often called the “revenge problem”. Some proponents of the received wisdom draw the conclusion that there is no hope of any natural treatment that puts all the paradoxes to rest: we must either live with the existence of paradoxes that we are unable to treat, or adopt artificial (...) and ad hoc means to avoid them. Others (“dialetheists”) argue that we can put the paradoxes to rest, but only by licensing the acceptance of some contradictions (presumably in a paraconsistent logic that prevents the contradictions from spreading everywhere). (shrink)

§1. Introduction. The classical propositional calculus has an undeserved reputation among logicians as being essentially trivial. I hope to convince the reader that it presents some of the most challenging and intriguing problems in modern logic. Although the problem of the complexity of propositional proofs is very natural, it has been investigated systematically only since the late 1960s. Interest in the problem arose from two fields connected with computers, automated theorem proving and computational complexity theory. The earliest paper in (...) the subject is a ground-breaking article by Tseitin [62], the published version of a talk given in 1966 at a Leningrad seminar. In the three decades since that talk, substantial progress has been made in determining the relative complexity of proof systems, and in proving strong lower bounds for some restricted proof systems. However, major problems remain to challenge researchers. The present paper provides a survey of the field, and of some of the techniques that have proved successful in deriving lower bounds on the complexity of proofs. A major area only touched upon here is the proof theory of bounded arithmetic and its relation to the complexity of propositional proofs. The reader is referred to the book by Buss [10] for background in bounded arithmetic. The forthcoming book by Krajíček [40] also gives a good introduction to bounded arithmetic, as well as covering most of the basic results in complexity of propositional proofs. (shrink)

True beliefs are better guides to the world than false ones. This is the common-sense assumption that undergirds theorizing in evolutionary epistemology. According to Alvin Plantinga, however, evolution by natural selection does not care about truth: it cares only about fitness. If our cognitive faculties are the products of blind evolution, we have no reason to trust them, anytime or anywhere. Evolutionary naturalism, consequently, is a self-defeating position. Following up on earlier objections, we uncover three additional flaws in (...) Plantinga's latest formulation of his argument: a failure to appreciate adaptive path dependency, an incoherent conception of content ascription, and a conflation of common-sense and scientific beliefs, which we diagnose as the ‘foundationalist fallacy’. More fundamentally, Plantinga's reductive formalism with respect to the issue of cognitive reliability is inadequate to deal with relevant empirical details. (shrink)

This volume features essays about and by Paul Benacerraf, whose ideas have circulated in the philosophical community since the early nineteen sixties, shaping key areas in the philosophy of mathematics, the philosophy of language, the philosophy of logic, and epistemology. The book started as a worskhop held in Paris at the Collège de France in May 2012 with the participation of Paul Benacerraf. The introduction addresses the methodological point of the legitimate use of so-called “Princess Margaret Premises” (...) in drawing philosophical conclusions from Gödel’s first incompleteness theorem. The book is then divided into three sections. The first is devoted to an assessment of the improved version of the original dilemma of “Mathematical Truth” due to Hartry Field: the challenge to the platonist is now to explain the reliability of our mathematical beliefs given the very subject matter of mathematics, either pure or applied. The second addresses the issue of the ontological status of numbers: Frege’s logicism, fictionalism, structuralism, and Bourbaki’s theory of structures are called up for an appraisal of Benacerraf’s negative conclusions of “What Numbers Could Not Be.” The third is devoted to supertasks and bears witness to the unique standing of Benacerraf’s first publication: “Tasks, Super-Tasks, and Modern Eleatics” in debates on Zeno’s paradox and associated paradoxes, infinitary mathematics, and constructivism and finitism in the philosophy of mathematics. Two yet unpublished essays by Benacerraf have been included in the volume: an early version of “Mathematical Truth” from 1968 and an essay on “What Numbers Could Not Be” from the mid 1970’s. A complete chronological bibliography of Benacerraf’s work to 2016 is provided.Essays by Jody Azzouni, Paul Benacerraf, Justin Clarke-Doane, Sébastien Gandon, Brice Halimi, Jon Pérez Laraudogoitia, Mary Leng, Antonio Leòn-Sànchez and Ana Leòn-Mejía, Marco Panza, Fabrice Pataut, Philippe de Rouilhan, Andrea Sereni, and Stewart Shapiro. (shrink)

A relational-self theory claims that one’s self is constituted by one’s relationships. The type of ethics that is said to arise from this concept of self is often called an ethics of care, whereby the focus of ethical deliberation is on preserving and nurturing those relationships. Some environmental philosophers advocating a relational-self theory tend to assume that the particular relationships that constitute the self will prioritize the natural world. I question this assumption by introducing the problem of artifact relationships. (...) It is unclear whether a relational-self theory recognizes relationships with the artificial world as beingmeaningful in any moral sense, and whether such relationships, if they can exist, should be accorded equal value to relationships with the natural world. The problem of artifact relationships becomes particularly apparent when the relational-self theory is linked to place-based ethics. If our ethics are to develop from our relations to place, and our place is largely an artificial world, is there not a danger that our ethical deliberations will tend to neglect the natural world? I adapt Holmes Rolston’s concept of “storied residence” to show how the inclusion of the artificial world will lead to different questions regarding one’s resident environment, and perhaps a different emphasis on what is valued. My aim in raising these questions is to challenge the optimism that writers such as Karen Warren and Jim Cheney have shown in supporting relational-self theories and place-based ethics. I conclude that the challenge to develop a relational-self/place-based ethic does not appear to have been met within Western environmental philosophy, which has perpetuated a silence on the matter of our embedment in the artificial world. (shrink)

A relational-self theory claims that one’s self is constituted by one’s relationships. The type of ethics that is said to arise from this concept of self is often called an ethics of care, whereby the focus of ethical deliberation is on preserving and nurturing those relationships. Some environmental philosophers advocating a relational-self theory tend to assume that the particular relationships that constitute the self will prioritize the natural world. I question this assumption by introducing the problem of artifact relationships. (...) It is unclear whether a relational-self theory recognizes relationships with the artificial world as beingmeaningful in any moral sense, and whether such relationships, if they can exist, should be accorded equal value to relationships with the natural world. The problem of artifact relationships becomes particularly apparent when the relational-self theory is linked to place-based ethics. If our ethics are to develop from our relations to place, and our place is largely an artificial world, is there not a danger that our ethical deliberations will tend to neglect the natural world? I adapt Holmes Rolston’s concept of “storied residence” to show how the inclusion of the artificial world will lead to different questions regarding one’s resident environment, and perhaps a different emphasis on what is valued. My aim in raising these questions is to challenge the optimism that writers such as Karen Warren and Jim Cheney have shown in supporting relational-self theories and place-based ethics. I conclude that the challenge to develop a relational-self/place-based ethic does not appear to have been met within Western environmental philosophy, which has perpetuated a silence on the matter of our embedment in the artificial world. (shrink)

A relational-self theory claims that one’s self is constituted by one’s relationships. The type of ethics that is said to arise from this concept of self is often called an ethics of care, whereby the focus of ethical deliberation is on preserving and nurturing those relationships. Some environmental philosophers advocating a relational-self theory tend to assume that the particular relationships that constitute the self will prioritize the natural world. I question this assumption by introducing the problem of artifact relationships. (...) It is unclear whether a relational-self theory recognizes relationships with the artificial world as beingmeaningful in any moral sense, and whether such relationships, if they can exist, should be accorded equal value to relationships with the natural world. The problem of artifact relationships becomes particularly apparent when the relational-self theory is linked to place-based ethics. If our ethics are to develop from our relations to place, and our place is largely an artificial world, is there not a danger that our ethical deliberations will tend to neglect the natural world? I adapt Holmes Rolston’s concept of “storied residence” to show how the inclusion of the artificial world will lead to different questions regarding one’s resident environment, and perhaps a different emphasis on what is valued. My aim in raising these questions is to challenge the optimism that writers such as Karen Warren and Jim Cheney have shown in supporting relational-self theories and place-based ethics. I conclude that the challenge to develop a relational-self/place-based ethic does not appear to have been met within Western environmental philosophy, which has perpetuated a silence on the matter of our embedment in the artificial world. (shrink)

The essays in this collection examine developments in three fundamental biological disciplines--embryology, evolutionary biology, and genetics--in conflict with each other for much of the twentieth century. They consider key methodological problems and the difficulty of overcoming them. Richard Burian interweaves historical appreciation of the settings within which scientists work, substantial knowledge of the biological problems at stake and the methodological and philosophical issues faced in integrating biological knowledge drawn from disparate sources.

It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is (...) equally a challenge for mathematical realism. It is widely thought not to be. In this paper, I argue that the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. Along the way, I substantially clarify the Evolutionary Challenge, discuss its relation to more familiar epistemological challenges, and broach the problem of moral disagreement. The paper should be of interest to ethicists because it places pressure on anyone who rejects moral realism on the basis of the Evolutionary Challenge to reject mathematical realism as well. And the paper should be of interest to philosophers of mathematics because it presents a new epistemological challenge for mathematical realism that bears, I argue, no simple relation to Paul Benacerraf's familiar challenge. (shrink)

Prompted by the centenary of the founding of Summerhill, in my contribution to this JOPE Suite on Democratic Education, I briefly explore both the admiring reciprocity and the subsidiary but significant differences of praxis between A.S. Neill and Alex Bloom, two remarkable pioneers of education in and for participatory democracy as a way of life. Because A.S. Neill's work is internationally renowned and Alex Bloom's has yet to re-establish the worldwide recognition it had in his own lifetime, my emphasis is (...) on the contribution of Alex Bloom, in large part because he is amongst the most radical pioneers of democratic education the UK state sector has ever known. To a significant degree, the aspirations and actualities of Bloom's work rebutted Neill's insistence that pioneers within the state sector of education could not innovate in ways that would significantly challenge the status quo. Indeed, Alex Bloom extended participatory democratic educational aspirations in ways which Neill did not. Most importantly, these not only entailed a commitment to community engagement, they did so in conditions of abject poverty and profound psychological trauma following the ravages of the Second World War London Blitz with its attendant evacuation and subsequent return to the ruins of their former homes.In the first section, I take as my starting point Alex Bloom's strongly supportive review of A.S. Neill's book The Problem Family and Neill's visit to Bloom's school in the East End of London, some five years later. Foregrounding the dialectic of practice and aspiration, I touch on some of the key issues that emerged for both Neill and Bloom at that time.Challenging Neill's later affirmation that the only significant freedom one can introduce into a state school is ‘a free attitude on the teacher's part, his or her being on the side of the child’ and his reported view that Bloom and others might be able to experiment in methods of teaching or ways of organising the timetable, ‘but not in methods of living’, the second section explores the nature and interrelationship of six key strands woven into the fabric of Alex Bloom's truly remarkable work that exemplified the grounded possibility and vibrant actuality of participatory democracy as a way of living and learning together that prefigures a more just, creative and caring form of human engagement.Locating the foundation of Alex Bloom's praxis within the 20th-century personalist philosophical tradition and its Adlerian psychological counterpart, the brief concluding section draws in particular on the work of John Macmurray who argues, as did Bloom in his own writing and his daily praxis, that ‘The first priority in education—if by education we mean learning to be human—is learning to live in personal relation to other people. Let us call it learning to live in community’. (shrink)

Does natural selection favor veridical percepts—those that accurately depict objective reality? Perceptual and cognitive scientists standardly claim that it does. Here we formalize this claim using the tools of evolutionary game theory and Bayesian decision theory. We state and prove the “Fitness-Beats-Truth Theorem” which shows that the claim is false: If one starts with the assumption that perception involves inference to states of the objective world, then the FBT Theorem shows that a strategy that simply seeks to maximize expected-fitness (...) payoff, with no attempt to estimate the “true” world state, does consistently better. More precisely, the FBT Theorem provides a quantitative measure of the extent to which the fitness-only strategy dominates the truth strategy, and of how this dominance increases with the size of the perceptual space. The FBT Theorem supports the Interface Theory of Perception, which proposes that our perceptual systems have evolved to provide a species-specific interface to guide adaptive behavior, and not to provide a veridical representation of objective reality. (shrink)

People usually fail the Wason selection task, choosing P and Q cases, when attempting to validate descriptive rules having the form “If P, then Q.” Yet they solve it, selecting P and not-Q cases, when validating deontic rules of the form “If P, then must Q.” The field of evolutionary psychology has overwhelmingly interpreted deontic versions of the selection task in terms of a naturally-selected, domain-specific social-contract or cheating algorithm. This work has done much to promote evolutionary psychology as (...) an alternative to a mindblind sociobiology that ignores the computational structure of cognitive mechanisms in producing people's behaviors. Nevertheless, evolution-minded researchers outside cognitive psychology know little of the ample literature challenging this interpretation and uncritically cite the “cheater-detection module” as a key insight into human cognition. Although a priori arguments for a specially evolved cheater-detection module are plausible, the selection task provides no direct evidence for such a module. (shrink)

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There (...) simply is no intelligible problem that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

Organisms' environments are thought to play a fundamental role in determining their fitness and hence in natural selection. Existing intuitive conceptions of environment are sufficient for biological practice. I argue, however, that attempts to produce a general characterization of fitness and natural selection are incomplete without the help of general conceptions of what conditions are included in the environment. Thus there is a "problem of the reference environment"—more particularly, problems of specifying principles which pick out those environmental conditions (...) which determine fitness. I distinguish various reference environment problems and propose solutions to some of them. While there has been a limited amount of work on problems concerning what I call "subenvironments", there appears to be no earlier work on problems of what I call the "whole environment". The first solution I propose for a whole environment problem specifies the overall environment for natural selection on a set of biological types present in a population over a specified period of time. The second specifies an environment relevant to extinction of types in a population; this kind of environment is especially relevant to certain kinds of long-term evolution. (shrink)

This paper deals in detail with a fairly recent philosophical debate centered around the ability of the theory of natural selection to account for those phenotypical changes which can be argued to make organisms better adapted to their environments. The philosopher and cognitive scientist Jerry Fodor started the debate by claiming that natural selection cannot do the job. He follows two main lines of argumentation. One is based on an alleged conceptual defect in the theory, the other on (...) alleged empirical problems in it as well as empirical alternatives to it. Four philosophers and two biologists respond in a way that displays what might easily be described as fallacious. The paper relies on the ideal model of critical discussion of pragma-dialectics to offer a step-by-step analysis of the whole debate, which extended for four issues of the _London Review of Books_, from October 2007 through January 2008. This pragma-dialectical analysis is carried out by constant reference to the various questions (problems, issues) that arise in the debate. The analysis includes as much detail as possible both in Fodor’s original argument and in the critics’ various comments as well as Fodor’s replies along two rounds of debate. Since a simple negative evaluation in terms of fallacies is out of the question in view of the proved argumentative accomplishments of the participants, an alternative explanation is offered: the undeniable derailments in strategic maneuvering are due to the fact that, whilst ostensibly discussing the theory of natural selection, Fodor’s detractors are worried by an underlying issue, namely, the dangers of discussing the merits and demerits of natural selection as a theory of evolution in a venue as exposed to the general public as the _London Review of Books_, given the religiously inspired movements that threaten the teaching of evolutionary biology in schools. (shrink)

Philosophers have not taken the evolution of human beings seriously enough. If they did, argues Peter Munz, many long-standing philosophical problems would be resolved. One of the philosophical consequences of biology is that all the knowledge produced in evolution is a priori established hypothetically by chance mutation and selective retention rather than by observation and intelligent induction. For organisms as embodied theories, selection is natural. For theories as disembodied organisms, it is artificial. Following Karl Popper, the growth of knowledge (...) is seen to be continuous from "the amoeba to Einstein." Philosophical Darwinism brings perspective to contemporary debates. It has far-reaching implications for cognitive science and artificial intelligence, and questions attempts from the field of biology to reduce mental events to neural processes. Most importantly, it provides a rational postmodern alternative to what the author views as the unreasonable postmodern theories of Kuhn, Lyotard, and Rorty. (shrink)

In the 1940s, the ‘modern synthesis’ (MS) of Darwinism and genetics cast genetic mutation and recombination as the source of variability from which environmental events naturally select the fittest, such ‘natural selection’ constituting the cause of evolution. Recent biology increasingly challenges this view by casting genes as followers and awarding the leading role in the genesis of adaptations to the agency and plasticity of developing phenotypes—making natural selection a consequence of other causal processes. Both views of natural (...) selection claim to capture the core of Darwin’s arguments in On the Origin of Species. Today, historians largely concur with the MS’s reading of Origin as a book aimed to prove natural selection the cause (vera causa) of adaptive change. This paper finds the evidence for that conclusion wanting. I undertake to examine the context and meaning of all Darwin’s known uses of the phrase vera causa, documenting in particular Darwin’s resistance to the pressure to prove natural selection a vera causa in letters written early in 1860. His resistance underlines the logical dependence of natural selection, an unobservable phenomenon, on the causal processes producing the observable events captured by the laws of inheritance, variation, and the struggle for existence, established in Chapters 1–3 of Origin. (shrink)

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division over the years (...) know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

In late September 1838, Darwin read Malthus's Essay on Population, which left him with “a theory by which to work.”115 Yet he waited some twenty years to publish his discovery in the Origin of Species. Those interested in the fine grain of Darwin's development have been curious about this delay. One recent explanation has his hand stayed by fear of reaction to the materialist implications of linking man with animals. “Darwin sensed,” according to Howard Gruber, “that some would object to (...) seeing rudiments of human mentality in animals, while others would recoil at the idea of remnants of animality in man.”116 With this link closed, Darwin hung the materialist chain around his own neck, where it rested most uncomfortably. Stephen Gould, supporting Gruber's argument, finds evidence for this reconstruction in Darwin's M and N notebooks, whichinclude many statements showing that he espoused but feared to expose something he perceived as far more heretical than evolution itself: philosophical materialism-the postulate that matter is the stuff of all existence and that all mental and spiritual phenomena are its by-products. No notion could be more upsetting to the deepest traditions of Western thought than the statement that mind-however complex and powerful-is simply a product of brain.117The proferred hypothesis suggests, then, that Darwin was acutely sensible of the social consequences of equating men with animals and therefore mind with brian, and that he thus shied from publically revealing his views until the intellectual climate became more tolerant.The history I have examined makes this hypothesis implausible. Even if Darwin warily explored the implications of his emerging theory in his notebooks, his subsequent study of Fleming, Wells, Brougham, and Kirby should have quieted any trepidation. If these natural theologians did not flinch at seeing human reason prefigured in the mind of a worm, should Darwin have? Moreover, he recognized in his M notebook that the thesis of evolutionary continuity between men and animals did not require an explicit avowal of his conviction that brain was the agent of thought.118 And in any case, his materialism was of a rather benign sort; at least he so expressed it in an annotation in Abercrombie's Inquiries concerning the Intellectual Powers (1838): “By materialism I mean, merely the intimate connection of thought with form of brain — like kind of attraction with nature of element.”119 This belief would have held little terror for British intellectuals, who were quite familiar — some even comfortable-with Locke's anti-Cartesian argument that there was nothing contradictory in supposing God could make matter to think.120 Finally, even if the intellectual atmosphere of early nineteenth-century Britain were inhospitable to Darwin's brand of materialism, there is little reason to believe he breathed a different air at mid-century while preparing his manuscript.That Darwin should not have feared suspicions of materialism, of course, does not mean that he did not. But I think there were other, more persistent sources of anxiety that kept him from rushing to publish: namely, the several conceptual obstacles he had to overcome if his theory of evolution by natural selection were to be made scientifically acceptable. Prominent among these were the problems surrounding his changing notions of instinct.The inertia of his older ideas about instinct at first made it hard for Darwin to gauge how far the theory of natural selection might be applied to behavior. By the early 1840s he finally felt ready to meet the challenge of the natural theologians by providing a naturalistic explanation for the wonderful instincts of animals. In his “Essays” of 1842 and 1844 one sort of instinct is, however, not considered-that of neuter insects. Yet Darwin seems to have appreciated the difficulties such instincts entailed at least by 1843, when he read Kirby and Spence. He simply required time to work out a solution to a problem he initially perceived as “fatal to my whole theory.” Even while writing the “Species Book” in the summer of 1857, he was still juggling several possible solutions compatible with natural selection. It was only a short time before he actually turned to work on the Origin of Species that he appears to have settled on a single explanation for the difficulties posed by the instincts of worker bees and ants. The force of his theory of community selection snapped the last critical support of the creationist hypothesis and, conveniently enough, also fractured the generalized Lamarckian account of the evolution of behavior. These results were worth waiting for. (shrink)

Evolutionary epistemology has experienced a continuous rise over the last decades. Important new theoretical considerations and novel empirical findings have been integrated into the existing framework. In this paper, I would like to suggest three lines of research that I believe will significantly contribute to further advance EE: ontogenetic considerations, key ideas from cognitive biology, and the framework of the Extended Evolutionary Synthesis. EE, in particular the program of the evolution of epistemological mechanisms, seeks to provide a phylogenetic account (...) of the generation of cognitive processes underlying knowledge creation. Traditionally, EE and EEM have been oriented towards an account of evolutionary theory that mainly drew from the tenets of the Modern Synthesis. The Modern Synthesis largely dismisses ontogenetic processes and considers them irrelevant for evolutionary explanations. If anything, the role of development in evolution is believed to be that of a constraint. There is, however, ample evidence for a tight intertwinement of developmental and evolutionary processes. Organisms employ their cognitive apparatus to interact with the environment in order to achieve a fully functioning perceptual and cognitive nervous system. Also, ontogeny provides generative potentials to enable variations that natural selection can act upon. EEM’s agenda may, therefore, strongly benefit from bringing together ontogenetic and phylogenetic approaches. To grapple with this challenge, an alternative vision of the evolutionary theory termed Extended Evolutionary Synthesis could be used. This extended evolutionary theory explores relationships between the processes of individual development and phenotypic change during evolution and can provide a more suitable framework for EEM to draw from. In recent years, cognitive biology has gained momentum as an independent research field. Cognitive biology builds on the concepts of EEM and understands knowledge as a biogenic phenomenon. Its main objective is also the formulation of substantiated interrelations between cognition and evolution but it focuses on cognitive functionality at all levels of biological organization. It thus employs a “vertical” approach that encompasses nested hierarchies which span from single molecules, cells, and tissues to the organismal level, communities, and societies. In contrast to cognitive biology, EEM is here understood to adopt a “horizontal” approach that focuses on phylogenetic explanations of cognition and knowledge acquisition. Linking EEM with the key ideas of cognitive biology could make EEM’s research program stronger as it can more easily accommodate phylogenetic and ontogenetic questions within a hierarchical, multilevel perspective. This is of particular importance for a more comprehensive account of cognition since living systems are subject to context-dependent causal influences from different organizational levels. In addition to EEM, there is a second program of EE. This program has been labeled evolutionary epistemology of theories and understands the increase in human knowledge, such as scientific theories, as naturalistic accounts of evolution. Both, EEM and EET initially drew from the core concepts of the Modern Synthesis. Several scholars have severely criticized the analogies made between EET and the Neo-Darwinian key processes of evolution. In particular processes of random mutation, the rate of variation, natural selection as the unique driving force, and the adaptationist agenda are believed to reveal disanalogies. In contrast to the Modern Synthesis, the Extended Evolutionary Synthesis not only recognizes developmental processes but also ecological interactions and systems dynamics as well as social and cultural evolutionary reciprocity as important evolutionary processes. Concepts of the Extended Evolutionary Synthesis are therefore expected to be more fruitful for re-conceptualizing parallels between scientific theorizing and biological evolution. (shrink)

§1. Introduction. The classical propositional calculus has an undeserved reputation among logicians as being essentially trivial. I hope to convince the reader that it presents some of the most challenging and intriguing problems in modern logic. Although the problem of the complexity of propositional proofs is very natural, it has been investigated systematically only since the late 1960s. Interest in the problem arose from two fields connected with computers, automated theorem proving and computational complexity theory. The earliest paper in (...) the subject is a ground-breaking article by Tseitin [62], the published version of a talk given in 1966 at a Leningrad seminar. In the three decades since that talk, substantial progress has been made in determining the relative complexity of proof systems, and in proving strong lower bounds for some restricted proof systems. However, major problems remain to challenge researchers. The present paper provides a survey of the field, and of some of the techniques that have proved successful in deriving lower bounds on the complexity of proofs. A major area only touched upon here is the proof theory of bounded arithmetic and its relation to the complexity of propositional proofs. The reader is referred to the book by Buss [10] for background in bounded arithmetic. The forthcoming book by Krajíček [40] also gives a good introduction to bounded arithmetic, as well as covering most of the basic results in complexity of propositional proofs. (shrink)

‘Statisticalists’ argue that the individual interactions of organisms taken together constitute natural selection. On this view, natural selection is an aggregated effect of interactions rather than some added cause acting on populations. The statisticalists’ view entails that natural selection and drift are indistinguishable aggregated effects of interactions, so that it becomes impossible to make a difference between them. The present paper attempts to make sense of the difference between selection and drift, given the main insights of statisticalism; (...) basically, it will disentangle the various kinds of indistinguishability between selection and drift that happen within biology, by examining the epistemological and metaphysical nature of the distinction between selection and drift. It will be based on a ‘difference-making account’ of selection. The first section will explicate the inscrutability of selection and drift, its various types in the statisticalist writings, and its implications. The second section specifies concepts of natural selection and drift in the difference making account of selection I am using, and shows that one can derive from this the statistical signatures of selection and drift. On this basis I focus on one sort of indistinguishability issue about selection and drift, which I call epistemic opacity, and explain why it mostly affects small populations. The last section explains why epistemic opacity does not raise an genuine epistemic problem for evolutionary biology. (shrink)