ABSTRACT Propositional dynamic logic with converse and test, is enriched with complement, intersection and relational operations of weakest prespecification and weakest postspecification. Relational deduction system for the logic is given based on its interpretation in the relational calculus. Relational interpretation of the operators ?repeat? and ?loop? is given.

Previous studies of initiatives in Writing to Learn and Writing Across the Curriculum/Writing in the Disciplines, while showing gains in knowledge retention and improvement in general writing skills, have not yet investigated the more fundamental issue of how writing supports development of domain-specific forms of thinking. Written samples were gathered from prospective teachers engaged in a year-long program of classroom observation and participation designed to advance their understanding of student success and failure. Ethnographic and quantitative methods provided evidence that (...) their written accounts indicated an increased understanding that was aligned with the goals of the program. (shrink)

Previous studies of initiatives in Writing to Learn and Writing Across the Curriculum/Writing in the Disciplines, while showing gains in knowledge retention and improvement in general writing skills, have not yet investigated the more fundamental issue of how writing supports development of domain-specific forms of thinking. Written samples were gathered from prospective teachers engaged in a year-long program of classroom observation and participation designed to advance their understanding of student success and failure. Ethnographic and quantitative methods provided evidence that (...) their written accounts indicated an increased understanding that was aligned with the goals of the program. (shrink)

Programmed cell death (PCD) is a process aimed at the removal of redundant, misplaced, or damaged cells and it is essential to the development and maintenance of multicellular organisms. In contrast to the relatively well‐described cell death pathway in animals, often referred to as apoptosis, mechanisms and regulation of plant PCD are still ill‐defined. Several morphological and biochemical similarities between apoptosis and plant PCD have been described, including DNA laddering, caspase‐like proteolytic activity, and cytochrome c release from mitochondria. Reactive oxygen (...) species (ROS) have emerged as important signals in the activation of plant PCD. In addition, several plant hormones may exert their respective effects on plant PCD through the regulation of ROS accumulation. The possible plant PCD regulators discussed in this review are integrated in a model that combines plant‐specific regulators with mechanisms functionally conserved between animals and plants. BioEssays 25:47–57, 2003. © 2002 Wiley Periodicals, Inc. (shrink)

The haploid male germ cell differentiation program controls essential steps of male gametogenesis and relies partly on a significant number of sex chromosome‐linked genes. These genes need to escape chromosome‐wide transcriptional repression of sex chromosomes, which occurs during meiosis and is largely maintained in post‐meiotic cells. A newly discovered histone lysine modification, crotonylation (Kcr), marks X/Y‐linked genes that are active in post‐meiotic male germ cells. Histone Kcr, by conferring resistance to transcriptional repressors, could be a dominant element in maintaining (...) these genes active in the globally repressive environment of haploid cell sex chromosomes. Furthermore, the same mark was found associated with post‐meiotically activated genes on autosomes. Histone Kcr therefore appears to be an indicator of the male haploid cell gene expression program and a notable element of genome programming in the post‐meiotic phases of spermatogenesis. (shrink)

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a (...) thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

Peter Spirtes, Richard Scheines and Clark Glymour. Simulated Studies of the Reliability of Computer-Aided Model Specification Using the TETRAD, EQS and LISREL Programs.

Taken at face value, a programming language is defined by a formal grammar. But, clearly, there is more to it. By themselves, the naked strings of the language do not determine when a program is correct relative to some specification. For this, the constructs of the language must be given some semantic content. Moreover, to be employed to generate physical computations, a programming language must have a physical implementation. How are we to conceptualize this complex package? Ontologically, what (...) kind of thing is it? In this paper, we shall argue that an appropriate conceptualization is furnished by the notion of a technical artifact. (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)

A key issue in cognitive sciences is to understand the cognitive bases of human tool use. Answers have been provided by two competing approaches. The manipulation-based approach assumes that humans can use tools because of the ability to store sensorimotor knowledge about how to manipulate tools. By contrast, for the reasoning-based approach, human tool use is based on the ability to reason about physical object properties. Recently, Caruana and Cuccio proposed a kind of reconciliation, based on the distinction between three (...) types of abductive inference, involving a different contribution of motor and cognitive elements: Automatic abduction, abduction by selection and creative abduction. This perspective offers new interesting avenues. Nevertheless, it is also subject to several theoretical and epistemological limitations, which make it in its present form inappropriate for the study of the cognitive bases of human tool use. This article aims to discuss these limitations. (shrink)

The article presents the reasons for which the issue of providing housing to low-income citizens has been a real challenge in Addis Ababa during the recent years and will continue to be, given that its population is growing extremely fast. It examines the tensions between the universal aspirations and the local realities in the case of some of Ethiopia’s most ambitious mass pro-poor housing schemes, such as the “Addis Ababa Grand Housing Program” (AAGHP), which was launched in 2004 and (...) was integrated in the “Integrated Housing Development Program” (IHDP) in 2006. The article argues that the quotidian practices of communities and their socio-economic and cultural characteristics are related to the spatial attributes of co-housing practices. Drawing upon the idea that there is a mutual correspondence between social and spatial structures, it places particular emphasis on the analysis of the IHDP and aims to show that to shape strategies that take into account the social and cultural aspects of daily life of the poor citizens of Addis Ababa, it is pivotal to invite them to take part in the decision-making processes regarding their resettlement. Departing from the fact that a large percentage of the housing supply in Addis Ababa consists of informal unplanned housing, the article also compares the commoning practices in kebele houses and condominium units. The former refers to the legal informal housing units owned by the government and rented to their dwellers, whereas the latter concerns the housing blocks built in the framework of the IHDP for the resettlement of the kebele dwellers. The article analyzes these processes of resettlement, shedding light of the fact that kebele houses were located at the inner city, whereas the condominiums are located in the suburbs. Despite the fact that the living conditions in the condominium units are of a much higher quality than those in the kebele houses, their design underestimated or even neglected the role of the commoning practices. The article highlights the advantages of commoning practices in architecture and urban planning, and how the implementation of participation-oriented solutions can respond to the difficulties of providing housing. It argues that understanding the significance of the endeavors that take into account the opinions of dwellers during the phase of decision-making goes hand in hand with considering commoning practices as a source of architecture and urban planning frameworks for low-cost housing in this specific context. The key argument of the article is that urban planning and architecture solutions in Addis Ababa should be based on the principles of the so-called “negotiated planning” approach, which implies a close analysis of the interconnections between planning, infrastructure, and land. (shrink)

The notion of specification plays a key role in the developing science of computing. It is typically considered to be the keystone in the software development process. However, there is no single, generally agreed meaning of specification that bears close scrutiny. Instead there is a variety of different, although partially interlocking and overlapping interpretations of the term.We catalogue this varietal profusion and attempt to lay bare both the sources and consequences of each major alternative. We attempt to present (...) the full range of possibilities, and the biases inherent in each style of interpretation. (shrink)

In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal (...) verification do not necessarily share the same goals and thus do not always constitute alternatives. The testing of a program is not always intended to demonstrate a program's correctness. Testing may seek to accept or reject nonprograms including algorithms, specifications, and hypotheses regarding phenomena. The relationship between these kinds of testing and formal verification is couched in a more fundamental relationship between two views of computer science, one properly containing the other. (shrink)

This reply to Oaksford and Chater’s ’s critical discussion of our use of logic programming to model and predict patterns of conditional reasoning will frame the dispute in terms of the semantics of the conditional. We begin by outlining some common features of LP and probabilistic conditionals in knowledge-rich reasoning over long-term memory knowledge bases. For both, context determines causal strength; there are inferences from the absence of certain evidence; and both have analogues of the Ramsey test. Some current work (...) shows how a combination of counting defeaters and statistics from network monitoring can provide the information for graded responses from LP reasoning. With this much introduction, we then respond to O&C’s specific criticisms and misunderstandings. (shrink)

How to write a program in Haskell, and how to use the Haskell testing tools . . . QuickCheck is a tool written in the functional programming language Haskell that allows testing of specifications by means of randomly generated tests. QuickCheck is part of the standard Haskell library. Re-implementations of QuickCheck exist for many languages, including Ruby and Scheme. SmallCheck is a similar tool, different from QuickCheck in that it tests properties for all finitely many values of a datatype (...) up to some given depth, with progressive increase of depth. Haskell is a research language: many of the testing tools that were first developed for Haskell later find their way to other languages. These slides discuss QuickCheck (two versions), SmallCheck, and some work in progress. We end with some examples of Alloy specifications. (shrink)

The term sustainability can be used so liberally within production industries that it becomes meaningless. There is also recognition that for sustainability to be a useful concept, it must be crafted for the context in which it is deployed. A paradox of sustainability, it seems, lies in the conflict between the practical adoptability and context specificity of programs paired with the need for significant change. One response for those grappling with this sustainability challenge has been to adopt flexible approaches to (...) sustainability through the development of technologies and governance processes that focus on benchmarking, monitoring and ongoing change, rather than hard limits and targets. In this paper we elaborate on this point by evaluating how sustainability programs in a transition context can be seen as deliberative platforms and thus actors in governance processes. Through an analysis of the development of a sustainability program deployed in the wine industry in New Zealand, we argue that a widely adopted and clearly defined program can be an asset to democratic environmental governance, if viewed as a shared project. Drawing on interviews with key personnel in the wine industry and reviews of industry literature and media, we suggest that substantiating sustainability can have benefits for environmental governance through the precipitation of distinction and dialogue. We conclude with some suggestions about how to encourage visionary forms of practice and engagement with sustainability programs in ways that can aid their democratic development and expand the reach of their goals. (shrink)

This article examines the relationship between an aspect of a firm’s corporate social responsibility, corporate community programs, and the effectiveness of its corporate political activity. Developing a conceptual model based on resource-based view of the firm, the authors argue that the mechanism linking a firm’s CCP to CPA mechanism is the effect of CCPs on the development of firm level resources. Specifically, the intensity of a firm’s CCPs enhances a firm’s human capital, organizational capital, and geographic resources, which in turn (...) improve the effectiveness of two key aspects of CPA: information and constituency-building political strategies. This linkage of CCPs to CPA effectiveness may be particularly relevant when the firm faces unfavorable political markets. (shrink)

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)

Within post - Kuhnian, philosophy of science, much effort has been devoted to issues related to conceptual change, such as incommensurability, scientific progress and realism, but mostly in terms of reference, without a fine - grained theory of scientific concepts/senses. Within the philosophy of language and of mind tradition, there is a large body of work on concepts, but the application to scientific concepts has been very tentative. The aim of this paper is to propose a general framework for a (...) theory for the individuation of scientific concepts. The general view about the individuation of concepts favored here is the possession - condition approach: to individuate a concept is to identify its possession conditions. The general metascientific tools for the analysis of scientific theories are model - theoretic, more specifically, structuralist: scientific theories, the entities to which scientifc concepts belong, are model - theoretic theory - nets. The general idea about the content of scientific concepts that inspires this proposal comes from: (i) our grandfathers’ "laws - plus - correspondence rules", (ii) Kuhns "laws applied to exemplars" views and (iii) moderate operationalism. The aim is to show that some clarification can be gained applying the possesion condition appproach to (an expansion of) these three elements using structuralist metascientific tools. First, I briefly present the two main structuralist ideas I shall use: the difference between observability and non - theoreticity, and the notion of theory - net. Second, I informally introduce the five components that come from my reading of the three traditional elements; these components are, or are not, plausible independently of how they will be integrated within a theory of concept - identity. Third, I present the kore of the theory of possession conditions for concept - identity that we shall use for the integration of such components. Finally, I propose the general traits of the possession condition that corresponds to each of these five components, I present some problems and point out some possible ways of dealing with them. (shrink)

In multicellular organisms, cells are frequently programmed to die. This makes good sense: cells that fail to, or are no longer playing important roles are eliminated. From the cell’s perspective, this also makes sense, since somatic cells in multicellular organisms require the cooperation of clonal relatives. In unicellular organisms, however, programmed cell death poses a difficult and unresolved evolutionary problem. The empirical evidence for PCD in diverse microbial taxa has spurred debates about what precisely PCD means in the case of (...) unicellular organisms. In this article, we survey the concepts of PCD in the literature and the selective pressures associated with its evolution. We show that definitions of PCD have been almost entirely mechanistic and fail to separate questions concerning what PCD fundamentally is from questions about the kinds of mechanisms that realize PCD. We conclude that an evolutionary definition is best able to distinguish PCD from closely related phenomena. Specifically, we define “true” PCD as an adaptation for death triggered by abiotic or biotic environmental stresses. True PCD is thus not only an evolutionary product but must also have been a target of selection. Apparent PCD resulting from pleiotropy, genetic drift, or trade-offs is not true PCD. We call this “ersatz PCD.”. (shrink)

Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems. While taking the emergence of properties seriously, the notion of MACS enables at the same time the design of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied in the field (...) of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems but also harness and redesign living ones. (shrink)

In this article, I argue that genomic programs are not substitutes for multi-causal molecular mechanistic explanations of inheritance, but abstract representations of the same sort as mechanism schemas already described in the philosophical literature. On this account, the program analogy is not reductionistic and does not ignore or underestimate the active contribution of epigenetic elements to phenotypes and development. Rather, genomic program representations specifically highlight the genomic determinants of inheritance and their organizational features at work in the wider (...) context of the mechanisms of genome expression. (shrink)

Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.

Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied (...) in the field of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems (such as robotic swarms) but also harness and redesign living ones (such as synthetic bacterial films). (shrink)

The article deals with the influence of organizational ethics program components on managerial ethical behavior. The main aim was to establish which EP components are perceived as valuable and useful to foster the ethical behavior of managers. Moreover, we also aimed to investigate the role of ethics training in this context and to explore whether it can potentially increase managers’ trust in EP components as effective tools for the promotion of ethical behavior. The article advances the EP theory in (...) several ways. It offers novel insights into both business ethics and EP development in the specific cultural and social circumstances of a former socialist country in the Central and Eastern European region, Slovakia. It shows that codes of ethics and related reporting and control mechanisms are perceived as the most effective EP components to shape managerial ethical behavior. Furthermore, based on empirical evidence, and to some extent contrary to prior theory, the article unveils three EP functions, namely the ‘compliance with group norms,’ the ‘ethics education through collective discussion,’ and the ‘counselling and resolving of ethical issues’ at workplace. In addition, the article shows that ethics trainings can help to boost the trust of managers toward EP components and might be conceptualized as a precursor for an effectively functioning EP. (shrink)

As cable television channel bloomed and grew in Taiwan, more and more teenagers watched a wide variety of foreign TV programmers through hundreds of channels. The impact of this media trend among Taiwanese youth stresses the importance of research to assess whether local college students learn from foreign television programming. In this research, which supports the theoretical discussion in this paper, the nature of these learnings was analyzed as well. In general, this study aims to explore the relevant literature and (...) examine whether college students engage in critical thinking when viewing foreign television programs. This research used a popular Korean series shown in Taiwan to examine various perspectives and views related to the issue. Based from the gathered findings, college students appear to pay more critical attention to the program script, character, rhythm, plot and cultural differences. In relation to aesthetic, ideology and cultural identity issues, less response on the educational impact of the program was obtained from the participants. This confirms the claim that Taiwanese youth view television as an entertainment medium rather than an educational one. For this reason, the role of media education, specifically the integration of visual literacy and critical thinking, is highly significant to generate less passive television viewers. (shrink)

Most models of computer programming explain the programmer's behaviour by a single design strategy. This article presents a cognitive architecture that uses cue‐based search to model multiple design strategies including procedural, functional, means‐end or focal, and opportunistic design. The model has been implemented in an artificial intelligence (AI) system that generates Pascal programs from English specifications.Knowledge is represented as nodes that reside in internal or external memory, where a node encodes an action that may range from a line of code (...) to a routine in size. A program is built by linking nodes through a search cue of the form. The cue is broadcast to memory, and any matching node is returned; the cue provides a question to ask, and the return provides the answer. A cue on the newly linked node is then selected as a new focus, and the search process repeated. Each design strategy defines a specific node visiting order that traverses the program structure through its links. (shrink)

Given the growing public concern and attention placed on cases of research misconduct, government agencies and research institutions have increased their efforts to develop and improve ethics education programs for scientists. The present study sought to assess the impact of these increased efforts by sampling empirical studies published since the year 2000. Studies published prior to 2000 examined in other meta-analytic work were also included to provide a baseline for assessing gains in ethics training effectiveness over time. In total, this (...) quantitative review consisted of 66 empirical studies, 106 ethics courses, 150 effect sizes, and 10,069 training participants. Overall, the findings indicated that ethics instruction resulted in sizable benefits to participants and has improved considerably within the last decade. A number of specific findings also emerged regarding moderators of instructional effectiveness. Recommendations are discussed for improving the development, delivery, and evaluation of ethics instruction in the sciences. (shrink)

The question “Are ‘biorobots' good models of biological behaviour?” can be seen as a specific instance of a more general question about the relation between computer programs and models, between models and theories, and between theories and reality. This commentary develops a personal view of these relations, from an antirealism perspective. Programs, models, theories and reality are separate and distinct entities which may converge in particular cases but should never be confused.

No one denies that people adapt what they say and how they interpret what is said to them, depending on their interactive partners. What is controversial is when and how they do so. Several psycholinguistics research programs have found what appear to be failures to adapt to partners in the early moments of processing and have used this evidence to argue for modularity in the language processing architecture, claiming that the system cannot take into account a partner’s distinct needs or (...) knowledge early in processing. We review the evidence for both early and delayed partner‐specific adaptations, and we identify some challenges and difficulties with interpreting this evidence. We then discuss new analyses from a previously published referential communication experiment (Metzing & Brennan, 2003) demonstrating that partner‐specific effects need not occur late in processing. In contrast to Pickering and Garrod (2004) and Keysar, Barr, and Horton (1998b), we conclude that there is no good evidence that early processing has to be be “egocentric,”“dumb,” or encapsulated from social knowledge or common ground, but that under some circumstances, such as when one partner has made an attribution about another’s knowledge or needs, processing can be nimble enough to adapt quite early to a perspective different from one’s own. (shrink)

A pattern of interaction that arises again and again in programming is a 'handshake', in which two agents exchange data. The exchange is thought of as provision of a service. Each interaction is initiated by a specific agent--the client or Angel--and concluded by the other--the server or Demon. We present a category in which the objects--called interaction structures in the paper--serve as descriptions of services provided across such handshaken interfaces. The morphisms--called (general) simulations--model components that provide one such service, relying (...) on another. The morphisms are relations between the underlying sets of the interaction structures. The proof that a relation is a simulation can serve (in principle) as an executable program, whose specification is that it provides the service described by its domain, given an implementation of the service described by its codomain. This category is then shown to coincide with the subcategory of 'generated' basic topologies in Sambin's terminology, where a basic topology is given by a closure operator whose induced sup-lattice structure need not be distributive; and moreover, this operator is inductively generated from a basic cover relation. This coincidence provides topologists with a natural source of examples for non-distributive formal topology. It raises a number of questions of interest both for formal topology and programming. The extra structure needed to make such a basic topology into a real formal topology is then interpreted in the context of interaction structures. (shrink)

Recent communication research indicates that approach and avoidance constitute two separate yet co-existing processes during media exposure. While many studies address TV approach behavior, little is known about TV avoidance behavior. Furthermore, personality has yet to be linked to avoidance behavior. This study analyzes the influence of personality on TV program avoidance. Data show that the “Big Five” personality characteristics and Risk and Fight Willingness influence program avoidance, albeit to varying degrees. While the specific correlations are discussed in (...) the paper, the results generally reveal that the combination of personality and avoidance has added value in terms of understanding of TV using behavior compared to the frequently analyzed link between personality and approach. For nearly all personality characteristics, data show that the avoidance perspective is more than the inversion of the approach perspective. The findings are discussed with reference to gratification and selectivity research. (shrink)

In the technical literature of computer science, the concept of an effective procedure is closely associated with the notion of an instruction that precisely specifies an action. Turing machine instructions are held up as providing paragons of instructions that "precisely describe" or "well define" the actions they prescribe. Numerical algorithms and computer programs are judged effective just insofar as they are thought to be translatable into Turing machine programs. Nontechnical procedures (e.g., recipes, methods) are summarily dismissed as ineffective on the (...) grounds that their instructions lack the requisite precision. But despite the pivotal role played by the notion of a precisely specified instruction in classifying procedures as effective and ineffective, little attention has been paid to the manner in which instructions "precisely specify" the actions they prescribe. It is the purpose of this paper to remedy this defect. The results are startling. The reputed exemplary precision of Turing machine instructions turns out to be a myth. Indeed, the most precise specifications of action are provided not by the procedures of theoretical computer science and mathematics (algorithms) but rather by the nontechnical procedures of everyday life. I close with a discussion of some of the rumifications of these conclusions for understanding and designing concrete computers and their programming languages. (shrink)

Alexander Miller has recently considered an ingenious extension of Frank Jackson and Philip Pettit's account of 'program explanation' as a way of defending non-reductive naturalist versions of moral realism against Harman's explanatory criticism. Despite the ingenuity of this extension, Miller concludes that program explanation cannot help such moral realists in their attempt to defend moral properties. Specifically, he argues that such moral program explanations are dispensable from an epistemically unlimited point of view. I show that Miller's argument (...) for this negative claim is inadequate, and that he has, in spite of himself, identified a promising defence of moral realism. (shrink)

The issue of proper functioning of operative computing and the utility of program verification, both in general and of specific methods, has been discussed a lot. In many of those discussions, attempts have been made to take mathematics as a model of knowledge and certitude achieving, and accordingly infer about the suitable ways to handle computing. I shortly review three approaches to the subject, and then take a stance by considering social factors which affect the epistemic status of both (...) mathematics and computing. I use the analogy between mathematics and computing in reverse—that is to say, I consider operative computing as a form of making mathematics, and so attempt to learn from computing to mathematics in general. I conclude that mathematics engineering is a field to be both developed for practical improvement of doing mathematics and taken into consideration while philosophizing about mathematics as well. (shrink)

The term Monte Carlo method indicates any computer-aided procedure for numerical estimation that combines mathematical calculations with randomly generated numerical input values. Today it is an important tool in high energy physics while physicists and philosophers also often consider it a sort of virtual experiment. The Monte Carlo method was developed in the 1940s, in the context of U.S. American nuclear weapons research, an event often regarded as the origin of both computer simulation and “artificial reality” (Galison 1997). The present (...) paper interrogates this strong claim by focusing on the emergence of Monte Carlo event generators in particle physics in the early 1960s. This historical case study shows how, as Monte Carlo computation became part of the toolbox of particle physicists around 1960, it was neither usually referred to as a “computer simulation” nor was it regarded as a surrogate for experimentation. In revising the history of this method, this paper asks, in what context did particle physicists of the 1960s decide to create FAKE, the first high-energy-physics Monte Carlo event simulator? What was their goal? And what epistemic role did FAKE play? In answering these questions, it is argued that Monte Carlo computations were not introduced into particle physics to simulate experiments, but rather they played the role of theoretical tools. The Monte Carlo method was able to do this thanks to its random component, a property which provided a means of modeling a specific phenomenon, so-called “(particle) resonances”. Indeed, in doing so, event generators even came to mutually assimilate and reshape the notions of particle and resonance, taking up an epistemic function which had previously been confined to physical-mathematical formulae: that of a medium which could express aspects of particle theory. (shrink)

BackgroundAs hospitals have grown more complex, the ethical concerns they confront have grown correspondingly complicated. Many hospitals have consequently developed health care ethics programs (HCEPs) that include far more than ethics consultation services alone. Yet systematic research on these programs is lacking.MethodsBased on a national, cross-sectional survey of a stratified sample of 600 US hospitals, we report on the prevalence, scope, activities, staffing, workload, financial compensation, and greatest challenges facing HCEPs.ResultsAmong 372 hospitals whose informants responded to an online survey, 97% (...) of hospitals have HCEPs. Their scope includes clinical ethics functions in virtually all hospitals, but includes other functions in far fewer hospitals: ethical leadership (35.7%), regulatory compliance (29.0%), business ethics (26.2%), and research ethics (12.6%). HCEPs are responsible for providing ongoing ethics education to various target audiences including all staff (77.0%), nurses (59.9%), staff physicians (49.0%), hospital leadership (44.2%), medical residents (20.3%) and the community/general public (18.4%). HCEPs staff are most commonly involved in policy work through review of existing policies but are less often involved in development of new policies. HCEPs have an ethics representative in executive leadership in 80.5% of hospitals, have representation on other hospital committees in 40.7%, are actively engaged in community outreach in 22.6%, and lead large-scale ethics quality improvement initiatives in 17.7%. In general, major teaching hospitals and urban hospitals have the most highly integrated ethics programs with the broadest scope and greatest number of activities. Larger hospitals, academically affiliated hospitals, and urban hospitals have significantly more individuals performing HCEP work and significantly more individuals receiving financial compensation specifically for that work. Overall, the most common greatest challenge facing HCEPs is resource shortages, whereas underutilization is the most common greatest challenge for hospitals with fewer than 100 beds. Respondents’ strategies for managing challenges include staff training and additional funds.ConclusionsWhile this study must be cautiously interpreted due to its limitations, the findings may be useful for understanding the characteristics of HCEPs in US hospitals and the factors associated with these characteristics. This information may contribute to exploring ways to strengthen HCEPs. (shrink)

The Human Condition is neither a well-defined nor well-described concept—nevertheless, it is generally agreed that human sexuality is a fundamental and constituent part of it. For most able-bodied persons, accessing and expressing one's sexuality is a (relatively) trouble-free process. However, many disabled persons experience difficulty in accessing their sexuality, while others experience such significant barriers that they are often precluded from sexual citizenship altogether. Recognising the barriers to the sexual citizenship of disabled persons, the concept of a Welfare-Funded Sex Doula (...) Program has been advanced — a program specifically aimed at meeting the various (and often complex) sexual needs of disabled people. Below we show how that program can be justified within at least two different moral frameworks, the capabilities approach and liberal utilitarianism, and consider and repudiate arguments against it. (shrink)

Patricia Smith Churchland's Neurophilosophy argues that a mind is the same thing as the complex patterns of neural activity in a human brain and, furthermore, that we will be able to find out interesting things about the mind by studying the brain. I basically agree with this stance and my comments are divided into four sections. First, comparisons between human and non?human primate brains are discussed in the context, roughly, of where one should locate higher functions. Second, I examine Churchland's (...) views on reduction and levels of organization, which I find mostly congenial. Third, a key point of disagreement about the relationship and importance of language to specifically human cognition is taken up. I like Churchland's critique of certain sentential paradigms, but I try to show using an analogy with cellular coding systems why we need to get a better theory of ?sentences?. Finally, I discuss how the models introduced in the last chapter might be extended to make better contact with neurobiology and language. (shrink)

As a start, we give further examples of Alloy specifications. Next we turn to specification of imperative programs. Assertions about programs are specifications of how the program is supposed to behave. Assertions can be used for correctness reasoning and for testing. We illustrate the important notions of preconditions and postconditions. We demonstrate how the state transitions of imperative programming can be modelled as relations in Alloy. Correctness reasoning can be linked to testing and debugging by means of executable (...) assertions, and by means of random generation of test cases based on preconditions and postconditions. (shrink)

Over the past decade or so, several commentators have called for mission-driven research programs on solar geoengineering, also known as solar radiation management (SRM) or climate engineering. Building on the largely epistemic reasons offered by earlier commentators, this paper argues that a well-designed mission-driven research program that aims to evaluate solar geoengineering could promote justice and legitimacy, among other valuable ends. Specifically, an international, mission-driven research program that aims to produce knowledge to enable well-informed decision-making about solar geoengineering (...) could (1) provide a more effective way to identify and answer the questions that policymakers would need to answer; and (2) provide a venue for more efficient, effective, just, and legitimate governance of solar geoengineering research; while (3) reducing the tendency for solar geoengineering research to exacerbate international domination. Thus, despite some risks and limitations, a well-designed mission-driven research program offers one way to improve the governance of solar geoengineering research relative to the ‘investigator-driven’ status quo. (shrink)

This article asks what is creative about the act of programming. Observing that in most programming contexts, each line of code is written with a specific end in mind, it would seem as though there is little room for creativity, as the ends constrain the choices of means. However, there are many features of coding languages that open up creative possibilities. Object-oriented coding environments purport to make programming more about structures that humans might work with and less about features of (...) computers, and other innovative coding techniques, such as RTTI design, suggest that there may be no limit to the creative possibilities of code. (shrink)

Is implementing the beneficent nudge program morally permissible in worlds like ours? I argue that there is reason for serious doubt. I acknowledge that beneficent nudging is highly various, that nudges are in some circumstances morally permissible and even called for, and that nudges may exhibit respect for genuine autonomy. Nonetheless, given the risk of epistemic injustice that nudges typically pose, neither the moral permissibility of beneficent nudging in the abstract, nor its case-by-case vindication, appears sufficient to justify implementing (...) a nudge program in worlds like ours. Drawing on Miranda Fricker’s account of epistemic injustice, I argue that the cogent defense of any nudge program, relative to worlds like ours, stands in need of serious attention to its potential for fostering or sustaining epistemic injustice. A more specific point hinges on recognizing a form of epistemic injustice not enough attended to in the literature to date, which I call reflective incapacitational injustice. This includes relative disadvantages in the attaining of the capacity to engage in critical reason, such as the capacity to go in for potentially critical reasoned deliberation and discursive exchange concerning ends. Since Cass Sunstein’s First Law of behaviorally informed regulation would be taken, in worlds like ours, to justify indeterminately many nudges leading to such epistemic injustice we have general grounds for doubting the moral permissibility of this nudge program. We should hence oppose the implementation of any such program until it is shown not to violate the demands of epistemic justice. (shrink)

This article proposes a retrospective analysis of a compassionate use, using a case study of request for Avelumab for a patient suffering from Merkel Cell Carcinoma. The study is the result of a discussion within a Provincial Ethics Committee following the finding of a high number of requests for CU program. The primary objective of the study is to illustrate the specific ethical and clinical profiles that emerge from the compassionate use program issue. The secondary goals are: a) (...) to promote a moral reflection among physicians who require approval for the CUP and b) provide the basis for recommendations on how to request CUP. The instruments for carrying out the analysis of the case study and the discussion are as follows: Analysis of the audio-recording of the EC meeting regarding the selected Case study. In-depth discussion of topics that emerged during the meeting by means of administration of 5 semi-structured interviews with 2 doctors involved in the case and with 3 components of the EC who played a major role in the EC internal discussion. In an exploration of emerging clinical and ethical issues, four primary themes arise: 1. efficacy, safety of the treatment and patient’s quality of life; 2. clear, realistic, adequate communication; 3. right to hope; 4. simultaneous Palliative Care approach. The results of ethical analysis carried out concern two areas: 1) ethical profiles relating to the use of CUP; 2) the role of the EC concerning the compassionate use of drugs and the need to provide recommendations on how to request CUP. With the aim of implementing these conclusions, the provincial EC of Reggio Emilia chose to steer the request for drugs for compassionate use through recommendations for good clinical and ethical practice based on the following assumptions: 1) the “simultaneous care” approach must be preferred. Secondly, 2) the EC’s assessment must be part of the decision-making process that the care team conducts before proposing compassionate use to the patient. (shrink)