This chapter contains sections titled: The Philosophical Tale.

With Shakespeare's Physic, John Crawford Adams joins that group of physicians so fascinated by the medical aspects of Shakespeare that they cannot resist a foray into medical and literary history. Adams follows men like R. R. Simpson, whose Shakespeare and Medicine was until recently the best book available on the subject. Like Simpson, Adams is not a historian, nor is he a literary critic, and like Simpson's book, Shakespeare's Physic has consequent strengths and deficiencies.To be sure, Adams's book has a (...) charming energy. He quotes widely and admiringly from Shakespeare's work and demonstrates considerable reading in medical history. His training in medicine, moreover, allows him to provide an interesting modern perspective on the illnesses that would have afflicted Shakespeare's contemporaries. Additionally, Adams, as neither a historian nor a literary critic, does not get bogged down in theory or minutiae, and so the book is accessible to nonspecialists.Often, however, one wishes Adams had been a historian so that he might have been more scrupulous in his work, for the lack of historical rigor here seriously detracts from the book's usefulness. Aside from quotations from Shakespeare, and notwithstanding the brief bibliography that is included, Adams fails to cite any of his sources. We have no way of directly checking his facts, and there is no way to build on his work.Moreover, if Adams had been more attentive to citing evidence for his claims, he might have more easily noticed when those claims were questionable. The bacterium that causes the plague, for example, is now properly called Yersinia pestis, not Pasteurella pestis, as Adams has it . More significantly, Adams's suggestion that madness was understood almost exclusively as a result of demonic possession and that it was treated only by exorcism is clearly incorrect . Richard Napier's early modern practice frequently employed physical treatments for madness since some forms of madness, including melancholy, were thought to proceed from the same sorts of humoral imbalances that were held to produce other maladies . Moreover, Winfried Schleiner has discussed the therapeutic uses of illusion in the period and links that mode of treatment to several Shakespeare plays . David Hoeniger has shown how Shakespeare demonstrates knowledge of the early modern use of music as treatment for mental illness .Also troubling is Adams's unscholarly tendency to assume that the medical aspects of Shakespeare's theater “must generally have been an accurate reflection of the world as it existed outside” . Similarly, Adams repeatedly assumes that characters speaking on medical and spiritual matters must be voicing Shakespeare's own particular philosophy. Literary scholars now acknowledge that such claims are unreliable, if not naive. Malvolio in Twelfth Night, for example, firmly rejects the Pythagorean notion of metempsychosis or reincarnation; Feste, in the same play, insists that it is true; Graziano in The Merchant of Venice has thought it false but is tempted by Shylock's wolfish temperament to believe it. Which is the view of the general public? Which is Shakespeare's? (shrink)

This paper argues that we should take into account the process of historical transmission to enrich our understanding of material culture. More specifically, I want to show how the rewriting of history and the invention of tradition impact material objects and our beliefs about them. I focus here on the transmission history of the mechanical calculator invented by the German savant Gottfried Wilhelm Leibniz. Leibniz repeatedly described his machine as functional and wonderfully useful, but in reality it was never finished (...) and didn't fully work. Its internal structure also remained unknown. In 1879, however, the machine re-emerged and was reinvented as the origin of all later calculating machines based on the stepped drum, to protect the priority of the German Leibniz against the Frenchman Thomas de Colmar as the father of mechanical calculation. The calculator was later replicated to demonstrate that it could function ‘after all’, in an effort to deepen this narrative and further enhance Leibniz's computing acumen. (shrink)

The advance of mechanism in science and philosophy in the 17th century created a great interest to machines or automata. Leibniz was no exception - in an early memoir Drôle de pensée he wrote admiringly about a machine that could walk on water, exhibited in Paris. The idea of automatic processing in general had a large role in his thought, as can be seen, for example, in his invention of the binary code and the so-called Calculemus!-model for solving controversies. In (...) metaphysics, the idea of an automata was expressed most clearly in the 1695 article New System of the Nature of Substances and their Communication, and the ensuing correspondence with, among others, Foucher, Bayle, Lamy, Jaquelot and Masham. In the article Leibniz discusses the soul as a spiritual machine in the context of pre-established harmony, arguing that God can "give to a substance at the outset a nature or internal force which could produce in it an orderly way (as in spiritual or formal automaton; but a free one, in the case of a substance which is endowed with a share of reason) everything that is going to happen to it, that is to say, all the appearances or expressions it is going to have, and all without the help of any created thing." The basic idea of Leibniz's spiritual machine is that the soul or entelechy is an autonomous and spontaneous unity, consisting of internal active force and producing its own perceptions (both confused and distinct). It is a self-moving machine, driven by its perceptions and appetites, but it follows (without being conscious of it) a lawful series or programme created by God. The entelechy remains the same despite undergoing an infinite number of changes. To Foucher he explained that each state of the individual substance is a consequence of its preceding one, "as if there were only God and the substance in the world". Despite this, the spiritual machine is related not only to God, but through the pre-established harmony to bodies or natural machines. However, as it is not dependent on them, the spiritual machine is superiot to natural machines. In this paper I concentrate on three moral themes related to the spiritual machine: moral deliberation, moral identity and the goal of moral action. All these themes are more or less implicit in the New System, but are discussed in more detail in the ensuing correspondence after the publication of the article. Finally, the themes are given an extended discussion especially in the second book of New Essays on Human Understanding (1704, published 1765), written partly at the same time as some of the correspondence and unpublished related material. I will first give an overview of Leibniz's position concerning the spiritual machine or automaton in the New System and then go on to explore the three moral themes one by one, as they feature in the subsequent correspondence and in the New Essays. I will show that the three topics are essential to the function of the spiritual machine – to Sophie Charlotte Leibniz wrote: "...let us say that everything in bodies happens mechanically, or in accordance with laws of motion, and that everything in the soul happens morally, or in accordance with perceived good or evil." There are many texts that anticipate the views in the New System (notably the unpublished memoir De Affectibus of 1679) and Leibniz continued to discuss its themes later on (in addition to correpondence, for example, in Theodicy of 1710 and Monadology and Principles of Nature and Grace of 1714). Here I focus on the short-term development of Leibniz's views on the topic (around 1695-1705), but I argue that his basic view of the spiritual machine did not change much after finishing the dialogue with Locke in 1704. (shrink)

Bringing together Leibniz's writings on God and religion for the very first time, Leibniz on God and Religion: A Reader reflects the growing importance now placed on Leibniz's philosophical theology. This reader features a wealth of material, from journal articles and book reviews published in Leibniz's lifetime to private notes and essays, as well as items from his correspondence. Organised thematically into the following sections, this reader captures the changes in Leibniz's thinking over the course of his career: The Catholic (...) Demonstrations The existence and nature of God Reason and faith Ethics and the love of God The Bible Miracles and mysteries The churches and their doctrines Grace and predestination Sin, evil, and theodicy The afterlife Non-Christian religions In preparing this reader, Strickland has returned to Leibniz's original manuscripts to ensure accurate translations of key texts, the majority of which have not been available in English before. The reader also contains a number of texts previously unpublished in any form. Alongside the translations, this reader contains an introductory essay, explanatory notes on all of the texts, and suggestions for further reading. This valuable sourcebook enables students of all levels to achieve a well-rounded understanding of Leibniz's philosophical theology. (shrink)

It has been recently demonstrated that yeast cells are able to partially regress chromosome segregation in telophase as a response to DNA double‐strand breaks (DSBs), likely to find a donor sequence for homology‐directed repair (HDR). This regression challenges the traditional concept that establishes anaphase events as irreversible, hence opening a new field of research in cell biology. Here, the nature of this new behavior in yeast is summarized and the underlying mechanisms are speculated about. It is also discussed whether it (...) can be reproduced in other eukaryotes. Overall, this work brings forwards the need of understanding how cells attempt to repair DSBs when transiting the latest stages of mitosis, i.e., anaphase and telophase. (shrink)

A growing body of literature critical of ethics review boards has drawn attention to the processes used to determine the ethical merit of research. Citing criticism on the bureaucratic nature of ethics review processes, this literature provides a useful provocation for (re)considering how the ethics review might be enacted. Much of this criticism focuses on how ethics review boards _deliberate,_ with particular attention given to the lack of transparency and opportunities for researcher recourse that characterise ethics review processes. Centered specifically (...) on the conduct of ethics review boards convened within university settings, this paper draws on these inherent criticisms to consider the ways that ethics review boards might enact more communicative and deliberative practices. Outlining a set of principles against which ethics review boards might establish strategies for engaging with researchers and research communities, this paper draws attention to how _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ for the ethics review might be enacted in the day-to-day practice of the university human ethics review board. This paper develops these themes via a conceptual lens derived from Habermas’ (The theory of communicative action. Volume 1: Reason and the rationalization of society, 1984 ) articulation of ‘communicative action’ and Fraser’s (Social Text, 25(26), 56–80, 1990 ) consideration of ‘strong publics’ to cast consideration of the role that human ethics review boards might play in supporting university research cultures. _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ provide useful conceptual prompts for considering how ethics review boards might undertake their work. (shrink)

Although decision‐making algorithms are not new to medicine, the availability of vast stores of medical data, gains in computing power, and breakthroughs in machine learning are accelerating the pace of their development, expanding the range of questions they can address, and increasing their predictive power. In many cases, however, the most powerful machine learning techniques purchase diagnostic or predictive accuracy at the expense of our ability to access “the knowledge within the machine.” Without an explanation in terms of reasons or (...) a rationale for particular decisions in individual cases, some commentators regard ceding medical decision‐making to black box systems as contravening the profound moral responsibilities of clinicians. I argue, however, that opaque decisions are more common in medicine than critics realize. Moreover, as Aristotle noted over two millennia ago, when our knowledge of causal systems is incomplete and precarious—as it often is in medicine—the ability to explain how results are produced can be less important than the ability to produce such results and empirically verify their accuracy. (shrink)

The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated (...) theorems in metamathematics including those of Gödel and Church-Rosser. The computer verification using the Boyer-Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanization of metamathematics itself has important implications for automated reasoning, because metatheorems can be applied as labor-saving devices to simplify proof construction. (shrink)

The article develops the conception that Leibniz has of organisms as machines of a particular type, differing from artificial machines because 1. all the parts of an organic machine are in turn composed by smaller machines and thus to infinity; and 2. the maintenance of the individual identity in living machines is provided by the fact that they have folds going to infinity which can unfold and fold back, thus allowing infinite transformations of the body. The author then discusses these (...) two theses. With respect to thesis 1 the question is how the idea that the artificial machines have parts which are not in their turn machines is compatible with the mechanistic worldview hold by Leibniz. With respect to thesis 2 the author emphasizes the fact that Leibniz's conception of the infinite convolution of the organic machines seems to anticipate several points in the mathematics of fractal curves. (shrink)

Machines were introduced as calculating devices to simulate operations carried out by human computors following fixed algorithms: this is true for the early mechanical calculators devised by Pascal and Leibniz, for the analytical engine built by Babbage, and the theoretical machines introduced by Turing. The distinguishing feature of the latter is their universality: They are claimed to be able to capture any algorithm whatsoever and, conversely, any procedure they can carry out is evidently algorithmic. The study of such "paper machines" (...) by mathematical means is the topic of our contribution. This is not only in accord with its usual understanding in computer science, but conceptually and historically right, when we recall the purpose for which Turing machines were introduced. (shrink)

Following a boom in investment and overinflated expectations in the 1980s, artificial intelligence entered a period of retrenchment known as the “AI winter.” With advances in the field of machine learning and the availability of large datasets for training various types of artificial neural networks, AI is in another cycle of halcyon days. Although medicine is particularly recalcitrant to change, applications of AI in health care have professionals in fields like radiology worried about the future of their careers and have (...) the public tittering about the prospect of soulless machines making life‐and‐death decisions. Medicine thus appears to be at an inflection point—a kind of Groundhog Day on which either AI will bring a springtime of improved diagnostic and predictive practices or the shadow of public and professional fear will lead to six more metaphorical weeks of winter in medical AI. (shrink)

As robots increasingly become part of our everyday lives, questions arise with regards to how to approach them and how to understand them in social contexts. The Western history of human–robot relations revolves around competition and control, which restricts our ability to relate to machines in other ways. In this study, we take a relational approach to explore different manners of socializing with robots, especially those that exceed an instrumental approach. The nonhuman subjects of this study are built to explore (...) non-purposeful behavior, in an attempt to break away from the assumptions of utility that underlie the hegemonic human–machine interactions. This breakaway is accompanied by ‘learning to be attuned’ on the side of the human subjects, which is facilitated by continuous relations at the level of everyday life. Our paper highlights this ground for the emergence of meanings and questions that could not be subsumed by frameworks of control and domination. The research-creation project Machine Ménagerie serves as a case study for these ideas, demonstrating a relational approach in which the designer and the machines co-constitute each other through sustained interactions, becoming attuned to one another through the performance of research. Machine Ménagerie attempts to produce affective and playful—if not unruly—nonhuman entities that invite interaction yet have no intention of serving human social or physical needs. We diverge from other social robotics research by creating machines that do not attempt to mimic human social behaviours. (shrink)

The rapid pace of development over the last few decades in the domain of machine learning mirrors the advances made in the field of quantum computing. It is natural to ask whether the conventional machine learning algorithms could be optimized using the present-day noisy intermediate-scale quantum technology. There are certain computational limitations while training a machine learning model on a classical computer. Using quantum computation, it is possible to surpass these limitations and carry out such calculations in an optimized manner. (...) This study illustrates the working of the quantum support vector machine classification model which guarantees an exponential speed-up over its typical alternatives. This research uses the quantum SVM model to solve the classification task of a malignant breast cancer diagnosis. This study also demonstrates a comparative analysis of distinct forms of SVM algorithms concerning their time complexity and performances on standard evaluation metrics, namely accuracy, precision, recall, and F1-score, to exemplify the supremacy of quantum SVM over its conventional variants. (shrink)

The famous philosopher Leibniz (1646-1716) was also active in the (cultural) politics of his time. His interest in forming scientific societies never waned and his efforts led to the founding of the Berlin Academy of Sciences. He also played a part in the founding of the Dresden Academy of Science and the St. Petersburg Academy of Science. Though Leibniz's models for the scientific society were the Royal Society and the Royal Science Academy of France, his pansophistic (...) vision of scientific cooperation sometimes took on utopian dimensions. In this paper, I will present Leibniz's ideas of scientific cooperation as a kind of religious activity and discuss his various schemes for the founding of such scientific societies. (shrink)

I cannot here withhold the statement that optimism, where it is not merely the thoughtless talk of those who harbor nothing but words under their shallow foreheads, seems to me to be not merely an absurd, but also a really wicked, way of thinking, a bitter mockery of the unspeakable sufferings of mankind.1I am now, and always shall be, in that very sense no optimist, but a maintainer of the sterner view that life is forever tragic. In so far as (...) Schopenhauer has sought to make this plain, I follow him unhesitatingly, and honor him for his mercilessness.2Josiah Royce’s lifelong battle with the pessimism of Arthur Schopenhauer supplies valuable insight into the development of one of the central concepts of his system... (shrink)

While today there is much discussion about the ethics of artificial intelligence, less work has been done on the philosophical nature of AI. Drawing on Bergson and Ricoeur, this paper proposes to use the concepts of time, process, and narrative to conceptualize AI and its normatively relevant impact on human lives and society. Distinguishing between a number of different ways in which AI and time are related, the paper explores what it means to understand AI as narrative, as process, (...) or as the emergent outcome of processes and narratives. It pays particular attention to what it calls the “narrator” and “time machine” roles of AI and the normative implications of these roles. It argues that AI processes and narratives shape our time and link past, present, and future in particular ways that are ethically and politically significant. (shrink)

A great deal of effort has been, and continues to be, devoted to developing consciousness artificially (A small selection of the many authors writing in this area includes: Cotterill (J Conscious Stud 2:290–311, 1995 , 1998 ), Haikonen ( 2003 ), Aleksander and Dunmall (J Conscious Stud 10:7–18, 2003 ), Sloman ( 2004 , 2005 ), Aleksander ( 2005 ), Holland and Knight ( 2006 ), and Chella and Manzotti ( 2007 )), and yet a similar amount of effort has (...) gone in to demonstrating the infeasibility of the whole enterprise (Most notably: Dreyfus ( 1972/1979 , 1992 , 1998 ), Searle ( 1980 ), Harnad (J Conscious Stud 10:67–75, 2003 ), and Sternberg ( 2007 ), but there are a great many others). My concern in this paper is to steer some navigable channel between the two positions, laying out the necessary pre-conditions for consciousness in an artificial system, and concentrating on what needs to hold for the system to perform as a human being or other phenomenally conscious agent in an intersubjectively-demanding social and moral environment. By adopting a thick notion of embodiment—one that is bound up with the concepts of the lived body and autopoiesis (Maturana and Varela 1980 ; Varela et al. 2003 ; and Ziemke 2003 , 2007a , J Conscious Stud 14(7):167–179, 2007b )—I will argue that machine phenomenology is only possible within an embodied distributed system that possesses a richly affective musculature and a nervous system such that it can, through action and repetition, develop its tactile-kinaesthetic memory, individual kinaesthetic melodies pertaining to habitual practices, and an anticipatory enactive kinaesthetic imagination. Without these capacities the system would remain unconscious, unaware of itself embodied within a world. Finally, and following on from Damasio’s ( 1991 , 1994 , 1999 , 2003 ) claims for the necessity of pre-reflective conscious, emotional, bodily responses for the development of an organism’s core and extended consciousness, I will argue that without these capacities any agent would be incapable of developing the sorts of somatic markers or saliency tags that enable affective reactions, and which are indispensable for effective decision-making and subsequent survival. My position, as presented here, remains agnostic about whether or not the creation of artificial consciousness is an attainable goal. (shrink)

The high rates of attrition that occur in drug development are widely regarded as problematic, but the failure of well-designed studies benefits both researchers and healthcare systems by, for example, generating evidence about disease theories and demonstrating the limits of proven drugs. A wider recognition of these benefits will help the biomedical research enterprise to take full advantage of all the information generated during the drug development process.

As scientists start to adopt machine learning (ML) as one research tool, the security of ML and the knowledge generated become a concern. In this paper, I explain how supervised ML can be improved with better data ontology, or the way we make categories and turn information into data. More specifically, we should design data ontology in such a way that is consistent with the knowledge that we have about the target phenomenon so that such ontology can help us make (...) the inductive leap. I do so by thinking through a thought experiment, Goodman’s New Riddle of Induction (Fact, fiction, and forecast, Harvard University Press, 1955). Goodman’s riddle helps flesh out three problems of induction: (1) the problem of equal goodies, that there are often too many equally good inductive results given the same data; (2) the problem of diverging performance, that these equally good results can give opposite predictions in the future; and (3) the problem of mediocrity, that when averaged across all equally possible datasets and tasks, no inductive algorithm outperforms any other. I show that all these three problems are manifested as real obstacles in ML practice, namely, the Rashomon effect (Breiman in Stat Sci 16(3):199–231, 2001), the problem of underspecification (D’Amour et al. in J Mach Learn Res, 2020, https://doi.org/10.48550/arXiv.2011.03395 ), and the No Free Lunch theorem (Wolpert in Neural Comput 8(7):1341–90, 1996, https://doi.org/10.1162/neco.1996.8.7.1341 ). Lastly, I argue that proper data ontology can help mitigate these problems and I demonstrate how using concrete examples from climate science. This research highlights the links between philosophers’ discussions of induction and implications in ML practice. (shrink)

Rapid developments in Artificial Intelligence are leading to an increasing human reliance on machine decision making. Even in collaborative efforts with Decision Support Systems (DSSs), where a human expert is expected to make the final decisions, it can be hard to keep the expert actively involved throughout the decision process. DSSs suggest their own solutions and thus invite passive decision making. To keep humans actively ‘on’ the decision-making loop and counter overreliance on machines, we propose a ‘reflection machine’ (RM). This (...) system asks users questions about their decision strategy and thereby prompts them to evaluate their own decisions critically. We discuss what forms RMs can take and present a proof-of-concept implementation of a RM that can produce feedback on users’ decisions in the medical and law domains. We show that the prototype requires very little domain knowledge to create reasonably intelligent critiquing questions. With this prototype, we demonstrate the technical feasibility to develop RMs and hope to pave the way for future research into their effectiveness and value. (shrink)

SummaryJ.R. Lucas has argued that it follows from Godel's Theorem that the mind cannot be a machine or represented by any formal system. Although this notorious argument against the mechanism thesis has received considerable attention in the literature, it has not been decisively rebutted, even though mechanism is generally thought to be the only plausible view of the mind. In this paper I offer an analysis of Lucas's argument which shows that it derives its persuasiveness from a subtle confusion. In (...) particular, I examine Benacerraf's reconstruction of Lucas's argument, thereby permitting a precise re‐statement of my own analysis and reinforcement of my conclusions regarding Lucas's mistake. This examination of Benacerraf's reconstruction permits us to evaluate certain radical and highly paradoxical conclusions concerning empirical psychology which Benacerraf draws, and this, in turn, permits us to consider certain suggestive implications for the mind which may, after all, follow from Godel's Theorem.RésuméJ.R. Lucas a dérivé du théorème de Gödel la conclusion que ľesprit ne peut pas être une machine ou être représenté par un systeme formel. Bien que cet argument célèbre contre la thése du mécanisme ait éveillé un interêt considérable dans la littérature, il ňa pas été réfuté de façon décisive, même si ľopinion générate prévaut que le mécanisme est la seule conception possible de ľesprit. Dans cet article, je propose une analyse du raisonnement de Lucas qui montre que sa force persuasive provient ?on;une subtile confusion. En particulier, j'examine la reconstruction, par Benacerraf, de la démonstration de Lucas, ce qui me pérmet de préciser ma propre analyse et de confirmer mes conclusions quant àľerreur de Lucas. Cet examen de la reconstruction de Benacerraf nous fournit ľoccasion de discuter certaines conclusions radicales et hautement paradoxals qu'il en tire concernant la psychologie expérimentale et nous conduit à certaines implications suggestives concernant ľesprit et qui pourraient finalement decouler du théorème de Gödel.ZusammenfassungJ.R. Lucas hat argumentiert, aus Gödels Theorem mUsse folgen, dass der menschliche Geist keine Maschine sein oder durch ein formales System dargestellt werden kann. Obschon dieses bekannte Argument gegen die mechanistische These in der Literatur beträchtliche Beachtung gefunden hat, ist es bisher noch nie eigentlich widerlegt worden, obgleich eine mechanistische Betrachtungsweise allgemein als die einzig plausible gilt. In dieser Arbeit biete ich eine Analyse von Lucas Argument an, die zeigen soil, dass seine Überzeugungskraft auf einer subtilen Konfusion beruht. Im besonderen untersuche ich Benacerrafs Rekonstruktion des Arguments, was rnirerlaubt, meine eigene Analyse in genauer Weise zu formulieren und meine Schlussfolgerung bezüglich des von Lucas gemachten Fehlers zu erharten. Diese Untersuchung von Benacerrafs Rekonstruktion ermöglicht es, gewisse radikale und im höchsten Grad paradoxe Schlüsse, die Benacerraf hinsichtlich der empirischen Psychologie zieht, zu beurteilen. Das wiederum erlaubt uns, gewisse den Geist betreffende Implikationen zu erörtern, die tatsächlich aus Gödels Theorem folgen kUnnten. (shrink)

There has been an increased focus within the AI ethics literature on questions of power, reflected in the ideal of accountability supported by many Responsible AI guidelines. While this recent debate points towards the power asymmetry between those who shape AI systems and those affected by them, the literature lacks normative grounding and misses conceptual clarity on how these power dynamics take shape. In this paper, I develop a workable conceptualization of said power dynamics according to Cristiano Castelfranchi’s conceptual framework (...) of power and argue that end-users depend on a system’s developers and users, because end-users rely on these systems to satisfy their goals, constituting a power asymmetry between developers, users and end-users. I ground my analysis in the neo-republican moral wrong of domination, drawing attention to legitimacy concerns of the power-dependence relation following from the current lack of accountability mechanisms. I illustrate my claims on the basis of a risk-prediction machine learning system, and propose institutional and project-specific solutions to mitigate domination. (shrink)

In Weaving the Web, Berners-Lee defines Social Machines as biotechnologically hybrid Web-processes on the basis of which, “high-level activities, which have occurred just within one human’s brain, will occur among even larger more interconnected groups of people acting as if the shared a larger intuitive brain”. The analysis and design of Social Machines has already started attracting considerable attention both within the industry and academia. Web science, however, is still missing a clear definition of what a Social Machine is, which (...) has in turn resulted in several calls for a “philosophical engineering” ; Halpin et al. 2010). This paper is a first attempt to respond to this call, by combining contemporary philosophy of mind and cognitive science with epistemology. The idea of philosophical engineering implies that a sufficiently good conception of Social Machines should be of both theoretical and practical advantage. To demonstrate how the present approach can satisfy both objectives it will be used in order to address one of Wikipedia’s most worrying concerns—i.e., the current and ongoing decline in the number of its active contributors. (shrink)

Researchers engaged in studies about ‘hidden social groups’ are likely to face several ethical challenges. Using a study with undocumented Chinese migrants in the UK, challenges involved in obtaining approval by a university research ethics committee are explored. General guidance about how to resolve potential research ethics issues, with particular reference to ‘hidden social groups’, prior to submission to a research ethics committee is presented.

Researchers engaged in studies about ‘hidden social groups’ are likely to face several ethical challenges. Using a study with undocumented Chinese migrants in the UK, challenges involved in obtaining approval by a university research ethics committee are explored. General guidance about how to resolve potential research ethics issues, with particular reference to ‘hidden social groups’, prior to submission to a research ethics committee is presented.

This manuscript is intended as a technical supplement to Rosenstock and O'Connor. Calculations are presented for the expected return for strategic players of an iterated prisoner's dilemma which includes guilt-prone grim trigger players, who apologize when they accidentally defect, as well as fake apologizers who in fact act as defectors. See Rosenstock and O'Connor for a discussion of how the results presented here can be interpreted, using ESS analysis and exploring basins of attraction under the replicator dynamics, to help understand (...) the conditions under which guilt can evolve. I hope for this note to both make it easier for others to understand and build on those results, and to demonstrate how expected returns can be calculated for various strategies in various games. (shrink)

As is well known, any preorder R on a set U induces an Alexandrov topology on U. In some interesting cases related to data mining an Alexandrov topology can be transformed into different types of logico-algebraic models. In some cases, (pre)topological operators provided by Pointless Topology may define a topological space on U even if R is not a preorder. If this is the case, then we call R a crypto-preorder. The paper studies the conditions under which a relation R (...) is a crypto-preorder and how to transform a crypto-preorder into a proper preorder. (shrink)

Source: "This book addresses the fundamentals of machine ethics. It discusses abilities required for ethical machine reasoning and the programming features that enable them. It connects ethics, psychological ethical processes, and machine implemented procedures. From a technical point of view, the book uses logic programming and evolutionary game theory to model and link the individual and collective moral realms. It also reports on the results of experiments performed using several model implementations. Opening specific and promising inroads into the terra incognita (...) of machine ethics, the authors define here new tools and describe a variety of program-tested moral applications and implemented systems. In addition, they provide alternative readings paths, allowing readers to best focus on their specific interests and to explore the concepts at different levels of detail. Mainly written for researchers in cognitive science, artificial intelligence, robotics, philosophy of technology and engineering of ethics, the book will also be of general interest to other academics, undergraduates in search of research topics, science journalists as well as science and society forums, legislators and military organizations concerned with machine ethics.". (shrink)

Recent claims that artificial intelligence (AI) systems demonstrate “emergent abilities” have fueled excitement but also fear grounded in the prospect that such systems may enable a wider range of parties to make unprecedented advances in areas that include the development of chemical or biological weapons. Ambiguity surrounding the term “emergent abilities” has added avoidable uncertainty to a topic that has the potential to destabilize the strategic landscape, including the perception of key parties about the viability of nonproliferation efforts. To avert (...) these problems in the future, scientists, developers, policymakers, and other parties should take credible steps to strengthen the health of the scientific ecosystem around AI. (shrink)

Recent claims that artificial intelligence (AI) systems demonstrate “emergent abilities” have fueled excitement but also fear grounded in the prospect that such systems may enable a wider range of parties to make unprecedented advances in areas that include the development of chemical or biological weapons. Ambiguity surrounding the term “emergent abilities” has added avoidable uncertainty to a topic that has the potential to destabilize the strategic landscape, including the perception of key parties about the viability of nonproliferation efforts. To avert (...) these problems in the future, scientists, developers, policymakers, and other parties should take cred- ible steps to strengthen the health of the scientific ecosystem around AI. (shrink)

Among the categories of the telecom and internet frauds, the online romance scam is of particular concern for its sharp rise of victim numbers and the huge amount of cost. A social semiotic approach could be used to investigate the victim identity of the online romance scam from the aspects of the (re)construction and interpretation of discursive practices. The range of papers in this section shows that the study of text, context and the way that people use semiotic resources to (...) produce communication, to create and manage events and to interpret them. (shrink)

Originally published in 1971, this volume examines the relationship between the history and sociology of education. History does not stand in isolation, but has much to draw from and contribute to, other disciplines. The methods and concepts of sociology, in particular, are exerting increasing influence on historical studies, especially the history of education. Since education is considered to be part of the social system, historians and sociologists have come to survey similar fields; yet each discipline appears to have its own (...) aims and methodology. (shrink)

Offers an entertaining series of historical accounts taken from the nineteenth century to highlight a main theme: the nature of technological change, the fission brought about in society by such change, and society's reaction to that change.

For this new edition, Roger Ariew has adapted Samuel Clarke's edition of 1717, modernizing it to reflect contemporary English usage. Ariew's introduction places the correspondence in historical context and discusses the vibrant philosophical climate of the times. Appendices provide those selections from the works of Newton that Clarke frequently refers to in the correspondence. A bibliography is also included.

Some of the required characteristics for a true machine theory of mind (MToM) include the ability to (1) reproduce the full diversity of human thought and behavior, (2) develop a personalized model of an individual with very limited data, and (3) provide an explanation for behavioral predictions grounded in the cognitive processes of the individual. We propose that a certain class of cognitive models provide an approach that is well suited to meeting those requirements. Being grounded in a mechanistic framework (...) like a cognitive architecture such as ACT-R naturally fulfills the third requirement by mapping behavior to cognitive mechanisms. Exploiting a modeling paradigm such as instance-based learning accounts for the first requirement by reflecting variations in individual experience into a diversity of behavior. Mechanisms such as knowledge tracing and model tracing allow a specific run of the cognitive model to be aligned with a given individual behavior trace, fulfilling the second requirement. We illustrate these principles with a cognitive model of decision-making in a search and rescue task in the Minecraft simulation environment. We demonstrate that cognitive models personalized to individual human players can provide the MToM capability to optimize artificial intelligence agents by diagnosing the underlying causes of observed human behavior, projecting the future effects of potential interventions, and managing the adaptive process of shaping human behavior. Examples of the inputs provided by such analytic cognitive agents include predictions of cognitive load, probability of error, estimates of player self-efficacy, and trust calibration. Finally, we discuss implications for future research and applications to collective human–machine intelligence. (shrink)

Autonomous mechanisms have been proposed to regulate certain aspects of society and are already being used to regulate business organisations. We take seriously recent proposals for algorithmic regulation of society, and we identify the existing technologies that can be used to implement them, most of them originally introduced in business contexts. We build on the notion of ‘social machine’ and we connect it to various ongoing trends and ideas, including crowdsourced task-work, social compiler, mechanism design, reputation management systems, (...) and social scoring. After showing how all the building blocks of algorithmic regulation are already well in place, we discuss the possible implications for human autonomy and social order. The main contribution of this paper is to identify convergent social and technical trends that are leading towards social regulation by algorithms, and to discuss the possible social, political, and ethical consequences of taking this path. (shrink)

This chapter argues that machine ethics has a deontic bias narrowly focusing on the concerns of social morality. This bias distorts the machine morality debate by promoting an impoverished view of moral theory, resulting in three issues. First, it weakens any claims arguing for the possibility of machine morality – the idea that machines can be moral subjects, not just instrumental objects. Second, it overlooks potentially rewarding lines of inquiry for future research. Third, as an interdisciplinary field, it does moral (...) philosophy a disservice by portraying moral theory in an oversimplified light. The example of supererogation is used to demonstrate this point. While supererogatory acts are both familiar and undeniably moral in nature, the idea of machine supererogation (that machines could go beyond the call of duty) is conceptually problematic. This exemplifies the problem with assuming human moral concepts can accommodate artificial intelligence without substantial revision. (shrink)

The idea that there is a fundamental difference in value between persons and things, and that respecting this difference is an important moral requirement, has strong intuitive appeal. Kantian ethics is unique in placing this requirement at the center of a moral system and in explicating the conditions for complying with it. Unlike challenges to Kantian ethics that focus on tragic cases that pit respect for one person against respect for another, this paper focuses on the question of how we (...) can respect the value distinction between persons and things under conditions of uncertainty. After exploring why decision making under uncertainty is a neglected topic among Kantians and demonstrating how uncertainty challenges our ability to comply with this norm, we propose a notion of morally insignificant risk within a framework that allows agents to navigate real-world decisions involving material benefit and some risk to dignity without violating the Kantian’s core commitments. We conclude by exploring some of the challenges facing this approach. (shrink)

Leibniz's political and ethical writing long has been neglected, and with this new edition Professor Riley makes available the most representative pieces from Leibniz's political theory. This new edition, specially prepared for this series, is the first to make a considerable number of Leibniz's writings available in English, and includes three previously unpublished manuscripts, a selection of political letters, an introduction, notes, and a critical biography.

The present paper shows how statistical learning theory and machine learning models can be used to enhance understanding of AI-related epistemological issues regarding inductive reasoning and reliability of generalisations. Towards this aim, the paper proceeds as follows. First, it expounds Price’s dual image of representation in terms of the notions of e-representations and i-representations that constitute subject naturalism. For Price, this is not a strictly anti-representationalist position but rather a dualist one (e- and i-representations). Second, the paper links this debate (...) with machine learning in terms of statistical learning theory becoming more viable epistemological tool when it abandons the perspective of object naturalism. The paper then argues that machine learning grounds a form of knowing that can be understood in terms of e- and i-representation learning. Third, this synthesis shows a way of analysing inductive reasoning in terms of reliability of generalisations stemming from a structure of e- and i-representations. In the age of Artificial Intelligence, connecting Price’s dual view of representation with Deep Learning provides an epistemological way forward and even perhaps an approach to how knowing is possible. (shrink)

I will review the main problems concerning commonsense reasoning in machines and I will present resent two different applications - namaly: the Dual PECCS linguistic categorization system and the TCL reasoning framework that have been developed to address, respectively, the problem of typicality effects and the one of commonsense compositionality, in a way that is integrated or compliant with different cognitive architectures thus extending their knowledge processing capabilities In doing so I will show how such aspects are better dealt with (...) at different levels of representation and will discuss how the adoption of a cognitively inspired approach be useful in the design and implementation of the next generation AI systems mastering commonsense. (shrink)

Many debates about consciousness appear to be endless, in part because of conceptual confusions preventing clarity as to what the issues are and what does or does not count as evidence. This makes it hard to decide what should go into a machine if it is to be described as 'conscious'. Thus, triumphant demonstrations by some AI developers may be regarded by others as proving nothing of interest because the system does not satisfy *their* definitions or requirements specifications.

Page 116 According to Robert Sleigh Jr., “The opening remarks of DM.18 make it clear that Leibniz took the results of DM.17 as either establishing, or at least going a long way toward establishing, that force is not identifiable with any mode characterizable terms of size, shape, and motion.”†2 Sleigh finds this puzzling and suggests that other commentators have generally been insufficiently perplexed by the bearing that the DM.17 has on the metaphysical issue. He notes that §17 of the Discourse (...) is a presentation of “the argument of the Brevis demonstratio to the effect that Descartes erred in measuring force in terms of mass and velocity, rather than in terms of mass and the square of velocity,”†3 and observes that, given this, it is initially plausible to think that Leibniz ought to have concluded the very opposite, for “if force were measurable in terms of mass and the square of velocity†4—then force would be characterizable in terms of size (mass) and motion.”†5.. (shrink)

Originally published in 1972, this book is concerned with education as part of a larger social history. Chapters include: The roots of Anglican supremacy in English education The Board schools of London The use of ecclesiastical records for the history of education Topographical resources: private and secondary education from the sixteenth to the twentieth century.

Inventive Machine project is the matter of discussion. The project aims to develop a family of AI systems for intelligent support of all stages of engineering design.Peculiarities of the IM project:deep and comprehensive knowledge base — the theory of inventive problem solving (TIPS)solving complex problems at the level of inventionsapplication in any area of engineeringstructural prediction of engineering system developmentThe systems of the second generation are described in detail.

The tape is divided into squares, each square bearing a single symbol—'0' or '1', for example. This tape is the machine's general-purpose storage medium: the machine is set in motion with its input inscribed on the tape, output is written onto the tape by the head, and the tape serves as a short-term working memory for the results of intermediate steps of the computation. The program governing the particular computation that the machine is to perform is also stored on the (...) tape. A small, fixed program that is 'hard-wired' into the head enables the head to read and execute the instructions of whatever program is on the tape. The machine's atomic operations are very simple—for example, 'move left one square', 'move right one square', 'identify the symbol currently beneath the head', 'write 1 on the square that is beneath the head', and 'write 0 on the square that is beneath the head'. Complexity of operation is achieved by the chaining together of large numbers of these simple atoms. Any universal Turing machine can be programmed to carry out any calculation that can be performed by a human mathematician working with paper and pencil in accordance with some algorithmic method. This is what is meant by calling these machines 'universal'. (shrink)

Typically, fair machine learning research focuses on a single decision maker and assumes that the underlying population is stationary. However, many of the critical domains motivating this work are characterized by competitive marketplaces with many decision makers. Realistically, we might expect only a subset of them to adopt any non-compulsory fairness-conscious policy, a situation that political philosophers call partial compliance. This possibility raises important questions: how does partial compliance and the consequent strategic behavior of decision subjects affect the allocation outcomes? (...) If k% of employers were to voluntarily adopt a fairness-promoting intervention, should we expect k% progress (in aggregate) towards the benefits of universal adoption, or will the dynamics of partial compliance wash out the hoped-for benefits? How might adopting a global (versus local) perspective impact the conclusions of an auditor? In this paper, we propose a simple model of an employment market, leveraging simulation as a tool to explore the impact of both interaction effects and incentive effects on outcomes and auditing metrics. Our key findings are that at equilibrium: (1) partial compliance by k% of employers can result in far less than proportional (k%) progress towards the full compliance outcomes; (2) the gap is more severe when fair employers match global (vs local) statistics; (3) choices of local vs global statistics can paint dramatically different pictures of the performance vis-a-vis fairness desiderata of compliant versus non-compliant employers; (4) partial compliance based on local parity measures can induce extreme segregation. Finally, we discuss implications for auditors and insights concerning the design of regulatory frameworks. (shrink)