Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what really happens (...) in science. Hence, close observation of the ever-changing reduction relations in the developing sciences, and revision of philosophical positions based on these empirical observations, may, in the long run, be more conducive to an adequate understanding of inter-level relations than a traditional *a priori* approach. (shrink)
In this paper, reduction and its pragmatics are discussed in light of the development in computer science of languages to describe processes. The design of higher-level description languages within computer science has had the aim of allowing for description of the dynamics of processes in the (physical) world on a higher level avoiding all (physical) details of these processes. The higher description levels developed have dramatically increased the complexity of applications that came within reach. The pragmatic attitude of a (scientific) (...) practitioner in this area has become inherently anti-reductionist, but based on well-established reduction relations. The paper discusses how this perspective can be related to reduction in general, and to other domains where description of dynamics plays a main role, in particular, biological and cognitive domains. (shrink)
Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a system, is (...) explored. A completion operation on aspecific type of temporal theories, temporal completion, is introducedto be able to use classical proof techniques in verification withrespect to non-classical semantics covering default persistence. (shrink)
Explicitly considering human values in the design process of socio-technical systems has become a responsibility of designers. It is, however, challenging to design for values because (1) relevant values must be identified and communicated between all stakeholders and designers and (2) stakeholders’ values differ and trade-offs must be made. We focus on the first aspect, which requires elicitation of stakeholders’ situated values , i.e. values relevant to a specific real life context. Available techniques to elicit knowledge and requirements from stakeholders (...) lack in providing the context and means for reflection needed to elicit situated values as well as an explicit concept of value. In this paper we present our design of a tool to support active elicitation of stakeholders’ values and communication between stakeholders and designers. We conducted an exploratory user study in which we compared the suitability of methods used in social sciences for (1) eliciting situated values, (2) supporting people’s expressions of values and (3) being implemented in value elicitation tool. Based on the outcomes we propose a design for a value elicitation tool that consists of a mobile application used by stakeholders for data collection and in-situ self-reflection, and a website used collaboratively by designers and stakeholders to analyse and communicate values. Discussion focuses on contributions to value sensitive design. (shrink)
This paper provides preliminary insights into the process of sense-making and developing meaning with regard to corporate social responsibility (CSR) within 18 Dutch companies. It is based upon a research project carried out within the framework of the Dutch National Research Programme on CSR. The paper questions how change agents promoting CSR within these companies made sense of the meaning of CSR. How did they use language (and other instruments) to stimulate and underpin the contextual essence of CSR? Why did (...) they do that in this particular way? What were the consequences of this approach for shaping the process of CSR in their company? Did their efforts contribute to a new way of thinking and acting or was it merely putting old wine in new barrels? A preliminary conclusion is that change agents use above all linguistic artefacts (words and notions) and carry out practical projects while constructing meaning. Still, the meaning of meaning itself remains highly intangible, situational and personality related. (shrink)
The study of human evolution has attracted scientists of various disciplines, judging by the attendance of the conferences devoted to it, and by the publications concerned. In the course of years I became amazed about the seeming absence of a synthesis of the available information. This article presents an attempt to combine some results of the various publications.The study of human evolution has become particularly focussed on the emergence of language and human consciousness with respect to the social behaviour and (...) mental capacities of our closest relatives: the apes. Social relations imply communication, and mentation underlies the ability to communicate. The more it becomes apparent that the social behaviour of the apes resembles that of man in many respects, the greater the danger that typically, and perhaps even uniquely, human traits are ascribed to anthropoids. Anthropomorphic descriptions of animal behaviour tend to prevent a clear view on animal mentality. (shrink)
(2013). A Review of Evidence on Consent Bias in Research. The American Journal of Bioethics: Vol. 13, No. 4, pp. 42-44. doi: 10.1080/15265161.2013.767958.
Evolutionary game theoretic accounts of justice attempt to explain our willingness to follow certain principles of justice by appealing to robustness properties possessed by those principles. Skyrms (1996) offers one sketch of how such an account might go for divide-the-dollar, the simplest version of the Nash bargaining game, using the replicator dynamics of Taylor and Jonker (1978). In a recent article, D'Arms et al. (1998) criticize his account and describe a model which, they allege, undermines his theory. I sketch (...) a theory of evolutionary explanations of justice which avoids their methodological criticisms, and develop a spatial model of divide-the-dollar with more robust convergence properties than the models of Skyrms (1996) and D'Arms et al. (1998). (shrink)
Two examples demonstrate the possibility of extremely complicated non-convergent behavior in evolutionary game dynamics. For the Taylor-Jonker flow, the stable orbits for three strategies were investigated by Zeeman. Chaos does not occur with three strategies. This papers presents numerical evidence that chaotic dynamics on a strange attractor does occur with four strategies. Thus phenomenon is closely related to known examples of complicated behavior in Lotka-Volterra ecological models.
This paper discusses the explanatory significance of the equilibrium concept in the context of an example of extremely complicated dynamical behavior. In particular, numerical evidence is presented for the existence of chaotic dynamics on a "strange attractor" in the evolutionary game dynamics introduced by Taylor and Jonker [also known as the "replicator dynamics"]. This phenomenon is present already in four strategy evolutionary games where the dynamics takes place in a simplex in three dimensional space-the lowest number of dimensions (...) in which such a strange attractor is possible. From a dynamical point of view, it is the attractor-rather than the equilibrium-that is of prime interest. (shrink)
