Building a Better WarBot: Ethical Issues in the Design of Unmanned Systems for Military Applications

Unmanned systems in military applications will often play a role in determining the success or failure of combat missions and thus in determining who lives and dies in times of war. Designers of UMS must therefore consider ethical, as well as operational, requirements and limits when developing UMS. I group the ethical issues involved in UMS design under two broad headings, Building Safe Systems and Designing for the Law of Armed Conflict, and identify and discuss a number of issues under each of these headings. As well as identifying issues, I offer some analysis of their implications and how they might be addressed.

Social neuroscience of child and adolescent depression

The social neuroscience of child and adolescent depression is inherently multidisciplinary. Depressive disorders beginning early in life can have serious developmental and functional consequences. Psychopathology research has described depression's defining clinical and contextual features, and intervention research has characterized its response to treatment and prevention programs. Neuroendocrine, electrophysiological, and neuroimaging studies have identified core neurobiological aspects of early-onset mood disorders. These areas are reviewed using a developmental social neuroscience perspective for integrating disparate observations. The paper introduces a dynamic adaptive systems framework, and it discusses hedonic capacity, stress sensitivity, ruminative self-focus, and attentional impairments as fundamental components of mood disorders.     

Closed systems,explanations, and the cosmological argument

Examples involving infinite suspended chains or infinite trains are sometimes used to defend perceived weaknesses in traditional cosmological arguments. In this article, we distinguish two versions of the cosmological argument, suggest that such examples can only be relevant if it is one specific type of cosmological argument that is being considered, and then criticize the use of such examples in this particular type of cosmological argument. Our criticism revolves around a discussion of what it means to call a system closed, and what it means to call an explanation complete. Our analysis makes no suppositions about the nature of the infinite, and is therefore independent of many of the issues around which contemporary discussions of the cosmological argument have tended to revolve.     

When good theories make bad predictions

Chaos-related obstructions to predictability have been used to challenge accounts of theory validation based on the agreement between theoretical predictions and experimental data (Rueger & Sharp, 1996. The British Journal for the Philosophy of Science, 47, 93–112; Koperski, 1998. Philosophy of Science, 40, 194–212). These challenges are incomplete in two respects: (a) they do not show that chaotic regimes are unpredictable in principle (i.e., with unbounded resources) and, as a result, that there is something conceptually wrong with idealized expectations of correct predictions from acceptable theories, and (b) they do not explore whether chaos-induced predictive failures of deterministic models can be remedied by stochastic modeling. In this paper we appeal to an asymptotic analysis of state space trajectories and their numerical approximations to show that chaotic regimes are deterministically unpredictable even with unbounded resources. Additionally, we explain why stochastic models of chaotic systems, while predictively successful in some cases, are in general predictively as limited as deterministic ones. We conclude by suggesting that the way in which scientists deal with such principled obstructions to predictability calls for a more comprehensive approach to theory validation, on which experimental testing is augmented by a multifaceted mathematical analysis of theoretical models, capable of identifying chaos-related predictive failures as due to principled limitations which the world itself imposes on any less-than-omniscient epistemic access to some natural systems. We give special thanks to two anonymous reviewers for their helpful comments that have substantially contributed to the final version of this paper     

Logics of public communications

Multi-modal versions of propositional logics S5 or S4—commonly accepted as logics of knowledge—are capable of describing static states of knowledge but they do not reflect how the knowledge changes after communications among agents. In the present paper (part of broader research on logics of knowledge and communications) we define extensions of the logic S5 which can deal with public communications. The logics have natural semantics. We prove some completeness, decidability and interpretability results and formulate a general method that solves certain kind of problems involving public communications—among them well known puzzles of Muddy Children and Mr. Sum & Mr. Product. As the paper gives a formal logical treatment of the operation of restriction of the universe of a Kripke model, it contributes also to investigations of semantics for modal logics. This paper was originally published as Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z.W. Ras (Eds.), Proceedings of the fourth international symposium on methodologies for intelligent systems: Poster session program (pp. 201–216). Publisher: Oak Ridge National Laboratory, ORNL/DSRD-24. Research partly supported by NSF Grant CCR-8702307 and PSC-CUNY Grant 668283.     

The state of methods and tools for social systems change

The last decade or so has seen an increase in the rate of attention to systems change and the application of multiple theories to study and influence change in systems. This article considers how these theories, described in other articles in this issues, plus theories about complex adaptive systems open opportunities for us to continue to expand our repertoire of tools and methods to address systems change. These conceptual frameworks, tools, and methods are expected to help us increase our capacity to study and influence both planned and self-organizing systems change. New tools and methods have emerged and others are needed to help us continue to explore and influence the complex social systems within which we operate.     

Mathematizing phenomenology

Husserl is well known for his critique of the “mathematizing tendencies” of modern science, and is particularly emphatic that mathematics and phenomenology are distinct and in some sense incompatible. But Husserl himself uses mathematical methods in phenomenology. In the first half of the paper I give a detailed analysis of this tension, showing how those Husserlian doctrines which seem to speak against application of mathematics to phenomenology do not in fact do so. In the second half of the paper I focus on a particular example of Husserl’s “mathematized phenomenology”: his use of concepts from what is today called dynamical systems theory.

The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator

A continuous stochastic logic with a μ-operator μCSL is defined, and an interpretation through stochastic relations is proposed. We investigate morphisms for models of μCSL, showing that the associated congruences can be used for an investigation of bisimilarity. The Hennessy–Milner equivalence for μCSL is discussed, and it is shown that models are equivalent iff they are bisimilar, using a general criterion for bisimilarity from the theory of stochastic relations.