Purpose – This paper aims to present an overview of the various ethical, societal and critical issues that micro- and nanotechnology-based small, energy self-sufficient sensor systems raise in different selected application fields. An ethical approach on the development of these technologies was taken in a very large international, multitechnological European project. The authors approach and methodology are presented in the paper and, based on this review, the authors propose general principles for this kind of work. Design/methodology/approach – The authors’ approach (...) is based on a great amount of experience working together in multi-disciplinary teams. Ethical issues have usually been handled in the authors’ work to some degree. In this project, the authors had the opportunity to emphasise the human view in technological development, utilise the authors’ experience from previous work and customise the authors’ approach to this particular case. In short, the authors created a wide set of application scenarios with technical and application field experts in the authors’ research project. The scenarios were evaluated with external application field experts, potential consumer users and ethics experts. Findings – Based on the authors’ experiences in this project and in previous work, the authors suggest a preliminary model for construction activity within technology development projects. The authors call this model the Human-Driven Design approach, and Ethics by Design as a more focussed sub-set of this approach. As all enabling technologies have both positive and negative usage possibilities, and so-called ethical assessment tends to focus on negative consequences, there are doubts from some stakeholders about including ethical perspectives in a technology development project. Research limitations/implications – The authors argue that the ethical perspective would be more influential if it were to provide a more positive and constructive contribution to the development of technology. The main findings related to the ethical challenges based on the actual work done in this project were the following: the main user concerns were in relation to access to information, digital division and the necessity of all the proposed measurements; the ethics experts highlighted the main ethical issues as privacy, autonomy, user control, freedom, medicalisation and human existence. Practical implications – Various technology assessment models and ethical approaches for technological development have been developed and performed for a long time, and recently, a new approach called Responsible Research and Innovation has been introduced. The authors’ intention is to give a concrete example for further development as a part of the development of this approach. Social implications – The authors’ study in this particular case covers various consumer application possibilities for small sensor systems. The application fields studied include health, well-being, safety, sustainability and empathic user interfaces. The authors believe that the ethical challenges identified are valuable to other researchers and practitioners who are studying and developing sensor-based solutions in similar fields. Originality/value – The authors’ study covers various consumer application possibilities of small sensor systems. The studied application fields include health, well-being, safety, sustainability and empathic user interfaces. The findings are valuable to other researchers and practitioners who are studying and developing sensor-based solutions to similar fields. (shrink)

The rise, fall and return of a concept -- Fundamental concepts : society and community -- Roles for sociology in society -- Societal sociology : walking the tight-rope -- Simmel and war -- Simmel and the modern condition -- Towards a wider concept of interaction -- Money -- Mass media -- The state.

The article investigates the validity of two different versions of the slippery slope argument construed in relation to human gene therapy: the empirical and the conceptual argument. The empirical version holds that our accepting somatic cell therapy will eventually cause our accepting eugenic medical goals. The conceptual version holds that we are logically committed to accepting such goals once we have accepted somatic cell therapy. It is argued that neither the empirical nor the conceptual version of the argument can provide (...) a conclusive moral reason for banning somatic cell therapy. According to a third interpretation, referred to as the arbitrary result argument, the many apparent similarities between somatic cell therapy and eugenic-based human genetic engineering drive us to make principled choices concerning what differences and similarities between the two practices should be regarded as morally (ir)relevant. Decisions of this kind are likely to have unpredictable moral consequences. Thus formulated, the slippery slope argument has much plausibility. One objects to somatic cell therapy not so much because of what is at the bottom of the slope on which it lies, but because it is on a slope of which one does not know what is at the bottom. While the arbitrary result argument does not provide a conclusive reason for prohibiting human gene therapy, it reminds of a very important thing: when making bioethical decisions, we should be as specific and as consistent as possible about our basic moral and medical concepts. (shrink)

In an editorial to a recent issue of Neurology, Richard Dees expresses the same criticism in an even more rigorous epistemic tone: Veikko Launis, Ph.D., is Professor of Medical Ethics and Adjunct Professor of Ethics and Social Philosophy at the University of Turku, Finland.FootnotesThis article is part of the Neuroethics of Brainreading research project, directed by myself and funded by the Academy of Finland. I am grateful to Olli Koistinen, Pekka Louhiala, Helena Siipi, and an anonymous referee for helpful (...) comments, criticism, and suggestions. (shrink)

One way to obtain a comprehensive semantics for various systems of modal logic is to use a general notion of non-normal world. In the present article, a general notion of modal system is considered together with a semantic framework provided by such a general notion of non-normal world. Methodologically, the main purpose of this paper is to provide a logical framework for the study of various modalities, notably prepositional attitudes. Some specific systems are studied together with semantics using non-normal worlds (...) of different kinds. (shrink)

Most public discussion has focused on those effects of genetic research that are considered in some way unwanted or unpleasant. For example, there has been much debate concerning the risks and the ethical appropriateness of genetic screening, gene therapy, and agricultural applications based on genetic techniques. It often claimed that genetic research may cause new problems such as genetic discrimination, stigmatization, environmental risks, or mistreatment of animals. Genes and Morality: New Essays adopts a critical attitude toward genetic research, on both (...) a theoretical and a practical level. It presents some of the most important problems in the ethics of genetic engineering, including the questions of genetic health and disease, genetic testing, responsibility for health, patenting non-human and human life, and problems related to the disclosure of genetic information. The aim of the book is to focus on real ethical and conceptual issues. Consider, for instance, the concept of genetic disease. As one of the contributors, Ingmar Pörn, writes, fear of genetic disease, or anxiety, is not itself a disease any more than fear of becoming unemployed is a disease. Alleviating such emotions is not a medical task to be discharged by drug therapy. The book also examines the philosophical foundations of these issues by discussing the most influential bioethical theories of today, including utilitarianism and principlism. (shrink)

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on (...) the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory. (shrink)

A systematic attempt to understand cognitive characteristics of translation by bringing its logical, pragmatic, and hermeneutic features together and examining a number of scientific, logical (philosophical and formal),and philosophical applications. The notion of translation investigated here is called explanatory since it is not a translation in the standard, meaning-saving sense but aims to provide an explanation for the meaning change in exact terms.

Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that this idea (...) constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin’s argument for multiple readings of Alpha graphs is circular. (shrink)

We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...) broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic. (shrink)

This article studies the participation of a group of elder females in a local health promotion association. The research is based on fieldwork carried out between 2004 and 2007 in an Andalusian agro-town. Drawing on ethnographic data collected, the participation of the women in the association and its influence on and significance for them are examined in terms of sociability, the public sphere and empowerment. The association serves as a special space for these women, who have highly gendered roles and (...) thus a limited social sphere. It encourages them to have their own relationships, time and space. Their participation in the association promotes a consciousness of their particular needs and brings new interests into their lives. (shrink)

Extant studies on stakeholder engagement have noted the inherent tensions arising from participation efforts, giving rise to the dark side of engagement. However, few studies have focused on organizational power relations that provide specific conditions for engagement and the related paradox that control represents. Drawing on strategy discourse and paradox as theoretical lenses, we examine engagement as a nexus of observed societal expectations, subjectivities provided by the strategy discourse, and the subject positions adopted by the individuals, giving rise to a (...) contradiction between openness and control. As a result, we present three modes of participation: inclusion, admittance, and quasi-participation. We contribute to stakeholder engagement and paradox literature by outlining the “engagement-control paradox” and showing how the prevailing strategy discourse may drive the use of participation as a form of control. Maintaining different modes of participation introduces inadvertent closure for participation and hinders strategy-making and the development of the organization. (shrink)

How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures? Mathematics is not about abstract objects, yet unlike fictionalism, modal-structuralism respects the truth of theorems and proofs. But it is nominalistic with respect to possibilia. The problem is that, for fear of reducing possibilia to actualities, the second-order modal logic that claims to axiomatise modal existence has no real semantics. There is no cross-identification of (...) higher-order mathematical entities and thus we cannot know what those entities are. I suggest that a scholastic notion of realism, interspersed with cross-identification of higher-order entities, can deliver the semantics without collapse. This semantics of modalities is related to Peirce's logic and his pragmaticist philosophy of mathematics. (shrink)

This is an interdisciplinary study of what is cognitively going on when we interpret, respresent, or evaluate cultural entities, works of art included. In addition, the role of interpretation in experience and in cultural objects is elucidated from a cognitive point of view. The book relies on theories of action, perception, possible worlds, modalities, intentionality. cognition, and brain research, and it contains anumber of case studies. The book ptovides some new insights into some much-discussed problems related to interpretation.

Freedom and time in Nicholas Berdyaev's philosophical thought.

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demonstrates that Venn actually introduced several methods to represent existentials but felt uneasy with them. The resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a satisfactory (...) symbolic representation for them. This difficulty points out issues that are inherent to the very nature of existentials. This paper assesses the various methods designed for the representation of existential statements with Venn diagrams. First, Venn’s own attempts are discussed and compared with other solutions proposed by his contemporaries and successors, notably Lewis Carroll and Peirce. Since disjunctives hold an important role in an effective representation of existentials, their representation is also discussed. Finally, recent methods for the diagrammatic representation of existing individuals, rather than mere existence, are surveyed. (shrink)

We present a dynamic approach to Peirce’s original construal of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-free and cut-free proof system for the dynamic logic of abductive inferences with neighborhood semantics. Our formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.

The book studies philosophical and mathematical-logical problems of modal notions. Its starting points are possible worlds semantics and Kripke models, and it also concentrates on proof-theoretic methods.

Two different but closely related issues in current cognitive science will be considered in this essay. One is the controversial and extensively discussed question of how connectionist and symbolic representations of knowledge are related to each other. The other concerns the notion of connectionist learning and its relevance for the understanding of the distinction between propositional and nonpropositional knowledge. More specifically, I shall give an overview of a result in Rantala and Vadén (1994) establishing a limiting case correspondence between symbolic (...) and connectionist representations and, on the other hand, study the problem, preliminarily investigated in Rantala (1998), of how propositional knowledge may arise from nonpropositional knowledge. I shall also try to point out that on some more or less plausible assumptions, often made by cognitive scientists, these results may have some significance when we try to comprehend the nature of human knowledge representation. Some of these assumptions are rather hypothethical and debatable for the time being and they will become justified in the future only if there will be more progress in the empirical and theoretical research on the brain and on artificial networks. The assumptions concern, besides some questions of the behavior of neural networks, such things as the relevance of pattern recognition for modelling human cognition, in particular, knowledge acquisition, and the relation between emergence and reduction. (shrink)

The theory of existential graphs, which Peirce ultimately divided into four quadrants , is a rich method of analysis in the philosophy of logic. Its $$\upbeta $$ β -part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of natural-language expressions such as complex donkey-type anaphora, quantificational patterns describing new mathematical concepts, and cognitive information processing. In the $$\upbeta $$ β -quadrant, he came close to inventing independence-friendly logic, the idea of which he (...) found indispensable in fulfilling the tasks –. (shrink)

This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...) transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system. (shrink)

Recent changes in service environments have changed the preconditions of their production and consumption. These changes include unbundling services from production processes, growth of the information-rich economy and society, the search for creativity in service production and consumption and continuing growth of digital technologies. These contextual changes affect city governments because they provide a range of infrastructure and welfare services to citizens. Concepts such as ‘smart city’, ‘intelligent city’ and ‘knowledge city’ build new horizons for cities in undertaking their challenging (...) service functions in an increasingly cost-conscious, competitive and environmentally oriented setting. What is essential in practically all of them is that they paint a picture of cities with smooth information processes, facilitation of creativity and innovativeness, and smart and sustainable solutions promoted through service platforms. This article discusses this topic, starting from the nature of services and the new service economy as the context of smart local public services. On this basis, we build an overall framework for understanding the basic forms and dimensions of smart public services. The focus is on conceptual systematisation of the key dimensions of smart services and the conceptual modelling of smart service platforms through which digital technology is increasingly embedded in social creativity. We provide examples of real-life smart service applications within the European context. (shrink)

Though formal metascience has made rapid advances over the past few decades, it has seldom been seen to contribute much to the rational reconstruction of scientic development; for the most part, logical concepts have found application in the synchronic analysis of scientic theories. It should be important, therefore, to consider to what extent diachronic or dynamic aspects of scientic theorizing may also be captured within the connes of a formal metascientic framework, and what tools are best suited for constructing a (...) general model of theory dynamics. (shrink)

Some have suggested that images can be arguments. Images can certainly bolster the acceptability of individual premises. We worry, though, that the static nature of images prevents them from ever playing a genuinely argumentative role. To show this, we call attention to a dilemma. The conclusion of a visual argument will either be explicit or implicit. If a visual argument includes its conclusion, then that conclusion must be demarcated from the premise or otherwise the argument will beg the question. If (...) a visual argument does not include its conclusion, then the premises on display must license that specific conclusion and not its opposite, in accordance with some demonstrable rationale. We show how major examples from the literature fail to escape this dilemma. Drawing inspiration from the graphical logic of C. S. Peirce, we suggest instead that images can be manipulated in a way that overcomes the dilemma. Diagrammatic reasoning can take one stepwise from an initial visual layout to a conclusion—thereby providing a principled rationale that bars opposite conclusions—and the visual inscription of this correct conclusion can come afterward in time—thereby distinguishing the conclusion from the premises. Even though this practical application of Peirce’s logical ideas to informal contexts requires that one make adjustments, we believe it points to a dynamic conception of visual argumentation that will prove more fertile in the long run. (shrink)