It is known that a number of inference principles can be used to trivialise the axioms of naïve comprehension - the axioms underlying the naïve theory of sets. In this paper we systematise and extend these known results, to provide a number of general classes of axioms responsible for trivialising naïve comprehension.

This clear and accessible textbook and its associated website offer a state of the art introduction to the burgeoning field of computer ethics and professional responsibility. Includes discussion of hot topics such as the history of computing; the social context of computing; methods of ethical analysis; professional responsibility and codes of ethics; computer security, risks and liabilities; computer crime, viruses and hacking; data protection and privacy; intellectual property and the “open source” movement; global ethics and the internet Introduces key issues (...) and concepts at the start of each section, and features classroom-tested study questions, and lists of useful websites and further reading Provides a wealth of relevant case studies, and an easy-to learn case-analysis technique Is accompanied by a website, offering sample student answers, additional study questions, example case analyses, and discussion forums. (shrink)

In his paper [6], Greg Restall conjectured that a logic supports a naïve comprehension scheme if and only if it is robustly contraction free, that is, if and only if no contracting connective is definable in terms of the primitive connectives of the logic. In this paper, we present infinitely many counterexamples to Restall''s conjecture, in the form of purely implicational logics which are robustly contraction free, but which trivialize naïve comprehension.

Curry's paradox, sometimes described as a general version of the better known Russell's paradox, has intrigued logicians for some time. This paper examines the paradox in a natural deduction setting and critically examines some proposed restrictions to the logic by Fitch and Prawitz. We then offer a tentative counterexample to a conjecture by Tennant proposing a criterion for what is to count as a genuine paradox.

Since the advent of accessible online computing, the digital divide existed, it exists today and it will exist tomorrow. It means that almost every aspect of life will be affected, particularly for those who are most vulnerable for whatever reason. It is important that research-informed action addresses this unacceptable state. In this special issue, a number of perspectives are taken to consider different aspects of the digital divide. In total, they illustrate the synergistic value of crossing disciplinary boundaries and adopting (...) a plethora of research methods and philosophies. Thus, the guest editors and authors of this special issue have created a notable contribution to the fight against the digital divide. (shrink)

Purpose The purpose of this paper is to explore the ethical issues surrounding information systems practice with a view to encouraging greater involvement in this aspect of IS research. Information integrity relies upon the development and operation of computer-based information systems. Those who undertake the planning, development and operation of these information systems have obligations to assure information integrity and overall to contribute to the public good. This ethical dimension of information systems has attracted mixed attention in the IS academic (...) discipline. Design/methodology/approach The authors are a multidisciplinary team providing a rich, diverse experience which includes professional and information ethics, management information systems, software engineering, data repositories and information systems development. Each author has used this experience to review the IS ethics landscape, which provides four complimentary perspectives. These are synthesised to tease out trends and future pointers. Findings It is confirmed that there is a serious lack of research being undertaken relating to the ethical dimension of the Information Systems field. There is limited crossover between the well-established multidisciplinary community of Computer Ethics research and the traditional Information Systems research community. Originality/value An outline framework is offered which could provide an opportunity for rich and valuable dialogue across the two communities. This is proposed as the starting point for a proactive research and practice action plan for information systems ethics. (shrink)

This is an introduction to a set of papers on Computer Ethics from the conference ETHICOMP95. Taken as a whole, the collection of papers provides arguments and concepts to launch a new development in computer ethics: ‘Global Information Ethics’. A rationale for globalization is provided, as well as some early efforts which move in that direction.

In this paper we consider the implicational fragment of Abelian logic \ . We show that although the Abelian groups provide an semantics for the set of theorems of \ they do not for the associated consequence relation. We then show that the consequence relation is not algebraizable in the sense of Blok and Pigozzi . In the second part of the paper, we investigate an extension of \ in the same language and having the same set of theorems and (...) show that this new consequence relation is algebraizable with the Abelian groups as its equivalent algebraic semantics. Finally, we show that although \ is not algebraizable, it is order-algebraizable in the sense of Raftery. (shrink)

Global cultural homogenisation has significant consequences for our responsibility for others in distant parts of the globe. ICT gives a powerful impetus to this cultural homogenisation. There are a number of distinct elements that contribute to this.

In this paper are identified several critical ethical issues that arise in most software projects. Proactive ways to address these issues are detailed. These approaches are consistent with most professional software development standards.

The purpose of this paper is to set out a structured meta‐methodology, named DIODE, for the ethical assessment of new and emerging technologies. DIODE has been designed by a mixture of academics, governmental people and commercial practitioners. It is designed to help diverse organisations and individuals conduct ethical assessments of new and emerging technologies. A framework discussion paper was developed for consultation to ensure that DIODE addresses fundamental ethical concerns, has appropriate and manageable scope and is comprehensive in its ethical (...) compass. The resulting DIODE meta‐methodology uses flowcharts and templates, encompassing the use of diverse tools and techniques. There are two different angles for the ethical assessment of new technologies; a strategic-abstract angle and a project-application specific angle. DIODE includes two channels to accommodate this distinction. Early stage testing yielded positive feedback and mostly favourable comment. Additional guidance materials are being developed in response to the feedback. Without training and guidance, it is difficult for technologists to take ethical concerns into account during the development and deployment of new technologies. DIODE can provide that training and guidance through a practical meta‐methodology which should help ICT professionals, policy makers and academics. There is very little structured methodology material available on the ethical assessment of new technologies. The depth and sophistication contained in DIODE is therefore believed to be unique. DIODE provides practical help while remaining rooted in the philosophical and theoretical concepts of ethics. (shrink)

In 2013, the Edward Snowden disclosures, for which he has been described as a hero, a whistleblower, a dissident, a patriot and a traitor, shocked the world. Here was clear evidence of how technology was being used covertly to survey and control citizens. The impact of these disclosures continues to reverberate worldwide. It is therefore appropriate to devote a Special Issue of the Journal of Information, Communication and Ethics in Society to this topic.

Whether we are authors, publishers or readers, we have responsibilities and obligations to act in an ethically acceptable way within academic publishing. If the integrity of academic literature is to be maintained in the digital era, authors must be educated in publication ethics, publishers should actively promote ethical practice and decision makers should be mindful that strategy does not compromise ethical robustness. Only then will we have trustworthy relationships across the publishing landscape, and society will prosper.

This paper looks at citizen‐facing e‐government. It considers how the non‐discretionary nature of the citizen’s relationship with government makes citizen‐facing e‐government different from business‐consumer e‐commerce. Combined with the moral basis of the state, the paper argues that there is an obligation for the state to set an example, which should affect the design of citizen‐facing e‐government, with design‐for‐all being an appropriate philosophy. Other consequences should include a preference for open standards and a wariness of unintentional endorsement of commercial products. E‐government (...) should also offer a good level of data protection and security, and has a role in educating citizens in matters of computer security. Advantages and disadvantages that may come from e‐government adoption are considered, including a number of ways in which cost savings and increases in convenience may be achieved. There are brief discussions of questions of distribution of the benefits of e‐government adoption and of the relationship of e‐government to e‐democracy. (shrink)

Purpose – The purpose of this paper is to review the world of information and communications technology from its early days to the near future. The aim is to consider how successfully academia, industry and government have worked together in delivering ethically acceptable ICT which is accessible to those who might benefit from such advances. The paper concludes with suggestions of a fresh approach for the future. Design/methodology/approach – The paper draws upon evidence from the history of computers, funded research (...) projects, professional bodies in the field, the ETHICOMP conference series and reported ICT disasters. The author uses his experience as both an ICT practitioner and an academic in the ICT ethics field to synthesise the evidence so providing a foundation on which to build an outline global action plan. Findings – The paper lays out the findings that there has been much detailed observation and analysis of the ethical challenges surrounding ICT but the transformation of this into widespread practical positive action remains elusive. It explores why progress has been difficult. Originality/value – This review of the interconnecting landscapes of practical ICT, funded research and the ICT ethics community is new. The attempt to demonstrate what progress has been made and to identify the underlying factors which influence progress are valuable to future generations working in this area. The concluding suggestions for action offer a starting point for entering the next phase of ICT ethics. (shrink)

Students, the future Information and Communication Technology (ICT) professionals, are often perceived to have little understanding of the ethical issues associated with the use of ICTs. There is a growing recognition that the moral issues associated with the use of the new technologies should be brought to the attention of students. Furthermore, they should be encouraged to explore and think more deeply about the social and legal consequences of the use of ICTs. This paper describes the development of a tool (...) designed to raise students’ awareness of the social impact of ICTs. The tool offers guidance to students undertaking computing and computer-related courses when considering the social, legal and professional implications of the actions of participants in situations of ethical conflict. However, unlike previous work in this field, this tool is not based on an artificial intelligence paradigm. Aspects of the theoretical basis for the design of the tool and the tool’s practical development are discussed. Preliminary results from the testing of the tool are also discussed. (shrink)

The Software Engineering Code of Ethics and Professional Practice, intended as a standard for teaching and practicing software engineering, documents the ethical and professional obligations of software engineers. The code should instruct practitioners about the standards society expects them to meet, about what their peers strive for, and about what to expect of one another. In addition, the code should also inform the public about the responsibilities that are important to the profession. Adopted in 2000 by the IEEE Computer Society (...) and the ACM--two leading international computing societies--the code of ethics is intended as a guide for members of the evolving software engineering profession. The code was developed by a multinational task force with additional input from other professionals from industry, government posts, military installations, and educational professions. (shrink)

The development of educational technologies is enhancing a distinctive feature of learning environments: the learner’s personalized environment. However, the current literature in e-learning seems to neglect an important discussion: will individuals and organizations face an enhancement concerning ethical dilemmas due to this evolution? To promote this discussion, this paper builds on a consideration of e-learning definition and its ethical dilemmas, and human-centred learning concept and its dimensions, to examine the implications of integrating social and cultural contexts. By examining the evolution (...) of e-learning management systems the argument progresses to a discussion of the relationships between pedagogy and ethics. By framing evidence at different scales, the authors critically reflect on the ethical dilemmas embedded in e-learning systems. The discussion concludes with advocating the adoption of an extension of “three P” mode of pedagogy to become the “P3E” model: personalization, participation, productivity, lecturer’s ethics, learner’s ethics, and organizational ethics. (shrink)

Abelian Logic is a paraconsistent logic discovered independently by Meyer and Slaney [10] and Casari [2]. This logic is also referred to as Abelian Group Logic (AGL) [12] since its set of theorems is sound and complete with respect to the class of Abelian groups. In this paper we investigate the pure implication fragment A→ of Abelian logic. This is an extension of the implication fragment of linear logic, BCI. A Hilbert style axiomatic system for A→ can obtained by adding (...) the axiom A (dubbed the ‘axiom of relativity’ by Meyer and Slaney) to BCI, as follows: B (α → β) → ((γ → α) → (γ → β)) C (α → (β → γ)) → ((β → (α → γ)) I α → α A ((α → β) → β) → α MP α, α → β ⇒ β. (shrink)

An introduction to a special issue on computer ethics.

The versatility and adaptability of information technology offer many potential benefits to society, its organisations and its citizens; but there are also many associated risks. The social and ethical implications of this technology warrant special attention and have resulted in the creation of information ethics as a discrete area complementary to business ethics. Simon Rogerson is Director of the Centre for Computing and Social Responsibility at De Montfort University, The Gateway, Leicester, LE1 9BH, UK.

Purpose This paper aims to explore the evolution of academic publishing from the traditional roots to today’s online publishing cycle which embraces many of the elements of virtual space. Design/methodology/approach A case study approach is adopted using the Journal of Information, Communication and Ethics in Society to explore the revolutionary journey. Findings The value of using a range of virtual space facilities in tandem is assessed. Originality/value The paper can be used as a guide for academic editors and publishers in (...) reaching out to the next generations of the academic population. (shrink)

“The overall goal of information ethics is to integrate information technology and human values in such a way that IT advances and protects human values rather than doing damage to them” . We are pleased to present in this issue five papers from a recent European conference on information ethics edited and introduced by Simon Rogerson, Director of the Centre for Computing and Social Responsibility at De Montfort University, England.We are also pleased to announce a major new feature of the (...) Review, entitled Business Ethics on the Internet, which will be contributed from time to time by members of the Centre for Computing and Social Responsibility at De Montfort University. This will provide regular up‐to‐date information and comment on the resources which are becoming increasingly available on the Internet relating to the study of business ethics and the practice of ethical business. It will be launched in our July issue in an article entitled “Business Ethics on the Internet”. (shrink)

This is an analysis of JICES, a journal that, for 19 years, has captured, for the record, the broader issues surrounding digital technology and how these might be addressed; thus, resulting in acceptable digital technology. Established and up and coming scholars in the field need to be provided with supportive avenues to share their views and ideas of how to realise ethical digital technology. JICES continues to have a key role to play in this.

In his paper, ìRight Weakening and Right Contraction in LK î, Hirokawa investigates the properties of the structural rules of contraction and weak- ening as they appear in a certain sequent calculus formulation of Örst order classical logic. In what follows we explore the notion of correspondence, in particular with reference to the structural rules in the succedent, and in doing so critically examine the sensitivity of Hirokawaís results to the formulation of the calculus, both with respect to the formulations (...) of the rules governing the connectives present and to the choice of the connectives themselves. (shrink)

The overall theme for ETHICOMP 99 was “Look to the future of the Information Society”. The aim was to focus on how achievements of the past could be built upon to expand the field and to ensure that the important issues impacting upon society, its citizens and its organisations will be effectively addressed and so help improve the quality of life. The result was a conference rich in reflection, ideas and debate. The papers selected for this special edition illustrate this. (...) What is clear is that as technology advances so the issues that we face become more complex and more far reaching. We must address these issues objectively and in good time. The nature of these issues is such that a multidisciplinary approach is required which is one of the fundamental planks of the ETHICOMP series. The overall thrust of the papers in this edition is one of well founded debate which has much to offer by way of practical advice regarding the issues being addressed. (shrink)

The digital divide is a global reality. It exacerbates inequality of opportunity and social injustice. This explored in a short article.

The digital divide is a global reality. It exacerbates inequality of opportunity and social injustice. This explored in a short article.

We have decided that periodically we will invite a leading scholar to write a paper on a particular topic. This paper will be subject to responses from other leading scholars working in the same area. The hope is to provide an interdisciplinary perspective on an important issue which will be of interest to the readership and inspire some to submit further papers relevant to this discourse. In this way we aim to stimulate further cross-discipline dialogue. The first invited paper is (...) “From ‘ethics of the eye’ to ‘ethics of the hand’ by collaborative prototyping" by Ellen Christiansen. (shrink)

An introduction to a special issue on computer ethics.

The versatility and adaptability of information technology offer many potential benefits to society, its organisations and its citizens; but there are also many associated risks. The social and ethical implications of this technology warrant special attention and have resulted in the creation of information ethics as a discrete area complementary to business ethics. Simon Rogerson is Director of the Centre for Computing and Social Responsibility at De Montfort University, The Gateway, Leicester, LE1 9BH, UK.

“The overall goal of information ethics is to integrate information technology and human values in such a way that IT advances and protects human values rather than doing damage to them” (Simon Rogerson). We are pleased to present in this issue five papers from a recent European conference on information ethics edited and introduced by Simon Rogerson, Director of the Centre for Computing and Social Responsibility at De Montfort University, England.We are also pleased to announce a major new feature of (...) the Review, entitled Business Ethics on the Internet, which will be contributed from time to time by members of the Centre for Computing and Social Responsibility at De Montfort University. This will provide regular up‐to‐date information and comment on the resources which are becoming increasingly available on the Internet relating to the study of business ethics and the practice of ethical business. It will be launched in our July issue in an article entitled “Business Ethics on the Internet”. (shrink)