A detailed axiomatisation of diagrams (in affine geometry) is presented, which supports typing of geometric objects, calculation of geometric quantities and automated proof of theorems.

Proof by refutation of a geometry theorem that is not universally true produces a Gröbner basis whose elements, called side polynomials, may be used to give inequations that can be added to the hypotheses to give a valid theorem. We show that (in a certain sense) all possible subsidiary conditions are implied by those obtained from the basis; that what we call the kind of truth of the theorem may be derived from the basis; and that the side polynomials may (...) be classified in a useful way. We analyse the relationship between side polynomials and kinds of truth, and we give a unified algorithmic treatment of side polynomials, with examples generated by an implementation. (shrink)

REVIEW OF: The Symbolic Species - The co-evolution of language and the human brain, by Terrence Deacon, Penguin, 527pp, 1997. -/- Terrence Deacon works at the interface between neurobiology, developmental biology and biological anthropology. He is ideally placed to bring together the insights of the very different sciences of palaeontology and physiology into the nature and origins of language. The pleasures of his book are in the detail, the expert knowledge that the author brings to bear, the lucidity of writing (...) that must at times be quite technical. -/- The reviewer sees a main inadequacy of the book in its cavalier treatment of language itself, and especially of what the author calls "Chomsky's Handstand". (shrink)

REVIEW OF: Automated Development of Fundamental Mathematical Theories by Art Quaife. (1992: Kluwer Academic Publishers) 271pp. Using the theorem prover OTTER Art Quaife has proved four hundred theorems of von Neumann-Bernays-Gödel set theory; twelve hundred theorems and definitions of elementary number theory; dozens of Euclidean geometry theorems; and Gödel's incompleteness theorems. It is an impressive achievement. To gauge its significance and to see what prospects it offers this review looks closely at the book and the proofs it presents.

One may say without great exaggeration that Grassmann invented linear algebra and, with none at all, that he showed how properly to apply it in geometry.

I am interested in understanding what happens. It goes without saying, at least for me, that physics — I mean 20th. Century physics — is our best account so far of what happens, very compelling and astonishingly successful. But physics, as is well-known has some deep problems. I have slowly come to realise that the source of those problems is a philosophical mistake, a mistake that is not restricted to physicists but shared by nearly everyone. To put it briefly, it (...) is the belief of nearly everyone that there is just one reality and just one truth, the truth about that reality. I think that physics can be made right, or at least made better, by dropping that faith and accepting that there are many realities, and consequently many times, and that truths about those realities are not given but are reached by agreement. (shrink)

This is merely the longish abstract of a talk I gave in 2001, that now seems to make more sense than ever.

Carnap and Quine first met in the 1932-33 academic year, when the latter, fresh out of graduate school, visited the key centers of mathematical logic in Europe. In the months that Carnap was finishing his Logische Syntax der Sprache, Quine spent five weeks in Prague, where they discussed the manuscript “as it issued from Ina Carnap’s typewriter”. The philosophical friendship that emerged in these weeks would have a tremendous impact on the course of analytic philosophy. Not only did the meetings (...) effectively turn Quine into Carnap's disciple, they also paved the way for their seminal debates about meaning, language, and ontology---the very discussions that would change the course of analytic philosophy in the decades after the Second World War. -/- Yet surprisingly little is known about these first meetings. Although Quine has often acknowledged the impact of his Prague visit, there appears to be little information about these first encounters, except for the fact that the Quines “were overwhelmed by the kindness of the Carnaps” and that it was Quine’s “most notable experience of being intellectually fired by a living teacher”. Neither their correspondence nor their autobiographies offer a detailed account of these meetings. In this paper, I shed new light on Carnap’s and Quine’s first encounters by examining a set of previously unexplored material from their personal and academic archives. Why did Quine decide to visit Carnap? What did they discuss? And in what ways did the meetings affect Quine’s philosophical development? In what follows, I address these questions by means of a detailed reconstruction of Quine’s year in Europe based on a range of letters, notes, and reports from the early 1930s. (shrink)

In this paper we present a new proposal for defining actual causation, i.e., the problem of deciding if one event caused another. We do so within the popular counterfactual tradition initiated by Lewis, which is characterised by attributing a fundamental role to counterfactual dependence. Unlike the currently prominent definitions, our approach proceeds from the ground up: we start from basic principles, and construct a definition of causation that satisfies them. We define the concepts of counterfactual dependence and production, and put (...) forward principles such that dependence is an unnecessary but sufficient condition for causation, whereas production is an insufficient but necessary condition. The resulting definition of causation is a suitable compromise between dependence and production. Every principle is introduced by means of a paradigmatic example of causation. We illustrate some of the benefits of our approach with two examples that have spelled trouble for other accounts. We make all of this formally precise using structural equations, which we extend with a timing over all events. (shrink)

Biologists explain organisms’ behavior not only as having been programmed by genes and shaped by natural selection, but also as the result of an organism’s agency: the capacity to react to environmental changes in goal-driven ways. The use of such ‘agential explanations’ reopens old questions about how justified it is to ascribe agency to entities like bacteria or plants that obviously lack rationality and even a nervous system. Is organismic agency genuinely ‘real’ or is it just a useful fiction? In (...) this paper we focus on two questions: whether agential explanations are to be interpreted ontically, and whether they can be reduced to non-agential explanations (thereby dispensing with agency). The Kantian approach we identify interprets agential explanations non-ontically, yet holds agency to be indispensable. Attributing agency to organisms is not to be taken literally in the way we attribute physical properties such as mass or acceleration, but nor is it a mere heuristic or predictive tool. Rather, it is an inevitable consequence of our own rational capacity: as long as we are rational agents ourselves, we cannot avoid seeing agency in organisms. (shrink)

There has been an increasing interest into how to build Artificial Moral Agents (AMAs) that make moral decisions on the basis of causation rather than mere correction. One promising avenue for achieving this is to use a causal modelling approach. This paper explores an open and important problem with such an approach; namely, the problem of what makes a causal model an appropriate model. I explore why we need to establish criteria for what makes a model appropriate, and offer-up such (...) criteria which appeals to normative considerations. (shrink)

I try in this essay to accomplish two things. First I offer some first thoughts toward a clarification of the ethical foundations of private property rights that avoids pitfalls common to more strictly Lockean theories, and is thus better prepared to address arguments posed by critics of standard private property arrangements. Second, I'll address one critical argument that has become pretty common over the years. While versions of the argument can be traced back at least to Pierre Joseph Proudhon, I'll (...) focus on a formulation given it by Jeremy Waldron. The basic idea is that the only sound arguments for private property rights lead to the conclusion that society has an obligation to insure that every citizen possess private property. In Waldron's formulation, what is justifiable is a general, rather than a special, right to private property. I shall try to suggest that this conclusion is unwarranted. (shrink)

Darwin hypothesized that some animals, when selecting sexual partners, possess a genuine “sense of beauty” that cannot be accounted for by the logic of natural selection. This hypothesis has been notoriously controversial. In this chapter I propose that the concept of agency can be useful to operationalize the “sense of beauty”, and can help identify the conditions under which one can infer that animals are acting as (aesthetic) agents. Focusing on a case study of the behavior of the Pavo cristatus, (...) I identify the types of evidence that would allow for the inference of agency through aesthetic choice. (shrink)

The counterfactual tradition to defining actual causation has come a long way since Lewis started it off. However there are still important open problems that need to be solved. One of them is the (in)transitivity of causation. Endorsing transitivity was a major source of trouble for the approach taken by Lewis, which is why currently most approaches reject it. But transitivity has never lost its appeal, and there is a large literature devoted to understanding why this is so. Starting from (...) a survey of this work, we will develop a formal analysis of transitivity and the problems it poses for causation. This analysis provides us with a sufficient condition for causation to be transitive, a sufficient condition for dependence to be necessary for causation, and several characterisations of the transitivity of dependence. Finally, we show how this analysis leads naturally to several conditions a definition of causation should satisfy, and use those to suggest a new definition of causation. (shrink)

Andreas & Günther have recently proposed a difference-making definition of actual causation. In this paper I show that there exist conclusive counterexamples to their definition, by which I mean examples that are unacceptable to everyone, including AG. Concretely, I show that their definition allows c to cause e even when c is not a causal ancestor of e. I then proceed to identify their non-standard definition of causal models as the source of the problem, and argue that there is no (...) viable strategy open to AG to fixing it. I conclude that their definition of causation is damaged beyond repair. (shrink)

Logical positivism is often characterized as a set of naive doctrines on meaning, method, and metaphysics. In recent decades, however, historians have dismissed this view as a gross misinterpretation. This new scholarship raises a number of questions. When did the standard reading emerge? Why did it become so popular? And how could commentators have been so wrong? This essay reconstructs the history of a “caricature” and rejects the hypothesis that it was developed by ill-informed Anglophone scholars who failed to appreciate (...) the subtleties of European scientific philosophy. It argues that the received view has a more complicated history and was frequently promoted by the European positivists themselves. The essay shows that the view has roots in both American and European scientific philosophy and emerged as a result of the complex interplay between the two communities in the years before the intellectual migration. (shrink)

The principle of clinical equipoise has been variously characterized by ethicists and clinicians as fundamentally flawed, a myth, and even a moral balm. Yet, the principle continues to be treated as the de facto gold standard for conducting randomized control trials in an ethical manner. Why do we hold on to clinical equipoise, despite its shortcomings being widely known and well-advertised? This paper reviews the most important arguments criticizing clinical equipoise as well as what the most prominent proposed alternatives are. (...) In the process, it evaluates the justification for continuing to use clinical equipoise as the gold standard for randomized control trials. (shrink)

The ethical concerns regarding the successful development of an Artificial Intelligence have received a lot of attention lately. The idea is that even if we have good reason to believe that it is very unlikely, the mere possibility of an AI causing extreme human suffering is important enough to warrant serious consideration. Others look at this problem from the opposite perspective, namely that of the AI itself. Here the idea is that even if we have good reason to believe that (...) it is very unlikely, the mere possibility of humanity causing extreme suffering to an AI is important enough to warrant serious consideration. This paper starts from the observation that both concerns rely on problematic philosophical assumptions. Rather than tackling these assumptions directly, it proceeds to present an argument that if one takes these assumptions seriously, then one has a moral obligation to advocate for a ban on the development of a conscious AI. (shrink)

The most important voices concerning the changes now occurring in Central and Eastem Europe are those that come from within, for those voices are informed not only by indifferent data and objective reports, but by personal hopes, fears, desires and needs. Without careful consideration of what such voices say, judgment can only be sterile. Furthermore, policy decisions made without the benefit of the intemal perspective are likely to be flawed, and ineffectual. Policies won’t work if they do not take into (...) account the point of view of those who are supposed to be affected by them. There nevertheless remains an important role for outsiders to play in the discussion of the impact of political change on the future of philosophical thought, especially if the outside perspective can serve as a test of the internal view. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

in april 1933, two bright young Ph.D.s were elected to the Harvard Society of Fellows: the psychologist B. F. Skinner and the philosopher/logician W. V. Quine. Both men would become among the most influential scholars of their time; Skinner leads the "Top 100 Most Eminent Psychologists of the 20th Century," whereas philosophers have selected Quine as the most important Anglophone philosopher after the Second World War.1 At the height of their fame, Skinner and Quine became "Edgar Pierce twins"; the latter (...) obtaining the endowed chair at Harvard's department of philosophy, the former taking up the position at Harvard's psychology department.2Besides these biographical parallels, there also... (shrink)

Niche construction is a concept that captures a wide array of biological phenomena, from the environmental effects of metabolism to the creation of complex structures such as termite mounds and beaver dams. A central point in niche construction theory is that organisms do not just passively undergo developmental, ecological, or evolutionary processes, but are also active participants in them Evolution: From molecules to men, Cambridge University Press, Cambridge, 1983; Laland KN, Odling-Smee J, Feldman MW, In: KN Laland and T Uller (...) Evolutionary causation: Biological and philosophical reflections, MIT Press, Cambridge, MA, 2019). In this paper, we distinguish between two fundamentally different ways in which organisms are active participants: as agents and as contributors. Roughly, organisms act as agents when niche constructing effects are a result of a goal-directed behavior over which the organisms have some degree of control. Organisms act as contributors when the niche constructing effects do not arise from a goal to perform the constructive activity. As illustrative examples we discuss plants altering leaf-morphology to optimize light exposure as reported by Sultan and bacteria creating novel niches through excreting energy-rich metabolites. The difference between agential and contributional niche construction is important for understanding the different ways organisms can actively participate in development, ecology, and evolution. Additionally, this distinction can increase our understanding of how the capacity of agency is distributed across the tree of life and how agency influences developmental and evolutionary processes. (shrink)

W. V. Quine is arguably the intellectual father of contemporary naturalism, the idea that there is no distinctively philosophical perspective on reality. Yet, even though Quine has always been a science-minded philosopher, he did not adopt a fully naturalistic perspective until the early 1950s. In this paper, I reconstruct the genesis of Quine’s ideas on the relation between science and philosophy. Scrutinizing his unpublished papers and notebooks, I examine Quine’s development in the first decades of his career. After identifying three (...) commitments supporting his naturalism—viz. empiricism, holism, and realism—I piece together the evolution of Quine’s position by examining the origins of these commitments one by one, showing how his early views gradually evolved into the mature naturalistic position that would have such an enormous impact on post-war analytic philosophy. (shrink)

In the late 1930s, a few years before the start of the Second World War, a small number of European philosophers of science emigrated to the United States, escaping the increasingly perilous situation on the continent. Among the first expatriates were Rudolf Carnap and Hans Reichenbach, arguably the most influential logical empiricists of their time. In this two-part paper, I reconstruct Carnap’s and Reichenbach’s surprisingly numerous interactions with American academics in the decades before their move in order to explain the (...) impact of their arrival in the late 1930s. This second part traces Reichenbach’s development and focuses on his frequent interactions with American academics throughout the 1930s. I show that Reichenbach was quite ignorant about developments in Anglophone philosophy in the first stages of his career but became increasingly focused on the United States from the late 1920s onwards. I reconstruct Reichenbach’s efforts to find a job across the Atlantic and show that some of his English publications—most notably Experience and Prediction—were attempts to change the American narrative about logical empiricism. Whereas U. S. philosophers identified scientific philosophy with the views of the Vienna Circle, Reichenbach aimed to market his probabilistic philosophy of science as a subtler alternative. (shrink)

This paper reconstructs the American reception of logical positivism in the early 1930s. I argue that Moritz Schlick (who had visiting positions at Stanford and Berkeley between 1929 and 1932) and Herbert Feigl (who visited Harvard in the 1930-31 academic year) played a crucial role in promoting the *Wissenschaftliche Weltauffassung*, years before members of the Vienna Circle, the Berlin Group, and the Lvov-Warsaw school would seek refuge in the United States. Building on archive material from the Wiener Kreis Archiv, the (...) Harvard University Archives, and the Herbert Feigl Papers, as well as a large number of publications in American philosophy journals from the early 1930s, I reconstruct the subtle transformation of the American philosophical landscape in the years immediately preceding the European exodus. I argue that (1) American philosophical discussions about meaning and significance and (2) internal dynamics in the Vienna Circle between 1929 and 1931 significantly impacted the way in which US philosophers came to perceive logical positivism. (shrink)

In the years before the Second World War, Rudolf Carnap and Hans Reichenbach emigrated to the United States, escaping the quickly deteriorating political situation on the continent. Once in the U. S., the two significantly changed the American philosophical climate. This two-part paper reconstructs Carnap’s and Reichenbach’s surprisingly numerous interactions with American academics in the decades before their move in order to explain the impact of their arrival in the late 1930s. Building on archival material of several key players and (...) institutions, I take some first steps toward answering the question why logical empiricism became so successful in the United States after the War. This first part reconstructs Carnap’s development between 1923, when he first visited New York, and 1936, when he was offered a position at the University of Chicago. I describe Carnap’s first substantive contacts with American philosophers as well as the events leading up to his decision to emigrate. In addition, I argue that some of Carnap’s work from the mid-1930s—in particular “Testability and Meaning”—can be better understood if we take into account his attempts to correct the American narrative about logical positivism and his increasingly desperate efforts to find a position in the United States. (shrink)

Environmental heterogeneity is invoked as a key explanatory factor in the adaptive evolution of a surprisingly wide range of phenomena. This article aims to analyze this explanatory scheme of categorizing traits or properties as adaptations to environmental heterogeneity. First it is suggested that this scheme can be understood as a reaction to how heterogeneity adaptations were discounted or ignored in the modern synthesis. Then a positive account is proposed, distinguishing between two broad categories of adaptation to environmental heterogeneity: properties selected (...) for by well-defined patterns of environmental heterogeneity, and properties that help organisms exploit novel patterns of environmental heterogeneity. (shrink)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

Quine's metaphilosophical naturalism is often dismissed as overly “scientistic.” Many contemporary naturalists reject Quine's idea that epistemology should become a “chapter of psychology” and urge for a more “liberal,” “pluralistic,” and/or “open-minded” naturalism instead. Still, whenever Quine explicitly reflects on the nature of his naturalism, he always insists that his position is modest and that he does not “think of philosophy as part of natural science”. Analyzing this tension, Susan Haack has argued that Quine's naturalism contains a “deep-seated and significant (...) ambivalence”. In this paper, I argue that a more charitable interpretation is possible—a reading that does justice to Quine's own pronouncements on the issue. I reconstruct Quine's position and argue that Haack and Quine, in their exchanges, have been talking past each other and that once this mutual misunderstanding is cleared up, Quine's naturalism turns out to be more modest, and hence less scientistic, than many contemporary naturalists have presupposed. I show that Quine's naturalism is first and foremost a rejection of the transcendental. It is only after adopting a broadly science-immanent perspective that Quine, in regimenting our language, starts making choices that many contemporary philosophers have argued to be unduly restrictive. (shrink)

Quine's argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine's argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher's quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake, there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine's argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine's work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. (shrink)

William Gilbert’s work, De magnete (1600), often is referred to as the first monographic study on magnetism in the early-modern period. Recently, however, it has been argued that the Jesuit, Leonardo Garzoni, wrote an experimental study on the subject twenty years earlier and that his research influenced particularly the work of Giambattista Della Porta and Paolo Sarpi,two important protagonists in the history of studies in magnetism. However, to date, Garzoni’s authorship of an anonymous treatise in manuscript, located at the Biblioteca (...) Ambrosiana in Milan, and taken to bear witness to his research, has been based only on circumstantial evidence. This article outlines the identification of two further manuscript copies of this treatise, which have not been studied so far. It shall be argued that the evidence contained in these manuscripts corroborates the assumption that Garzoni indeed is the author of the work that was transmitted anonymously. Moreover, it can be shown that the work was completed and prepared for print later on. These findings also allow us to argue more conclusively that Paolo Sarpi knew Garzoni’s work and passed it to Giambattista Della Porta, who bequethed his copy to the Accademia dei Lincei and thereby made it available to some of the academy’s most important members, Nicolas Claude Fabri de Peiresc and Cassiano Dal Pozzo. Finally, the dynamics of this textual transmission provide insights into how scholars approached the study of ‘magnetism’ in the early-modern period. (shrink)

The adoption of web-based telecare services has raised multifarious ethical concerns, but a traditional principle-based approach provides limited insight into how these concerns might be addressed and what, if anything, makes them problematic. We take an alternative approach, diagnosing some of the main concerns as arising from a core phenomenon of shifting trust relations that come about when the physician plays a less central role in the delivery of care, and new actors and entities are introduced. Correspondingly, we propose an (...) applied ethics of trust based on the idea that patients should be provided with good reasons to trust telecare services, which we call sound trust. On the basis of this approach, we propose several concrete strategies for safeguarding sound trust in telecare. (shrink)

Quine’s argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine’s argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher’s quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake as there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine’s argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine’s work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. -/- . (shrink)

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (shrink)

Quine is routinely perceived as having changed his mind about the scope of the Duhem-Quine thesis, shifting from what has been called an 'extreme holism' to a more moderate view. Where the Quine of 'Two Dogmas of Empiricism' argues that “the unit of empirical significance is the whole of science” (1951, 42), the later Quine seems to back away from this “needlessly strong statement of holism” (1991, 393). In this paper, I show that the received view is incorrect. I distinguish (...) three ways in which Quine's early holism can be said to be wide-scoped and show that he has never changed his mind about any one of these aspects of his early view. Instead, I argue that Quine's apparent change of mind can be explained away as a mere shift of emphasis. (shrink)

Susanne Langer was a student at Radcliffe College between 1916 and 1926---a highly transitional period in the history of American philosophy. Intellectual generalists such as William James, John Dewey, and Josiah Royce had dominated philosophical debates at the turn of the century but the academic landscape gradually started to shift in the years after World War I. Many scholars of the new generation adopted a more piecemeal approach to philosophy---solving clearly delineated, technical puzzles using the so-called “method of logical analysis”. (...) Especially at Harvard, the intellectual climate rapidly changed. The department hired several philosophers who had contributed to the development of symbolic logic---H. M. Sheffer, C. I. Lewis, and A. N. Whitehead---and Harvard quickly began to be viewed as a central hub for analytic philosophy in the United States. This chapter contextualizes Langer’s earliest work by reading it through the lens of this shifting academic environment. Though Harvard did not allow women to take its courses until 1943, Langer is one of the most significant fruits of this period. Her dissertation “A Logical Analysis of Meaning” and her first publications are all illustrations of the approach that came to dictate the American philosophical conversation. By exploring the increased focus on the logical-analytic method and Langer’s attempts to expand the new approach to what she later called “non-discursive” symbolisms, I situate her publications in the intellectual context of the 1920s. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of agents (most (...) interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

Contemporary analytic philosophy is dominated by metaphilosophical naturalism, the view that philosophy ought to be continuous with science. This naturalistic turn is for a significant part due to the work of W. V. Quine. Yet, the development and the reception of Quine’s naturalism have never been systematically studied. In this paper, I examine Quine’s evolving naturalism as well as the reception of his views. Scrutinizing a large set of unpublished notes, correspondence, drafts, papers, and lectures as well as published responses (...) to Quine’s work, I show how both internal tensions and external criticisms forced him to continuously develop, rebrand, and refine his metaphilosophy before he explicitly decided to label his view ‘naturalism’ in the late 1960s. (shrink)

In the past decade, policy-makers in science have been concerned with harmonizing research integrity standards across Europe. These standards are encapsulated in the European Code of Conduct for Research Integrity. Yet, almost every European country today has its own national-level code of conduct for research integrity. In this study we document in detail how national-level codes diverge on almost all aspects concerning research integrity – except for what constitutes egregious misconduct. Besides allowing for potentially unfair responses to joint misconduct by (...) international collaborations, we argue that the divergences raise questions about the envisaged self-regulatory function of the codes of conduct. (shrink)

De indruk overheerst dat het vertrouwen in instellingen tanende is. Toch wordt deze indruk niet altijd ondersteund door bevragingen en statistieken. Als die indruk een mythe is, dan is de echte vraag: waarom worden we dan tot deze mythe aangetrokken? In dit essay wil ik ons verlangen naar vertrouwen plaatsen in een cultuur en in een denkkader waarin vrijheid en zelfbeschikking blijven primeren, en kijken naar hoe er vandaag theoretisch wordt nagedacht over vertrouwen en publiek beleid. Het valt te betwijfelen (...) of we het vertrouwen dat we zoeken op die manier zullen vinden. (shrink)

Some of the most significant policy responses to cases of fraudulent and questionable conduct by scientists have been to strengthen professionalism among scientists, whether by codes of conduct, integrity boards, or mandatory research integrity training programs. Yet there has been little systematic discussion about what professionalism in scientific research should mean. In this paper I draw on the sociology of the professions and on data comparing codes of conduct in science to those in the professions, in order to examine what (...) precisely the model of professionalism implies for scientific research. I argue that professionalism, more than any other single organizational logic, is appropriate for scientific research, and that codes of conduct for scientists should strengthen statements concerning scientific autonomy and competence, as well as the scientific service ideal. (shrink)

Ernest Nagel played a key role in bridging the gap between American philosophy and logical empiricism. He introduced European philosophy of science to the American philosophical community but also remained faithful to the naturalism of his teachers. This paper aims to shed new light on Nagel’s intermediating endeavors by reconstructing his philosophical development in the late 1920s and 1930s. This is a decisive period in Nagel’s career because it is the phase in which he first formulated the principles of his (...) naturalism and spent a year in Europe to visit the key centers of logical empiricism. Building on a range of published and unpublished papers, notes, and correspondence—including hundreds of pages of letters to his close friend Sidney Hook—I reconstruct Nagel’s philosophical development, focusing especially on the philosophical influence of John Dewey, Morris R. Cohen, Rudolf Carnap, and Hans Reichenbach. (shrink)

While Quine’s linguistic behaviorism is well-known, his Kant Lectures contain one of his most detailed discussions of behaviorism in psychology and the philosophy of mind. Quine clarifies the nature of his psychological commitments by arguing for a modest view that is against ‘excessively restrictive’ variants of behaviorism while maintaining ‘a good measure of behaviorist discipline…to keep [our mental] terms under control’. In this paper, I use Quine’s Kant Lectures to reconstruct his position. I distinguish three types of behaviorism in psychology (...) and the philosophy of mind: ontological behaviorism, logical behaviorism, and epistemological behaviorism. I then consider Quine’s perspective on each of these views and argue that he does not fully accept any of them. By combining these perspectives we arrive at Quine’s surprisingly subtle view about behaviorism in psychology. (shrink)

Contemporary discussions about operational definition often hark back to Stanley Smith Stevens’ classic papers on psychological operationism (1935ab). Still, he was far from the only psychologist to call for conceptual hygiene. Some of Stevens’ direct colleagues at Harvard---most notably B. F. Skinner and E. G. Boring---were also actively applying Bridgman’s conceptual strictures to the study of mind and behavior. In this paper, I shed new light on the history of operationism by reconstructing the Harvard debates about operational definition in the (...) years before Stevens published his seminal articles. Building on a large set of archival evidence from the Harvard University Archives, I argue that we can get a more complete understanding of Stevens’ contributions if we better grasp the operationisms of his former teachers and direct colleagues at Harvard’s Department of Philosophy and Psychology. (shrink)

An ideal constructor produces geometry from scratch, modelled through the bottom-up assembly of a graph-like lattice within a space that is defined, bootstrap-wise, by that lattice. Construction becomes the problem of assembling a homogeneous lattice in three-dimensional space; that becomes the problem of resolving geometrical frustration in quasicrystalline structure; achieved by reconceiving the lattice as a dynamical system. The resulting construction is presented as the introductory model sufficient to motivate the formal argument that it is a fundamental structure; based on (...) which, it is proposed that where mathematics’ numbers conventionally correspond to dimensionless points on the stateless number line, numbers more fundamentally correspond to an ordering of discrete objects constructed within the stateful number lattice. A second observation is that this fundamental lattice structure is helically configured with fractal character, which, as it relates to the geometry underlying spacetime, has relevance to questions in physics, particularly those involving wave-particle duality. (shrink)

Codes of ethics currently offer no guidance to scientists acting in capacity of expert. Yet communicating their expertise is one of the most important activities of scientists. Here I argue that expert communication has a specifically ethical dimension, and that experts must face a fundamental trade-off between "actionability" and "transparency" when communicating. Some recommendations for expert communication are suggested.

Distrust in scientific experts can be surprisingly stubborn, persisting despite evidence supporting the experts’ views, demonstrations of their competence, or displays of good will. This stubborn distrust is often viewed as a manifestation of irrationality. By contrast, this article proposes a logic of “status distrust”: low-status individuals are objectively vulnerable to collective decision-making, and can justifiably distrust high-status scientific experts if they are not confident that the experts do not have their best interests at heart. In phenomena of status distrust, (...) social status is thus an indicator of distrust, and this has wider implications for the literatures on trust in science and on expert communication. (shrink)