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.

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.

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)

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)

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)

After the success of the hardback, students and academics will welcome the publication of this book in paperback. The aim of the book is to explore the connection between two perspectives that have had a profound effect upon contemporary thought: post–modernism and feminism. Through bringing together and systematically analysing the relations between these, Hekman is able to make a major intervention into current debates in social theory and philosophy. The critique of Enlightenment knowledge, she argues, is at the core of (...) both post–modernism and feminism. Each also offers a basis for critical reflections about the other. In particular, post–modern philosophy provides a means of criticizing aspects of contemporary feminism and thus contributing to the development of a more sophisticated approach to current feminist issues. (shrink)

Only human beings have a rich conceptual repertoire with concepts like tort, entropy, Abelian group, mannerism, icon and deconstruction. How have humans constructed these concepts? And once they have been constructed by adults, how do children acquire them? While primarily focusing on the second question, in The Origin of Concepts , Susan Carey shows that the answers to both overlap substantially. Carey begins by characterizing the innate starting point for conceptual development, namely systems of core cognition. Representations of core (...) cognition are the output of dedicated input analyzers, as with perceptual representations, but these core representations differ from perceptual representations in having more abstract contents and richer functional roles. Carey argues that the key to understanding cognitive development lies in recognizing conceptual discontinuities in which new representational systems emerge that have more expressive power than core cognition and are also incommensurate with core cognition and other earlier representational systems. Finally, Carey fleshes out Quinian bootstrapping, a learning mechanism that has been repeatedly sketched in the literature on the history and philosophy of science. She demonstrates that Quinian bootstrapping is a major mechanism in the construction of new representational resources over the course of childrens cognitive development. Carey shows how developmental cognitive science resolves aspects of long-standing philosophical debates about the existence, nature, content, and format of innate knowledge. She also shows that understanding the processes of conceptual development in children illuminates the historical process by which concepts are constructed, and transforms the way we think about philosophical problems about the nature of concepts and the relations between language and thought. (shrink)

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.

A casual comment by a student alerted the authors to the existence and prevalence of Internet-based paraphrasing tools. A subsequent quick Google search highlighted the broad range and availability of online paraphrasing tools which offer free ‘services’ to paraphrase large sections of text ranging from sentences, paragraphs, whole articles, book chapters or previously written assignments. The ease of access to online paraphrasing tools provides the potential for students to submit work they have not directly written themselves, or in the case (...) of academics and other authors, to rewrite previously published materials to sidestep self-plagiarism. Students placing trust in online paraphrasing tools as an easy way of complying with the requirement for originality in submissions are at risk in terms of the quality of the output generated and possibly of not achieving the learning outcomes as they may not fully understand the information they have compiled. There are further risks relating to the legitimacy of the outputs in terms of academic integrity and plagiarism. The purpose of this paper is to highlight the existence, development, use and detection of use of Internet based paraphrasing tools. To demonstrate the dangers in using paraphrasing tools an experiment was conducted using some easily accessible Internet-based paraphrasing tools to process part of an existing publication. Two sites are compared to demonstrate the types of differences that exist in the quality of the output from certain paraphrasing algorithms, and the present poor performance of online originality checking services such as Turnitin® to identify and link material processed via machine based paraphrasing tools. The implications for student skills in paraphrasing, academic integrity and the clues to assist staff in identifying the use of online paraphrasing tools are discussed. (shrink)

The Rejected Body argues that feminist theorizing has been skewed toward non-disabled experience, and that the knowledge of people with disabilities must be integrated into feminist ethics, discussions of bodily life, and criticism of the cognitive and social authority of medicine. Among the topics it addresses are who should be identified as disabled; whether disability is biomedical, social or both; what causes disability and what could 'cure' it; and whether scientific efforts to eliminate disabling physical conditions are morally justified. Wendell (...) provides a remarkable look at how cultural attitudes towards the body contribute to the stigma of disability and to widespread unwillingness to accept and provide for the body's inevitable weakness. (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.

The Unity of Reason is the first major study of Kant's account of reason. It argues that Kant's wide-ranging interests and goals can only be understood by redirecting attention from epistemological questions of his work to those concerning the nature of reason. Rather than accepting a notion of reason given by his predecessors, a fundamental aim of Kant's philosophy is to reconceive the nature of reason. This enables us to understand Kant's insistence on the unity of theoretical and practical reason (...) as well as his claim that his metaphysics was driven by practical and political ends. Neiman begins by discussing the historical roots of Kant's conception of reason, and by showing Kant's solution to problems which earlier conceptions left unresolved. Kant's notion of reason itself is examined through a discussion of all the activities Kant attributes to reason. In separate chapters discussing the role of reason in science, morality, religion, and philosophy, Neiman explores Kant's distinctions between reason and knowledge, and his difficult account of the regulative principles of reason. Through examination of these principles in Kant's major and minor writings, The Unity of Reason provides a fundamentally new perspective on Kant's entire work. (shrink)

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 this provocative book, Susan Bordo untangles the myths, ideologies, and pathologies of the modern female body. Bordo explores our tortured fascination with food, hunger, desire, and control, and its effects on women's lives.

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)

This paper will suggest a mapping for human dynamics to see where emerging digital technology currently and could further affect the dynamics of the human, technological and natural, and the cultural forms that define them. Emerging technology will be seen to reveal and surpass the limitations of human measures built on human abilities and perception. and the social structures that are derived from them. The formation of this conceptual mapping is based on the premise that digital technology has the ability (...) to better relay and hence refine dynamics working at points where culture is created and necessitated in our perception of a shared reality. Technology thus alleviates the layering, representation, labelling, and reification notions of culture that are based in human perceptual limitations. Information as referential will be seen against the tendency of technology to offer succinct mediation and direct actions as a format for any change and application with refined cultural constructions. The mapping presents a notion of homeostasis or more bereft of balance at the point where the proximal dynamics of the unit, that is, the individual, is closely supported by the technology with a changing orientation to the dynamics of a natural environment. The notion of a person as an individual is also reconsidered in terms of technology and how this changing definition is part of how we conceptualize a balanced world. Nonlinear mapping rendered in a complex will be introduced to align these mixed dynamics. Complex is here defined as a concurrence of dynamics evident in shifts of change that act as a whole and where each action affects the whole. As measures are revealed so, too, will be the source of notions of linearity and nonlinearity; mapping; point of view as a basis of complexity; and evolutionary theory as a function of a labeling of cultural dynamics. (shrink)

Summary Analogue models are actual physical setups used to model something else. They are especially useful when what we wish to investigate is difficult to observe or experiment upon due to size or distance in space or time: for example, if the thing we wish to investigate is too large, too far away, takes place on a time scale that is too long, does not yet exist or has ceased to exist. The range and variety of analogue models is too (...) extensive to attempt a survey. In this article, I describe and discuss several different analogue model experiments, the results of those model experiments, and the basis for constructing them and interpreting their results. Examples of analogue models for surface waves in lakes, for earthquakes and volcanoes in geophysics, and for black holes in general relativity, are described, with a focus on examining the bases for claims that these analogues are appropriate analogues of what they are used to investigate. A table showing three different kinds of bases for reasoning using analogue models is provided. Finally, it is shown how the examples in this article counter three common misconceptions about the use of analogue models in physics. (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)

In this paper, I take up the conciliatory-steadfast debate occurring within social epistemology in regards to the phenomenon of peer disagreement. I will argue, because the conciliatory perspective al-lows us to understand argumentation pragmatically—as a method of problem-solving within a community rather than as a method for obtaining the truth—that in most cases, we should not simply agree to disagree.

In this book, Abraham argues that a theological imagination can expand the contours of postcolonial theory through a reexamination of notions of subjectivity, gender, and violence in a dialogical model with Karl Rahner. She raises the question of whether postcolonial theory, with its disavowal of religious agency, can provide an invigorating occasion for Catholic theology.

Violence and the Remaking of a Self Susan J. Brison. Political activism (including lobbying for new legislation, speaking out, educating others, helping survivors) can also help to undo the double bind of self-blame versus helplessness.

My strategy is to examine a recent trend in philosophical discussions of responsibility, a trend that tries, but I think ultimately fails, to give an acceptable analysis of the conditions of responsibility. It fails due to what at first appear to be deep and irresolvable metaphysical problems. It is here that I suggest that the condition of sanity comes to the rescue. What at first appears to be an impossible requirement for responsibility---the requirement that the responsible agent have created her- (...) or himself---turns out to be the vastly more mundane and non controversial requirement that the responsible agent must, in a fairly standard sense, be sane. (shrink)

: Chronic illness is a major cause of disability, especially in women. Therefore, any adequate feminist understanding of disability must encompass chronic illnesses. I argue that there are important differences between healthy disabled and unhealthy disabled people that are likely to affect such issues as treatment of impairment in disability and feminist politics, accommodation of disability in activism and employment, identification of persons as disabled, disability pride, and prevention and "cure" of disabilities.

Late Tokugawa society and the crisis of community -- Before the Kojikiden : the divine age narrative in Tokugawa Japan -- Motoori Norinaga : discovering Japan -- Ueda Akinari : history and community -- Fujitani Mitsue : the poetics off community -- Tachibana Moribe : cosmology and community -- National literature, intellectual history, and the new Kokugaku -- Conclusion : imagined Japan(s).

To explain the causal relation between institutional rules and people’s actions and expectations, Searle relies upon his concept of the Background, the thesis that intentional states function only given a background of capacities that do not themselves consist in intentional phenomena. Any sentence, for instance, only acquires truth conditions or other conditions of satisfaction against a background of capacities, dispositions, know-how, etc. that are not themselves part of the content of the sentence. The Background also structures expectations. La Rouchefoucauld said, (...) for instance, that few people would fall in love if they had never read about it. (shrink)

On July 4, 1990, while on a morning walk in southern France, Susan Brison was attacked from behind, severely beaten, sexually assaulted, strangled to unconsciousness, and left for dead. She survived, but her world was destroyed. Her training as a philosopher could not help her make sense of things, and many of her fundamental assumptions about the nature of the self and the world it inhabits were shattered.At once a personal narrative of recovery and a philosophical exploration of trauma, (...) this book examines the undoing and remaking of a self in the aftermath of violence. It explores, from an interdisciplinary perspective, memory and truth, identity and self, autonomy and community. It offers imaginative access to the experience of a rape survivor as well as a reflective critique of a society in which women routinely fear and suffer sexual violence.As Brison observes, trauma disrupts memory, severs past from present, and incapacitates the ability to envision a future. Yet the act of bearing witness, she argues, facilitates recovery by integrating the experience into the survivor's life's story. She also argues for the importance, as well as the hazards, of using first-person narratives in understanding not only trauma, but also larger philosophical questions about what we can know and how we should live.Bravely and beautifully written, Aftermath is that rare book that is an illustration of its own arguments. (shrink)

The Flight to Objectivity offers a new reading of Descartes' Meditations informed by cultural history, psychoanalytic and cognitive psychology, and feminist thought.

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)

Susan Sherwin ist eine kanadische Philosophin und Wegbereiterin der feministischen Ethik. Bis zu ihrer Emeritierung war sie lange Zeit Professorin an der Dalhousie University in Halifax, Kanada. In ihrem Text „Foundations, Frameworks, Lenses: The Role of Theories in Bioethics“ von 1999 plädiert sie für eine kritische Reflexion gängiger Metaphern in der Bioethik.