Mechanism design is an analytical framework for thinking clearly and carefully about what exactly a given institution can achieve when the information necessary to make decisions is dispersed and privately held. This analysis provides an account of the underlying mathematics of mechanism design based on linear programming. Three advantages characterize the approach. The first is simplicity: arguments based on linear programming are both elementary and transparent. The second is unity: the machinery of linear programming provides a (...) way to unify results from disparate areas of mechanism design. The third is reach: the technique offers the ability to solve problems that appear to be beyond solutions offered by traditional methods. No claim is made that the approach advocated should supplant traditional mathematical machinery. Rather, the approach represents an addition to the tools of the economic theorist who proposes to understand economic phenomena through the lens of mechanism design. (shrink)

Mechanism design is a form of optimization developed in economic theory. It casts economists as institutional engineers, choosing an outcome and then arranging a set of market rules and conditions to achieve it. The toolkit from mechanism design is widely used in economics, policymaking, and now in building and managing online environments. Mechanism design has become one of the most pervasive yet inconspicuous influences on the digital mediation of social life. Its optimizing schemes structure (...) online advertising markets and other multi-sided platform businesses. Whatever normative rationales mechanism design might draw on in its economic origins, as its influence has grown and its applications have become more computational, we suggest those justifications for using mechanism design to orchestrate and optimize human interaction are losing traction. In this article, we ask what ideological work mechanism design is doing in economics, computer science, and its applications to the governance of digital platforms. Observing mechanism design in action in algorithmic environments, we argue it has become a tool for producing information domination, distributing social costs in ways that benefit designers, and controlling and coordinating participants in multi-sided platforms. (shrink)

The authors make a convincing case that behavioral scientists have mistakenly focused on improving individual decision making and in so doing have deflected attention from necessary changes in the rules of the game – societal institutions and policies – that shape individual decisions. To address this problem a behavioral science of public policy requires rethinking fundamental economic concepts including preferences and incentives.

This paper investigates the relationship between economic theory and theories of justice in the design of public policy. In particular, it focuses on the role of mechanism design in policy contexts beset with issues of social, racial and distributive justice. Economists’ involvement in redesigning Boston’s algorithm for allocating K-12 students to public schools serves as an instructive case study. The paper draws on the distinction betweenideal theoryandnon-ideal theoryin political philosophy and the concept ofperformativityin economic sociology to argue (...) that mechanism design can enact elaborate ideal theories of justice. Anormative gapthus emerges between the goals of the policymakers and the objectives of economic designs. As a result, mechanism design may obstruct stakeholders’ avenues for normative criticism of public policies, and serve as a technology of depoliticization. (shrink)

This article connects recent work in formal epistemology to work in economics and computer science. Analysing the Dutch Book Arguments, Epistemic Utility Theory and Objective Bayesian Epistemology we discover that formal epistemologists employ the same argument structure as economists and computer scientists. Since similar approaches often have similar problems and have shared solutions, opportunities for cross-fertilisation abound.

In the recent literature on explanation in biology, increasing attention is being paid to the connection between design explanation and mechanistic explanation, viz. the role of design principles and heuristics for mechanism discovery and mechanistic explanation. In this paper we extend the connection between design explanation and mechanism discovery by prizing apart two different types of design explanation and by elaborating novel heuristics that one specific type offers for mechanism discovery across species. We (...) illustrate our claims in terms of two lines of biological research on the biological advantages of organismal traits, one on the eye-size of giant squid, the other on foraging habits of specific bat species. We argue that this research illustrates useful heuristics for mechanism discovery across species, viz. reasoning strategies to infer likely mechanisms for a certain biological role based on assessments of the environmental conditions in which the role is performed efficiently and less or in-efficiently. We bring out the novel features of our analysis in terms of a comparison with mechanistic approaches to mechanism discovery, amongst which graph-theoretical ones, and by comparing the different types of design explanation and the discovery heuristics they support. (shrink)

In the recent literature on explanation in biology, increasing attention is being paid to the connection between design explanation and mechanistic explanation, viz. the role of design principles and heuristics for mechanism discovery and mechanistic explanation. In this paper we extend the connection between design explanation and mechanism discovery by prizing apart two different types of design explanation and by elaborating novel heuristics that one specific type offers for mechanism discovery across species. We (...) illustrate our claims in terms of two lines of biological research on the biological advantages of organismal traits, one on the eye-size of giant squid, the other on foraging habits of specific bat species. We argue that this research illustrates useful heuristics for mechanism discovery across species, viz. reasoning strategies to infer likely mechanisms for a certain biological role based on assessments of the environmental conditions in which the role is performed efficiently and less or in-efficiently. We bring out the novel features of our analysis in terms of a comparison with mechanistic approaches to mechanism discovery, amongst which graph-theoretical ones, and by comparing the different types of design explanation and the discovery heuristics they support. (shrink)

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on the (...) one hand, all mechanisms are more or less general, and on the other, many design principles are causal systems. (shrink)

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard (2010) contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on (...) the one hand, all mechanisms are more or less general (or abstract), and on the other, many (if not all) design principles are causal systems. (shrink)

I argue that advancing “second-generation” or mechanistic causal knowledge of individual outcomes requires a comprehensive research programme that uses a variety of different methods in addition to the ones described in the paper under discussion. I also highlight that environment-focused approaches can be as instrumental in identifying potential phenotypic causes as gene-focused approaches.

Poverty is a challenge leading to food insecurity in people's minds. This article discusses food governance as a psychological mechanism to facilitate the sense of wellness in people's minds in the context of tourism poverty alleviation. Mainly, we argue that, when a government is implementing tourism poverty alleviation, not only are economic efforts, but also positive psychological feelings are required. We, thus, argue that sound food governance may increase the sense of wellness in the minds of people as food (...) consumers by increasing food safety and security. This perspective paper contributes by explicating the influences of macrolevel governance design of safer and more secure food systems on people's psychological wellness, especially against the background of tourism poverty alleviation in developing countries. (shrink)

Santiago Ramón y Cajal, the primary architect of the neuron doctrine and the law of dynamic polarization, is considered to be the founder of modern neuroscience. At the same time, many philosophers, historians, and neuroscientists agree that modern neuroscience embodies a mechanistic perspective on the explanation of the nervous system. In this paper, I review the extant mechanistic interpretation of Cajal’s contribution to modern neuroscience. Then, I argue that the extant mechanistic interpretation fails to capture the explanatory import of Cajal’s (...) law of dynamic polarization. My claim is that the definitive formulation of Cajal’s law of dynamic polarization, despite its mechanistic inaccuracies, embodies a non-mechanistic pattern of reasoning (i.e., design explanation) that is an integral component of modern neuroscience. (shrink)

I hypothesize here that the ability of probiotics to synthesize neuroactive compounds provides a unifying microbial endocrinology‐based mechanism to explain the hitherto incompletely understood action of commensal microbiota that affect the host's gastrointestinal and psychological health. Once ingested, probiotics enter an interactive environment encompassing microbiological, immunological, and neurophysiological components. By utilizing a trans‐disciplinary framework known as microbial endocrinology, mechanisms that would otherwise not be considered become apparent since any candidate would need to be shared among all three components. The (...) range of neurochemicals produced by probiotics includes neurochemicals for which receptor‐based targets on immune and neuronal elements (intestinal and extra‐intestinal) have been well characterized. Production of neurochemicals by probiotics therefore allows for their consideration as delivery vehicles for neuroactive compounds. This unifying microbial endocrinology‐based hypothesis, which may facilitate the selection and design of probiotics for clinical use, also highlights the largely unrecognized role of neuroscience in understanding how microbes may influence health.Editor's suggested further reading in BioEssays Harvesting the biological potential of the human gut microbiome Abstract. (shrink)

This paper presents a human-computer interaction model with a three layers learning mechanism in a pervasive environment. We begin with a discussion around a number of important issues related to human-computer interaction followed by a description of the architecture for a multi-agent cooperative design system for pervasive computing environment. We present our proposed three- layer HCI model and introduce the group formation algorithm, which is predicated on a dynamic sharing niche technology. Finally, we explore the cooperative reinforcement learning (...) and fusion algorithms; the paper closes with concluding observations and a summary of the principal work and contributions of this paper. (shrink)

The voluntary shift of responsibility from the producer to the consumer is one feature of self-design activities. Past research emphasizes the economic gains of such customer co-creation. However, the psychological mechanism underlying customer co-creation behavior is still not fully understood. Notably, the goal-driven self-congruence nature of customer co-creation is mostly ignored in the co-creation literature. The objective of this research is to firstly develop a conceptual understanding of how co-creation literature can be related to the self-congruence theory. Furthermore, (...) this study also extends the original self-congruence theory by arguing the differential role of actual and ideal self-congruence on the relationship between self-congruence and customers’ willingness to participate in the co-creation process. Two laboratory experiments were conducted to examine whether self-congruence plays a prominent role in motivating customers to participate in the self-design process. Specifically, both the actual self-congruence and ideal self-congruence are positively related to customers’ willingness to participate in the self-design process is hypothesized. Moreover, it is expected that product styles and different consumption situations may strengthen the relationship between actual/ideal self-congruence and customers’ willingness to participate in the self-design process. Theoretical and practical implications are also discussed. (shrink)

Jon Elster worries about the explanatory power of the social sciences. His main concern is that they have so few well-established laws. Elster develops an interesting substitute: a special kind of mechanism designed to fill the explanatory gap between laws and mere description. However, his mechanisms suffer from a characteristic problem that I will explore in this article. As our causal knowledge of a specific problem grows we might come to know too much to make use of an Elsterian (...) mechanism but still lack a law. We might then find ourselves in the paradoxical position of knowing more relevant causal truths about the phenomenon we are interested in than we did before, but being able to explain less. If this possibility is realized in social science settings, as I argue it might well be, Elster?s mechanistic account is threatened. Moreover, even if the possibility is rarely realized in that way, it raises, simply as a possibility, a conceptual problem with Elster?s mechanistic framework. (shrink)

This paper discusses a class of mechanistic explanations employed in engineering science where the activities and organization of nonstandard entities are cited as core factors responsible for failures. Given the use of mechanistic language by engineers and the manifestly mechanistic structure of these explanations, I consider several interpretations of these explanations within the new mechanical framework. I argue that these interpretations fail to solve several philosophical problems and propose an account of fictional mechanism explanations instead. According to this account, (...) fictional mechanism explanations provide descriptions of fictional mechanisms that enable the tracking of counterfactual dependencies of the physical system they model by capturing system constraints. Engineers use these models to learn about and understand properties of materials, to build computational simulations of their behaviour, and to design new materials. (shrink)

Mechanistic models in molecular systems biology are generally mathematical models of the action of networks of biochemical reactions, involving metabolism, signal transduction, and/or gene expression. They can be either simulated numerically or analyzed analytically. Systems biology integrates quantitative molecular data acquisition with mathematical models to design new experiments, discriminate between alternative mechanisms and explain the molecular basis of cellular properties. At the heart of this approach are mechanistic models of molecular networks. We focus on the articulation and development of (...) mechanistic models, identifying five constraints which guide the articulation of models in molecular systems biology. These constraints are not independent of one another, with the result that modeling becomes an iterative process. We illustrate the use of these constraints in the modeling of the mechanism for bistability in the lac operon. (shrink)

This paper is concerned with reasonings that purport to explain why certain organisms have certain traits by showing that their actual design is better than contrasting designs. Biologists call such reasonings 'functional explanations'. To avoid confusion with other uses of that phrase, I call them 'design explanations'. This paper discusses the structure of design explanations and how they contribute to scientific understanding. Design explanations are contrastive and often compare real organisms to hypothetical organisms that cannot possibly (...) exist. They are not causal but appeal to functional dependencies between an organism's different traits. These explanations point out that because an organism has certain traits, it cannot be alive if the trait to be explained were replaced by a specified alternative. They can be understood from a mechanistic point of view as revealing the constraints on what mechanisms can be alive. (shrink)

This paper critiques the new mechanistic explanatory program on grounds that, even when applied to the kinds of examples that it was originally designed to treat, it does not distinguish correct explanations from those that blunder. First, I offer a systematization of the explanatory account, one according to which explanations are mechanistic models that satisfy three desiderata: they must 1) represent causal relations, 2) describe the proper parts, and 3) depict the system at the right ‘level.’ Second, I argue that (...) even the most developed attempts to fulfill these desiderata fall short by failing to appropriately constrain explanatorily apt mechanistic models. -/- *This paper used to be called "The Emperor's New Mechanisms". (shrink)

It is argued that once biological systems reach a certain level of complexity, mechanistic explanations provide an inadequate account of many relevant phenomena. In this article, I evaluate such claims with respect to a representative programme in systems biological research: the study of regulatory networks within single-celled organisms. I argue that these networks are amenable to mechanistic philosophy without need to appeal to some alternate form of explanation. In particular, I claim that we can understand the mathematical modelling techniques of (...) systems biologists as part of a broader practice of constructing and evaluating mechanism schemas. This argument is elaborated by considering the case of bacterial chemotactic networks, where some research has been interpreted as explaining phenomena by means of abstract design principles. (shrink)

Sections 3.16 and 3.23 of Roger Penrose's Shadows of the mind (Oxford, Oxford University Press, 1994) contain a subtle and intriguing new argument against mechanism, the thesis that the human mind can be accurately modeled by a Turing machine. The argument, based on the incompleteness theorem, is designed to meet standard objections to the original Lucas-Penrose formulations. The new argument, however, seems to invoke an unrestricted truth predicate (and an unrestricted knowability predicate). If so, its premises are inconsistent. The (...) usual ways of restricting the predicates either invalidate Penrose's reasoning or require presuppositions that the mechanist can reject. (shrink)

Traditional mechanistic accounts of language processing derive almost entirely from the study of monologue. Yet, the most natural and basic form of language use is dialogue. As a result, these accounts may only offer limited theories of the mechanisms that underlie language processing in general. We propose a mechanistic account of dialogue, the interactive alignment account, and use it to derive a number of predictions about basic language processes. The account assumes that, in dialogue, the linguistic representations employed by the (...) interlocutors become aligned at many levels, as a result of a largely automatic process. This process greatly simplifies production and comprehension in dialogue. After considering the evidence for the interactive alignment model, we concentrate on three aspects of processing that follow from it. It makes use of a simple interactive inference mechanism, enables the development of local dialogue routines that greatly simplify language processing, and explains the origins of self-monitoring in production. We consider the need for a grammatical framework that is designed to deal with language in dialogue rather than monologue, and discuss a range of implications of the account. Key Words: common ground; dialogue; dialogue routines; language comprehension; language production; monitoring; perception-behavior link. (shrink)

Fresco and Primiero’s recent article, ‘Miscomputation’ , provides a useful framework with which to think about miscomputation, as well as an admirably broad taxonomy of different kinds of miscomputation. However, it also misconstrues the mechanistic approach to miscomputation, which I will argue should not recognise design errors as miscomputations per se. I argue that a computing mechanism, if it is functioning correctly in the physical sense, cannot miscompute on the basis of an error made by an external agent, (...) such as a programmer. This is partially acknowledged in the distinction that Fresco and Primiero make between errors of functioning and errors of design, but they go on to describe both as cases of miscomputation, which I will argue is a mistake, at least with regard to the analysis made by the mechanistic account. (shrink)

It is generally acknowledged by proponents of ‘new mechanism’ that mechanistic explanation involves adopting a perspective, but there is less agreement on how we should understand this perspective-taking or what its implications are for practising science. This paper examines the perspectival nature of mechanistic explanation through the lens of the ‘mechanistic stance’, which falls somewhere between Dennett’s more familiar physical and design stance. We argue this approach implies three distinct and significant ways in which mechanistic explanation can be (...) interpreted as perspectival: ‘phenomenon perspectivism’, ‘pattern perspectivism’ and ‘hierarchy perspectivism’. We evaluate the strength of the perspective-dependency implied by each of these, and along the way, discuss their significance for wider debates within the new mechanism literature, such as the nature of function attribution and an ontic vs epistemic understanding of explanation. (shrink)

Generalization from a case study is a perennial issue in the methodology of the social sciences. The case study is one of the most important research designs in many social scientific fields, but no shared understanding exists of the epistemic import of case studies. This article suggests that the idea of mechanism-based theorizing provides a fruitful basis for understanding how case studies contribute to a general understanding of social phenomena. This approach is illustrated with a re- construction of Espeland (...) and Sauder's case study of the effects of rankings on US legal education. On the basis of the reconstruction, it is argued that, at least with respect to sociology, the idea of mechanism-based theorizing captures many of the generalizable elements of case studies. (shrink)

We study a class of representation mechanisms, based on reports made by a random subset of agents, called representatives, in a collective choice problem with quasi-linear utilities. We do not assume the existence of a common prior probability describing the distribution of preference types. In addition, there is no benevolent planner. Decisions will be carried out by an individual who cannot be assumed impartial, a self-interested executive. These assumptions impose new constraints on Mechanism Design. A robust mechanism (...) is defined as maximizing expected welfare under a vague prior probability distribution, and over a set of mechanisms which is at the same time immune from opportunistic manipulations by the executive, and compatible with truthful revelation of preferences by representatives. Robust mechanisms are characterized and their existence is shown. Sampling Groves mechanisms are shown to be robust. (shrink)

This book gives an analysis of Hertz's posthumously published Principles of Mechanics in its philosophical, physical and mathematical context. In a period of heated debates about the true foundation of physical sciences, Hertz's book was conceived and highly regarded as an original and rigorous foundation for a mechanistic research program. Insisting that a law-like account of nature would require hypothetical unobservables, Hertz viewed physical theories as images of the world rather than the true design behind the phenomena. This paved (...) the way for the modern conception of a model. Rejecting the concept of force as a coherent basic notion of physics he built his mechanics on hidden masses and rigid connections, and formulated it as a new differential geometric language.Recently many philosophers have studied Hertz's image theory and historians of physics have discussed his forceless mechanics. The present book shows how these aspects, as well as the hitherto overlooked mathematical aspects, form an integrated whole which is closely connected to the mechanistic world view of the time and which is a natural continuation of Hertz's earlier research on electromagnetism. Therefore it is also a case study of the strong interactions between philosophy, physics and mathematics. Moreover, the book presents an analysis of the genesis of many of the central elements of Hertz's mechanics based on his manuscripts and drafts. Hertz's research program was cut short by the advent of relativity theory but its image theory influenced many philosophers as well as some physicists and mathematicians and its geometric form had a lasting influence on advanced expositions of mechanics. (shrink)

A possible atomic mechanism underlying the Re- and Ru-induced strengthening effects on the n - n ' interface in Ni-based single-crystal superalloys has been investigated using the DMol3 molecular orbital package based on density functional theory. The calculation of bonding properties has been performed on a cluster designed to model Re and Ru strengthening effects within the interface. The stronger Re--Ni bonds are formed mainly as a result of d- hybridization, while the Ni--Ni bonding become weaker accompanying the Re (...) substitution. The vertical and horizontal bond orders for a local environmental cluster are proposed and developed for the description of the strengthening effect on the n - n ' interface, with larger bond order values achieving better effect. Results show that both Re and Ru significantly strengthen the interface. It is also shown that the strengthening effect of Re is better than that of Ru, and this is explained in terms of the charge transfer of electrons between orbitals of Ru atom according to Mulliken population analysis. The calculation results provide a basis for understanding the atomic mechanism of Re- and Ru-induced n - n ' interfacial strengthening. (shrink)

Causal mediation mechanisms are well supported by available experimental evidence and provide a practicable way to reductive physicalism. According to the causal mediation account of mechanistic explanation, descriptions as diverse as ‘black-box’ phenomena, mechanistic sketches and schemas mixing physically interpreted and operationalized biological, psychological and social variables, and detailed descriptions of mechanisms refer to the same causal structure circumscribed within the spatiotemporal boundaries of a replicable experimental setup. The coreference of coarser- and finer-grained descriptions of causal structures opens new possibilities (...) for testing the reductive physicalism conjecture. I discuss experimental designs supporting the causal mediation account and show how recent studies demonstrating the biological mediation of mind-mind causal processes can provide evidence for reductive physicalism. (shrink)

Optogenetics and DREADDs (Designer Receptors Exclusively Activated by Designer Drugs) are important research tools in recent neurobiology. These tools allow unprecedented control over activity in specifically targeted neurons in behaving animals. Two approaches in philosophy of neuroscience, mechanism and ruthless reductionism, provide explicit accounts of experiments and results using tools like these, but each offers a different picture about how levels of mechanisms relate. I argue here that the ruthless reductionist’s direct mind‐to‐cellular/molecular activities linkages “in a single bound” better (...) fits with both the experimental designs using these tools and some of the scientists’ own judgments about their results than does the mechanist’s “nested hierarchies of mechanisms‐within‐mechanisms.” So at least some important work in current neuroscience appears to be ruthlessly reductive. Mechanism may not correctly characterize all current work in neuroscience, despite its recent popularity. (shrink)

The mechanistic approach in philosophy of science contributes to our understanding of experimental design. Applying the mechanistic approach to experimentation in computing is beneficial for two reasons. It connects the methodology of experimentation in computing with the methodology of experimentation in established sciences, thereby strengthening the scientific reputability of computing and the quality of experimental design therein. Furthermore, it pinpoints the idiosyncrasies of experimentation in computing: computing deals closely with both natural and engineered mechanisms. Better understanding of the (...) idiosyncrasies, which manifest in terms of a nonstandard role for experimentation, are interesting both for computer scientists and for philosophers of science. Computer scientists can think more clearly about their experimental choices. The role of experimentation elucidated by computer science merits further study from philosophers of science generally, as it highlights a role for experimentation hitherto unrecognized by philosophers: demonstration that activities exist. (shrink)

Toleration is one of the fundamental principles that inform the design of a democratic and liberal society. Unfortunately, its adoption seems inconsistent with the adoption of paternalistically benevolent policies, which represent a valuable mechanism to improve individuals’ well-being. In this paper, I refer to this tension as the dilemma of toleration. The dilemma is not new. It arises when an agent A would like to be tolerant and respectful towards another agent B’s choices but, at the same time, (...) A is altruistically concerned that a particular course of action would harm, or at least not improve, B’s well-being, so A would also like to be helpful and seeks to ensure that B does not pursue such course of action, for B’s sake and even against B’s consent. In the article, I clarify the specific nature of the dilemma and show that several forms of paternalism, including those based on ethics by design and structural nudging, may not be suitable to resolve it. I then argue that one form of paternalism, based on pro-ethical design, can be compatible with toleration and hence with the respect for B’s choices, by operating only at the informational and not at the structural level of a choice architecture. This provides a successful resolution of the dilemma, showing that tolerant paternalism is not an oxymoron but a viable approach to the design of a democratic and liberal society. (shrink)

In order to study drag reduction mechanism in mud parts’ operation of surface machine tools for paddy field, this paper takes floating plate, the main working part of laminating mechanism, as the research object and systematically analyzes the mechanism of action of elevation angle, curved angle, penetrating angle, and local microstructure of floating plate on working resistance and local fluid flow characteristics of the laminating structure based on VOF model in Fluent. Using ship mechanics theory and fluid (...) lubrication theory, the drag reduction mechanism under different structural parameters of the floating plate is analyzed. The results show that, compared with the ordinary floating plate, the pressure difference resistance can be reduced by increasing the elevation angle by 60°, curved angle by 20°, and mud separation angle by 20°. The increase of the concave nonsmooth bottom surface structure can reduce viscous frictional resistance, and the total working resistance after structural optimization is comparatively reduced by 48.3%, with lowered hilling height in the forward direction and improved lubrication condition of the bottom surface, forming liquid lubrication effect. This study can provide theoretical references for the optimization design of muddy soil mud parts, mud-machine interaction research, and the development of paddy field laminating mechanism. (shrink)

We address the question of whether and to what extent explanatory and modelling strategies in systems biology are mechanistic. After showing how dynamic mathematical models are actually required for mechanistic explanations of complex systems, we caution readers against expecting all systems biology to be about mechanistic explanations. Instead, the aim may be to generate topological explanations that are not standardly mechanistic, or to arrive at design principles that explain system organization and behaviour in general, but not specific mechanisms. These (...) abstraction strategies serve various aims, including prediction and control, that are central to understanding the epistemic diversity of systems biology. (shrink)

This book uses the friendly format of the computing language Prolog to teach a full formal predicate logic. With Prolog, the scope and limits of both logic and computing can be explored and experimented. Students learning formal logic in a Prolog format can begin using their already developed informal abilities in logic to program in Prolog and conversely learn enough formal logic to examine Prolog and computing in general so major fundamental theorems can be demonstrated. Cases such as Church's Thesis, (...) Church's Theorem, Turing's Halting Problem, and Godel's Incompleteness Theorem provide the author with the means to assess some of the philosophical implications of logic and computing. Henry designed the book for undergraduate students, but it is also useful for philosophers and theologians who wish to see how computer programming serves as a probe into philosophical matters. Contents: The Formalization of Logic; Propositional Logic; Predicate Logic; Prolog: Programming in Logic; Logic Machines; The Scope and Limits of Logic and Logic Machines; Philosophical Reflections; Appendix; Bibliography; Index. (shrink)

In this paper we recount several research projects conducted at ImaginationLancaster a Design-led research laboratory, all of which consider Object-Oriented Ontology. The role OOO plays in these projects is varied: as a generative mechanism contributing to ideation; as a framework for analysis; and as a constituent in developing new design theory. Each project’s focus is quite unique—an app, a board game, a set of Tarot cards, a kettle and a living room—however they are all concerned with developing (...) new understandings relating to the ubiquitous, networked, ‘smart’ technologies which are often referred to as the Internet of Things. Through our reflexive account of these research projects the aim of this paper is to provide insights into, and promote new discussion about, the relevance and scope for OOO in socio-technical Design Research, and beyond. (shrink)

An iterative learning robust fault-tolerant control algorithm is proposed for a class of uncertain discrete systems with repeated action with nonlinear and actuator faults. First, by defining an actuator fault coefficient matrix, we convert the iterative learning control system into an equivalent unknown nonlinear repetitive process model. Then, based on the mixed Lyapunov function approach, we describe the stability of the nonlinear repetitive mechanism on time and trial indices and have appropriate conditions for the repeated control system’s stability in (...) terms of linear matrix inequality theory. Through LMI techniques, we have obtained satisfactory results and controller stability, and robustness against fault tolerance is also discussed in detail. Finally, the simulation results of the output tracking control of the two exemplary models verify the effectiveness of the proposed algorithm. (shrink)

This chapter discusses a problematic relation between user-friendly design and manipulation. Some specific features of the design of a website can make it a more or less potent tool for manipulation. In particular, features that can be summed up as creating a user-friendly experience are also manipulation-friendly. The ease of using a website also makes it easier to be manipulated via the website. The chapter provides an argument that this can be explained as a less intellectually virtuous engagement (...) with websites that are more user-friendly. It is simply more difficult to mobilize suitable intellectual virtues when the website is quick and easy to use. For instance, when Google Search presents search results quickly and easily users become less intellectually cautious and independent than they ought to be. The chapter discusses a mechanism that links user-friendly design to an overly trusting attitude towards a website that leads to this intellectually careless behaviour. This link is support with empirical evidence based on processing fluency effects. (shrink)

Corruption prevention can be more effective if it does not rely merely on legal enforcement. This theoretical review aimed to propose a hypothetical psychological model capable of explaining the behavior of corruption. Moral disengagement is a variable that is considered ontologically closest in “distance” to the variable of corruption behavior. Counterfeit self, implicit self-theory, ethical mindset and moral emotion are taken into account as the pivotal factors of the corruption behavior and its mechanism of moral disengagement. Counterfeit self along (...) with some moderating variables are regarded to “set” one’s future corrupt behavior based on his/her past/prior ethical or unethical behavior and moral emotions. This review discovered a conjectural-theoretical model of the corruption psychology. It can be used to design a social intervention and training for individuals to manage the mindset and emotion that can buffer counterfeit self effect. In addition, the users of these research findings are recommended to be aware of the surroundings that consist of groups of people with particular ethical mindset, moral emotion proneness and self-theory. (shrink)

There are two main senses of ‘mechanism’, both deriving from the metaphor of nature as a machine. One sense refers to contrivance or design, as in ‘the plant’s mechanism of attracting butterflies’. The other sense refers to cause or law process, as in ‘the mechanism of heredity’. In his work on evolution, Charles Darwin showed that organisms are produced by a mechanism in the second sense, although he never used this language. He also discussed contrivance, (...) where he did use the language of mechanism. This discussion relates metaphor in general and Darwin’s use of the machine metaphor in particular to the problem of the nature of science, concluding that one use of the metaphor reinforces the objective nature of science and the other use reinforces the subjective nature of science. (shrink)

Nudge and boost are two competing approaches to applying the psychology of reasoning and decision making to improve policy. Whereas nudges rely on manipulation of choice architecture to steer people towards better choices, the objective of boosts is to develop good decision-making competences. Proponents of both approaches claim capacity to enhance social welfare through better individual decisions. We suggest that such efforts should involve a more careful analysis of how individual and social welfare are related in the policy context. First, (...) individual rationality is not always sufficient or necessary for improving collective outcomes. Second, collective outcomes of complex social interactions among individuals are largely ignored by the focus of both nudge and boost on individual decisions. We suggest that the design of mechanisms and social norms can sometimes lead to better collective outcomes than nudge and boost, and present conditions under which the three approaches (nudge, boost, and design) can be expected to enhance social welfare. (shrink)

The design and analysis of norms is a somewhat neglected topic in AI and Law, but this is not so in other areas of Computer Science. In recent years powerful techniques to model and analyse norms have been developed in the Multi-Agent Systems community, driven both by the practical need to regulate electronic institutions and open agent systems, and by a theoretical interest in mechanism design and normative systems. Agent based techniques often rely heavily on enforcing norms (...) using the software to prevent violation, but I will also discuss the use of sanctions and rewards, and the conditions under which compliance by autonomous agents (including humans) can be expected or encouraged without sanctions or rewards. In the course of the paper a suggested framework for the exploration of these issues is developed. (shrink)