The author agrees with James Moor that computer technology, because it is ‘logically malleable’, is bringing about a genuine social revolution. Moor compares the computer revolution to the ‘industrial revolution’ of the late 18th and the 19th centuries; but it is argued here that a better comparison is with the ‘printing press revolution’ that occurred two centuries before that. Just as the major ethical theories of Bentham and Kant were developed in response to the printing press revolution, so a new (...) ethical theory is likely to emerge from computer ethics in response to the computer revolution. The newly emerging field of information ethics, therefore, is much more important than even its founders and advocates believe. (shrink)
This article discusses some``historical milestones'' in computer ethics, aswell as two alternative visions of the futureof computer ethics. Topics include theimpressive foundation for computer ethics laiddown by Norbert Wiener in the 1940s and early1950s; the pioneering efforts of Donn Parker,Joseph Weizenbaum and Walter Maner in the1970s; Krystyna Gorniak's hypothesis thatcomputer ethics will evolve into ``globalethics''; and Deborah Johnson's speculation thatcomputer ethics may someday ``disappear''.
In the present paper we give syntactical and semantical characterization of the class of algebras defined by P -compatible identities of modular ortholattices. We also describe the lattice of some subvarieties of the variety MOL Ex defined by so called externally compatible identities of modular ortholattices.
The lattices of varieties were studied in many works (see [4], [5], [11], [24], [31]). In this paper we describe the lattice of all subvarieties of the variety $G_{Ex}^n$ defined by so called externally compatible identities of Abelian groups and the identity xⁿ ≈ yxⁿ. The notation in this paper is the same as in [2].
One of the important problems of the emerging ICT-driven global society is the issue of maintaining the national identity, important in many parts of the world. It is done, among others, through cultivation of the national language. However, the ‘language of ICT’ is dominated by English, which causes tensions between thedesire (and the necessity) to use ICT and join the globalization process, and the desire to preserve the national identity and national language. There is also a fear that ICT will (...) force all people to think in English, and thus further jeopardize their sense of national identity. The use of ICT conditions people to ‘think English’ in communication with others in situations where they would normally use their native natural language. Moreover, it poses a potential danger of ‘culturalhomogenization,’ which in this case means the ‘Americanization’ of the ICT-driven global society. These problems indicate that there is an urgent need to find a way for people to benefit from digital technology, while maintaining their personal autonomy and the sense of national identity; accepting the new to the degree they feel comfortable with, while maintaining the ‘old ways’ as long as they want it. Such a solution could be the ‘dialectical synthesis’ of the various existing trends, and it would be a viable option for easing the current tensions. (shrink)
The concept of inconsistency has become recently the subject of many studies focused on the principle ex contradictione sequitur quodlibet which is a hallmark of the classical inconsistency. Stanisław Jaśkowski was the first who took a non-classical standpoint toward this principle building a system of propositional logic which rejects this classical principle. Rejecting it implies important consequences for the concept of classical negation, and poses the question in which properties the op-eration of negation should be endowed. The intention of this (...) article is to define the concept of inconsistency as well as the concept of negation in a way satisfying the main intuitions natural language users connect with the two notions occurring in propositions containing vague concepts. The vagueness of natural language dis-course leads to the phenomenon of the seeming contradiction characteristic of natural language. A non-standard consequence relation for such a language has been defined in terms of preferential semantics making use of the concept of most classical model. This non-standard consequence relation is applied to the ethical discourse. The concepts introduced in this article have been used to an interpretation of the contradictories of Plato's Parmenides, as well as to the rejection of dialetheism. (shrink)
The main aim of the present article is an outline of an intuitively adequate system of logic of the operator "being informed". Such a system should be different from the familiar systems of epistemic and doxastic logic. The principle of veracity occurring in epistemic logics does not describe adequately the information operator, since the information may be true as well as false. On the other hand, the principle of consistency of beliefs, occurring in doxastic logics, cannot be applied to information, (...) because the information can be inconsistent. Our logic of information, although it is based on Kripke's semantics, includes principles not occurring in the systems of epistemic and doxastic logics, such as the principle of incompleteness of information and the Brouwerian Axiom. We prove that this system is incomplete. We also suggest that it can be generalized to a dynamic logic in the sense of van Benthem. (shrink)
All empirical concepts belonging to natural language are vague. The vagueness of empirical discourse is a source of many semantical problems which have been known since ancient times. One of those problems concerns the so called sorites paradoxes. This article is an attempt to show that the paradoxes are either invalid or unsound inferences. Since classical logic is useless for semantical analysis of such inferences, the article makes use of the Belnap four-valued logic based on the bilattice FOUR. Belnap's logic (...) is the base logic for defining a nonmonotonic consequence relation which prefers models with classical valuations among all valuations of the four-valued logic whenever it is possible. The approach outlined in this article is intuitive, and has more advantages than the supervaluational approach. (shrink)
