We propose using random walks in software space as abstract formal models of biological evolution. The goal is to shed light on biological creativity using toy models of evolution that are simple enough to prove theorems about them. We consider two models: a single mutating piece of software, and a population of mutating software. The fitness function is taken from a well known problem in computability theory that requires an unlimited amount of creativity, the Busy Beaver problem. (Talk given Friday (...) October 10, 2008 at the IBM Watson Research Center in Yorktown Heights, NY. The author wishes to thank his colleagues Charles Bennett and David DiVincenzo for their helpful comments.). (shrink)

The article reports findings of a study conducted to explore the cognitive moral logics used for considering software piracy as ethical or unethical. Since the objective was to elicit the moral logics from the respondents, semi-structured in-depth interviews of 38 software professionals of India were conducted. The content of the interviews was analyzed using the grounded theory framework which does not begin with constructs and their interlinkages and then seek proof instead it begins with an area of study and allows (...) them to emerge from that area of study. Given the objective of exploring moral logics, grounded theory seemed an appropriate choice. Results revealed that 21 respondents considered software piracy unethical whereas 17 did not. Though economic reasons formed the most fundamental logic in both the cases, an overall analysis revealed that the respondents mostly used moral justification (neutralization) for not considering software piracy unethical whereas those considering it unethical used normative (principled) logics. The interconnections among logics are analyzed and results are discussed along with the limitations of the study. (shrink)

In this section, we will start with an influential attempt to define `intelligence', and then we will move to a consideration of how human intelligence is to be investigated on the machine model. The last part of the section will discuss the relation between the mental and the biological.

Approximately 48 hours ago, knowing that I would, Lord willing, be stand- ing here on this podium two days hence, I tapped http://www.fsf.org into Safari in order to begin learning at least something about the Free Software Movement (FSM). My online education has been augmented by many propo- nents of FSM in attendance at this conference, including Richard Stallman. What I have learned is that this movement is populated by a lot of seem- ingly well-intentioned people who are, at least (...) for the time being, utterly irrational, or worse. In wanting to point out why logic has heretofore been lost on the folks in question, I find within my command an embarrassment of riches. The five minutes at my disposal here is slim indeed, but nonetheless sufficient to reveal the untenability of FSM to those not gripped by an ide- ology: I shall mention here just a needle of fatal truth from the vast supply before me. (shrink)

Moral issues have been included in the studies of consumer misbehavior research, but little is known about the joint moderating effect of moral intensity and moral judgment on the consumer’s use intention of pirated software. This study aims to understand the consumer’s use intention of pirated software in Taiwan based on the theory of planned behavior (TPB) proposed by Ajzen (Organizational Behavior and Human Decision Processes, 50, 179, 1991). In addition, moral intensity and moral judgment are adopted as a joint (...) moderator to examine their combined influence on the proposed research framework. The results obtained from this Taiwan case reveal that the antecedent constructs proposed in the TPB model–an individual’s attitude and subjective norms toward using pirated software, and perceived behavioral control to use pirated software–indeed have positive impacts on the consumer’s use intention of pirated software. In addition, the joint moderating effect of moral intensity and moral judgment is manifested in the consumer’s use intention of pirated software. The results of this study not only could substantiate the results of consumer misbehavior research, but also could provide some managerial suggestions for Taiwanese government authorities concerned and the related software industries devoted to fighting pirated software. (shrink)

This study attempts to identify customer retention strategies for legal software and discusses their effectiveness for three consumer groups (stayers, dissatisfied switchers, and satisfied switchers). Although previous studies propose several antipirating strategies, they do not discuss how to enhance customer intentions to use legal software, which is crucial for software companies. The authors provide four generic retention strategies developed from both antipiracy and customer loyalty literature. The results indicate lower-pricing, legal, communication, and product strategies all enhance customer purchase intentions toward (...) legal software. The lower-pricing strategy is more useful for stayers and dissatisfied switchers, and the communication strategy is most useful for dissatisfied switchers. Both the legal and product strategies have similar impacts on purchase intentions across the three segments. From a firm perspective, a product strategy is most worthwhile and useful across all segments. (shrink)

Software is much more than sequences of instructions for a computing machine: it can be an enabler (or disabler) of political imperatives and policies. Hence, it is subject to the same assessment in a normative dimension as other political and social phenomena. The core distinction between free software and its proprietary counterpart is that free software makes available to its user the knowledge and innovation contributed by the creator(s) of the software, in the form of the created source code. From (...) an ethical perspective, one of the most pressing questions raised by this form of collaboration is the question of the rights, and the restrictions on them, that are passed on to users and collaborators by the creators of programs. That is, what freedoms do software users deserve, and how can they best be protected? In this study we analyze free software licensing schemes in order to determine which most effectively protects such freedoms. We conclude that so-called copyleft licensing schemes are the morally superior alternative. (shrink)

Routledge (New Media and Cyberculture Series), July 2007.

The “free” in “free software” refers to a cluster of four specific freedoms identified by the Free Software Definition. The first freedom, termed “Freedom Zero,” intends to protect the right of the user to deploy software in whatever fashion, towards whatever end, he or she sees fit. But software may be used to achieve ethically questionable ends. This highlights a tension in the provision of software freedoms: while the definition explicitly forbids direct restrictions on users’ freedoms, it does not address (...) other means by which software may indirectly restrict freedoms. In particular, ethically-inflected debate has featured prominently in the discussion of restrictions on digital rights management and privacy-violating code in version 3 of the GPL (GPLv3). The discussion of this proposed language revealed the spectrum of ethical positions and valuations held by members of the free software community. In our analysis, we will provide arguments for upholding Freedom Zero; we embed the problem of possible uses of software in the broader context of the uses of scientific knowledge, and go on to argue that the provision of Freedom Zero mitigates against too great a moral burden—of anticipating possible uses of software—being placed on the programmer and that, most importantly, it facilitates deliberative discourse in the free software community. (shrink)

The distinction between the modeling of information and the modeling of data in the creation of automated systems has historically been important because the development tools available to programmers have been wedded to machine oriented data types and processes. However, advances in software engineering, particularly the move toward data abstraction in software design, allow activities reasonably described as information modeling to be performed in the software creation process. An examination of the evolution of programming languages and development of general programming (...) paradigms, including object-oriented design and implementation, suggests that while data modeling will necessarily continue to be a programmer's concern, more and more of the programming process itself is coming to be characterized by information modeling activities. (shrink)

This study focuses on one of the newer forms of software piracy, known as digital piracy, and uses the Theory of Planned Behavior (TPB) as a framework to attempt to determine factors that influence digital piracy (the illegal copying/downloading of copyrighted software and media files). This study examines factors, which could determine an individual’s intention to pirate digital material (software, media, etc.). Past piracy behavior and moral obligation, in addition to the prevailing theories of behavior (Theory of Planned Behavior), were (...) studied to determine the influence on digital piracy intention. Based on the results of this study, planned behavioral factors in addition to past piracy behavior and moral obligation were found to influence an individual’s intention to pirate digital material. Attitude, past piracy behavior, perceived behavior control, and moral obligation explained 71 percent of the intention to pirate variance. Using these results, a better understanding of why individuals pirate is presented and can be used to help combat digital piracy. (shrink)

This article reveals that explanatory practice in software engineering is in accordance with pragmatic explanatory pluralism, which states that explanations should at least partially be evaluated by their practical use. More specifically, I offer a defense of the idea that several explanation-types are legitimate in software engineering, and that the appropriateness of an explanation-type depends on (a) the engineer’s interests, and (b) the format of the explanation-seeking question he asks, with this format depending on his interests. This idea is defended (...) by considering examples that are representative for explanatory practice in software engineering. Different kinds of technological explanation are spelled out, and the dependence of their appropriateness on interests and question-formats is extensively illustrated. (shrink)

Rational decision making depends on what one believes, what one desires, and what one knows. In conventional decision models, beliefs are represented by probabilities and desires are represented by utilities. Software agents are knowledgeable entities capable of managing their own set of beliefs and desires, and they can decide upon the next operation to execute autonomously. They are also interactive entities capable of filtering communications and managing dialogues. Knowledgeability includes representing knowledge about the external world, reasoning with it, and sharing (...) it. Interactions include negotiations to perform tasks in cooperative, coordinative, and competitive ways. In this paper we focus on decision-making mechanisms for agent-based systems on the basis of agent interaction. We identify possible interaction scenarios and define mechanisms for decision making in uncertain environments. It is believed that software agents will become the underlying technology that offers the capability of distribution of competence, control, and information for the next generation of ubiquitous, distributed, and heterogeneous information systems. (shrink)

Baars (1988, 1997) has proposed a psychological theory of consciousness, called global workspace theory. The present study describes a software agent implementation of that theory, called ''Conscious'' Mattie (CMattie). CMattie operates in a clerical domain from within a UNIX operating system, sending messages and interpreting messages in natural language that organize seminars at a university. CMattie fleshes out global workspace theory with a detailed computational model that integrates contemporary architectures in cognitive science and artificial intelligence. Baars (1997) lists the psychological (...) ''facts that any complete theory of consciousness must explain'' in his appendix to In the Theater of Consciousness; global workspace theory was designed to explain these ''facts.'' The present article discusses how the design of CMattie accounts for these facts and thereby the extent to which it implements global workspace theory. (shrink)

There has been a transition in the way software developers work. Mistakes in software have been treated as "normal" occurrences. "All software has bugs." However, software engineering is an emerging profession which as a profession has now said that a caviler approach to software errors is unacceptable. They have asserted a very strong ethical position in the Software Engineering Code of Ethics and Professional Practice, a position which mandates concern for all those affected by their work. The Code has several (...) unique elements as a professional Code. (shrink)

The types of errors that emerge in the development and maintenance of software are essentially different from the types of errors that emerge in the development and maintenance of engineered hardware products. There is a set of standard responses to actual and potential hardware errors, including: engineering ethics codes, engineering practices, corporate policies and laws. The essential characteristics of software errors require new ethical, policy, and legal approaches to the development of software in the global arena.

Consumers of software often face an acquisition-mode decision, namely whether to purchase or pirate that software. In terms of consumer welfare, consumers who pirate software may stand in opposition to those who purchase it. Marketers also face a decision whether to attempt to thwart that piracy or to ignore, if not encourage it as an aid to their softwares diffusion, and policymakers face the decision whether to adopt interventionist policies, which are government-centric, or laissez faire policies, which are marketer-centric. Here (...) in order to assess the decision-making of all three of these stakeholders, we focus on the consumers point-of-view as central and examine it by considering on a comparative basis the ethical dimension versus other dimensions, including economic, legal, and other salient consumer behavior considerations. Based on a survey of 689 software consumers conducted over the Internet, the results indicate that ethics as a factor is embedded in a multidimensional set of determinant factors influencing software piracy, including attitudes, legal aspects, social support, perceptions of economic loss and age. Policy and research implications, based on these findings, are provided. (shrink)

‘Over a ten year period starting in the mid 90’s I became convinced that all these topics –game theory, economic design, voting theory –belonged to a common area which I called Social Software.’ — Rohit Parikh, [Parikh 05]: p. 252..

This study analyzed consumers’ willingness to pay (WTP) for non-pirated computer software and examined how attitudes toward intellectual property rights and perceived risk affect WTPs. Two commonly used software products, Microsoft Windows and Microsoft Office, were used in the study as objects to reveal consumer assessed values. A consumer survey was administered in Taiwan and the total valid samples were 799. Respondents in this study included students from senior high schools, colleges, and graduate schools, and general consumers who were no (...) longer full-time students. The estimated average WTP for Windows was USD 58.55 and for Office was USD 53.49, much lower than the respective suggested retail prices in the market. Social norms had strong positive influences on willingness-to-pay for software products. The prosecution risk did not significantly increase WTPs for software products due to the reason that individuals who used pirated software were not at a high risk of being prosecuted. Performance risk was positively correlated to WTPs for software products. The respondents segmented into the low-WTP cluster were more likely to use pirated software than those in the high-WTP segment. Source reliability, legitimacy, technical support, and customer service were emphasized in decisions of respondents in the high-WTP segment and could be used in marketing strategies. (shrink)

In U.S. v. American Library Association (2003), the Supreme Court upheld the Child Internet Protection Act (CIPA), which mandated that libraries receiving federal funding for public Internet access install content-filtering programs on computers which provide that access. These programs analyze incoming content, and block the receipt of objectionable material, in particular pornography. Thus, patrons at public libraries are protected from unintentionally (or intentionally) accessing objectionable material, and, in the case of minors, from accessing potentially damaging material. At least, that is (...) the official story. In this paper, I develop three points. (1) I argue that CIPA and ALA are better read as examples of the enforcement of a regime of normative sexuality. The question of minors accessing pornography is only relevant to the official story insofar as it provides a rhetorically persuasive example of deviance from that normative regime. CIPAs full target includes information about topics such as homosexuality and contraception. (2) Rather than (or in addition to) punishing deviances directly, CIPA attempts to constitute a “public” in which such deviancy can never occur in the first place. Hence, the designation of a “public” space serves to domesticate alternative sexualities and to sanitize that space of sexual difference. (3) This interaction at the border of the public and private spheres offers an opportunity to reflect on and underscore the ways that subject formation and subjectivity are mediated through technological artifacts like the Internet. (shrink)

This paper examines the impact of the level of economic development, income inequality, and five cultural variables on the rate of software piracy at the country level. The study finds that software piracy is significantly correlated to GNP per capita, income inequality, and individualism. Implications for anti-piracy programs and suggestions for future research are developed.

This paper assumes that the purpose of ethics is to open up a space for the possibility of moral conduct in the flow of everyday life. If this is the case then we can legitimately ask: "How then do we do ethics"? To attempt an answer to this important question, the paper presents some suggestions from the work of Emmanuel Levinas and Jacques Derrida. With Levinas, it is argued that ethics happens in the singularity of the face of the Other (...) before me "here and now". Ethics matters in my everyday contact with the Other that disturbs my egological existence and claims my response. But what about all other Others, not here now but nevertheless simultaneously already present? What about their equal claim on me? With Levinas and Derrida, the paper attempts to articulate the notion of singular justice as the simultaneous demand of all others requiring my response. In singular justice, the paper attempts to show how the demands of ethics (the singular) and the demands of justice (all other Others) can become the impossible possibility for a "justice where there is no distinction between those close and those far off, but in which there also remains the impossibility of passing by the closest". Furthermore, the paper attempts to argue that singular justice is our calling - or more precisely my calling - to do the right thing, here and now. Finally, by way of explication, the paper discusses a case of software piracy to try to show how singular justice can help us not to think about ethics, which is important, but to (almost) do it - which is very important. (shrink)

MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large, highly interconnected corpora: “MKM in the large”. We contend that advances in two areas are needed to reach this goal. We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on large knowledge bases. We present instances (...) of both in this paper: the MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDOC version; and TNTBase, a versioned storage system for XML- based document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT. (shrink)

Within artificial intelligence and the philosophy of mind,there is considerable disagreement over the relationship between anagent's body and its capacity for intelligent behavior. Some treatthe body as peripheral and tangential to intelligence; others arguethat embodiment and intelligence are inextricably linked. Softwareagents–-computer programs that interact with software environmentssuch as the Internet–-provide an ideal context in which to studythis tension. I develop a computational framework for analyzingembodiment. The framework generalizes the notion of a body beyondmerely having a physical presence. My analysis sheds (...) light oncertain claims made about the relevance of the body to intelligence,as well as on embodiment in software worlds. (shrink)

This essay explores the controversy over peer-to-peer (p2p) software, examining the legal and ethical dimensions of allowing software companies to develop p2p technologies. It argues that, under the Supreme Court’s ruling in the Sony betamax case, technology developers must be accorded the freedom to innovate and develop technologies that are capable of substantial noninfringing uses. This doctrine, known as the Sony doctrine, provides an important safe harbor for technological development, including p2p. The safe harbor, however, does not immunize conduct beyond (...) the design, sale, or supply of the product. For other conduct that falls outside the Sony safe harbor, the traditional standards of secondary liability apply. (shrink)

The possible relationship between widespread unauthorized copying of microcomputer software (also known as software piracy) and level of moral judgment is examined through analysis of over 350 survey questionnaires that included the Defining Issues Test as a measure of moral development. It is hypothesized that the higher one''s level of moral judgment, the less likely that one will approve of or engage in unauthorized copying. Analysis of the data indicate a high level of tolerance toward unauthorized copying and limited support (...) for the hypothesis. The most plausible explanation for these findings is that software copying is perceived as an issue of low moral intensity. This study calls into question the software industry''s strategy of concentrating exclusively on institutional compliance with copyright rules, rather than working to raise the perceived moral intensity about software piracy at the individual level. As long as the issue remains low in moral intensity, the industry cannot expect significant shifts in copying behaviors. Individuals must become more aware of and concerned about the nature and magnitude of harm to society and to the rightful copyright owners from unauthorized copying before their attitudes and behaviors come to reflect higher levels of moral judgment. (shrink)

Over the past four decades, software engineering has emerged as a discipline in its own right, though it has roots both in computer science and in classical engineering. Its philosophical foundations and premises are not yet well understood. In recent times, members of the software engineering community have started to search for such foundations. In particular, the philosophies of Kuhn and Popper have been used by philosophically-minded software engineers in search of a deeper understanding of their discipline. It seems, however, (...) that professional philosophers of science are not yet aware of this new discourse within the field of software engineering. Therefore, this article aims to reflect critically upon recent software engineers’ attempts towards a philosophy of software engineering and to introduce our own philosophical thoughts in this context. Finally, we invite the professional philosophers of science to participate in this interesting new discourse. (shrink)

Should software be sold “as is”, totally guaranteed, or something else? This paper suggests that “informed consent”, used extensively in medical ethics, is an appropriate way to envision the buyer/developer relationship when software is sold. We review why the technical difficulties preclude delivering perfect software, but allow statistical predictions about reliability. Then we borrow principles refined by medical ethics and apply them to computer professionals.

The free and open source software (Foss) movement deserves to be placed in an historico-ethical perspective that emphasizes the end user. Such an emphasis is able to enhance and support the Foss movement by arguing the ways it is heir to a tradition of professional ethical idealism and potentially related to important issues in the history of science, technology, and society relations. The focus on software from an end-user’s perspective also leads to the concept of program conviviality. From a non-technical (...) perspective, however, software is simply a new example of technology, and the effort to assure that technology is developed in a socially responsible manner has a significant history. The argument thus begins with observations about the history of technology. This leads to critical reflections on the development of professional engineering ethics, and to a discussion of the alternative technology movement. Finally, it concludes by indicating some criteria to consider when imagining the design of convivial software. (shrink)

A number of studies have investigated and found a significant relationship among economic wealth, Hofstede’s national culture dimensions, and software piracy rates (SPR). No study, however, has examined the relationship between economic wealth, culture, and the fact that national SPRs have been declining steadily since 1994. Using a larger sample than has previously been available (57 countries), we confirm the expected negative relationship between economic wealth, culture (individualism and masculinity) and levels of software piracy. The rate of decline in software (...) piracy, however, is found to be a cultural phenomenon, with two factors (power distance (PDI) and uncertainty avoidance (UAI)) working in opposition. Similar results are found for a subset of 37 relatively poor countries. This suggests that, while the rise in economic wealth seen for most countries should lead to a reduction in software piracy, the rate of decline is determined by cultural factors. Global strategies for dealing with software piracy are discussed. (shrink)

Over the past four decades, software engineering has emerged as a discipline in its own right, though it has roots both in computer science and in classical engineering. Its philosophical foundations and premises are not yet well understood. In recent times, members of the software engineering community have started to search for such foundations. In particular, the philosophies of Kuhn and Popper have been used by philosophically-minded software engineers in search of a deeper understanding of their discipline. It seems, however, (...) that professional philosophers of science are not yet aware of this new discourse within the field of software engineering. Therefore, this article aims to reflect critically upon recent software engineers’ attempts towards a philosophy of software engineering and to introduce our own philosophical thoughts in this context. Finally, we invite the professional philosophers of science to participate in this interesting new discourse. (shrink)

We suggest that the issue of constructing andverifying social procedures, which we suggestively call socialsoftware, be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise withsocial software which do not arise with computer software, but thesimilarities are nonetheless strong, and tools already exist which wouldenable us to start work on this important project. We give a variety ofsuggestive examples and indicate some theoretical work which alreadyexists.

An important perquisite for verification of the correctness of software is the ability to write mathematically precise documents that can be read by practitioners and advanced users. Without such documents, we won't know what properties we should verify. Tabular expressions, in which predicate expressions may appear, have been found useful for this purpose. We frequently use partial functions in our tabular documentation. Conventional interpretations of expressions that describe predicates are not appropriate for our application because they do not deal with (...) partial functions. Experience with this documentation has led us to choose a logic in which predicates are total but functions remain partial. We have found that this particular interpretation results in simpler expressions and is easily understood by practitioners. (shrink)

The purpose of this study is to investigate the salient factors influencing consumers’ attitudes and usage intentions towards pirated software. Using the Theory of Planned Behaviour, this study investigates the relationships between three sets of factors, i.e. personal, social and perceived behavioural control onto attitudes towards pirated software. Through a multiple regression, only personal factors have shown significant relationship with attitudes towards software piracy. Further results from this study have supported that favourable attitudes towards pirated software is likely to result (...) in stronger intentions to use pirated software. It was found that computer proficiency acts as a predictor for intentions towards pirated software, rather than a moderator as originally postulated. (shrink)

In this paper, I give a novel formulation of computational functionalism, based on the view that a piece of software is a particular component of a computer. (Specifically, a piece of software is a component whose function is to control the computer’s behavior.) I argue that my formulation of computational functionalism is philosophically more satisfactory than the standard formulation, because (i) it is faithful to our ordinary notions of hardware and software, thereby vindicating the original motivation of computational functionalism, and (...) (ii) it does not conflate functionalism and computationalism, thereby leaving computationalism open to refutation independently of functionalism. (shrink)

Program comprehension is an essential part of software engineering. The paper describes the constructivist theory of comprehension, a process based on assimilation and accommodation of knowledge. Assimilation means that the new facts are either added to the existing knowledge or rejected. Accommodation means that the existing knowledge is reorganized in order to absorb new facts. These processes are illustrated by case studies of knowledge-level reengineering of a legacy program and of incremental change. In both cases, we constructed preliminary knowledge from (...) the program documentation, and then adjusted it by comprehending the actual code. The case studies supported constructivism as a suitable theory of program comprehension. (shrink)

SUMMARY: If you think of analytic philosophy as disciplined argumentation, but with distinctive doctrinal commitments [to: positivism, logical atomism, ideal languages, verificationism, physicalistic reductionism, materialism, functionalism, connectivism, computational accounts of perception, and inductive accounts of language learning], then THAT analytic philosophy is fast going the way of acid rock and the plastic LP. Not because the method has betrayed the doctrines. Rather, the doctrines disintegrate under the method.

I shall argue that software agents can be attributed cognitive states, since their behaviour can be best understood by adopting the intentional stance. These cognitive states are legally relevant when agents are delegated by their users to engage, without users’ review, in choices based on their the agents’ own knowledge. Consequently, both with regard to torts and to contracts, legal rules designed for humans can also be applied to software agents, even though the latter do not have rights and duties (...) of their own. The implications of this approach in different areas of the law are then discussed, in particular with regard to contracts, torts, and personality. (shrink)

Efforts to counter software piracy are an increasing focus of software publishers. This study attempts to develop a profile of those who illegally copy software by looking at undergraduate and graduate students and the extent to which they pirate software. The data indicate factors that can be used to profile the software pirater. In particular, males were found to pirate software more frequently than females and older students more than younger students, based on self-reporting.