Studies examining the ways in which the training of engineers and scientists shapes their research strategies and scientific identities.

This article reviews recent work in socio-historical technology studies. Four problems, frequently mentioned in critical debates, are discussed—relativism, reflexivity, theory, and practice. The main body of the article is devoted to a discussion of the latter two problems. Requirements for a theory on socio-technical change are proposed, and one concrete example of a conceptual framework that meets these requirements is discussed. The second point of the article is to argue that present technology studies are now able to break away from (...) a too academic, internalistic perspective and return to the politically relevant "Science, Technology & Society" issues that informed much of this work more than a decade ago. (shrink)

This chapter contains sections titled: Constructivist Studies of Science and Technology The Origin and Development of the Social Construction of Technology The Social Construction of Technology as a Heuristics for Research Some Philosophical Questions Technology and Ideas Conceptual Issues Logic and Epistemological Issues Ethical Issues Issues of Political Philosophy Religious Issues References and Further Reading.

In this address to the president's plenary at the 2001 annual meeting of the Society for Social Studies of Science in Cambridge, Massachusetts, the author reflected on then recent international events and their possible implications for the research and teaching agendas of the social studies of science, technology, and medicine. He proposed the political engagement of science, technology, and society institutions and individual STS researchers while maintaining a strong commitment to the scholarly studies of science and technology. Drawing on the (...) work of René Gabriëls, the author elaborated a role for STS scholars as the new generation of “public intellectuals.”. (shrink)

This article applies a constructivist perspective to the analysis of a town-planning innovation. The so-called Cerdà Plan for the extension of Barcelona was launched in the 1860s and gave this city one of its most characteristic present features. For different reasons it can be considered an extraordinary case in town-planing history, though almost unknown to international scholars. The authors analyze the intense controversy that developed around the extension plan and the three technological frames involved. Finally, the relationship between power and (...) technology is discussed. The sociohistorical account is used to illustrate a specific concept of power, to be used in a politics of technology. (shrink)

At the occasion of the annual banquet of the Society for Social Studies of Science, the President commemorated Robert K. Merton, Dorothy Nelkin, and David Edge, who all died in 2003. The address highlights some of the contributions of these three scholars and past presidents to the development of the social studies of science, and to 4S.

The Health Council of the Netherlands is an independent scientific advisory board to the Dutch government in matters of public health. In this article we argue that even for an independent body such as the Health Council there seems to be no escape from the increasing intertwinement of scientific and societal processes. In order to produce a serviceable truth for policymaking, the council needs to reflect on what goes on in its socio-political surroundings. On the other hand, how could we (...) ever come to understand the legitimacy of the council when notions of scientific objectivity dissolve in such a reflexive, inherently political stance? In a situation where science and society are thoroughly interrelated, the Health Council somehow succeeds in bringing about or re-claiming some sense of objectivity. Our central question will be how to conceptualise this notion of 'objectivity' without having to rely on idealized notions of objectivity that are criticized in philosophical, sociological and historical studies of science and society. In order to do so, we will regard the objectivity of advisory reports of the Health Council as being constructed out of heterogeneous elements and under complex circumstances. The theoretical point will be empirically underpinned with case material drawn from activities of the Health Council in the period 1985-2002 in predominantly the subject areas healthcare and medical technology. (shrink)

In this essay, we consider questions arising from cases in which people request medical assistance in dying (MAiD) in unjust social circumstances. We develop our argument by asking two questions. First, can decisions made in the context of unjust social circumstance be meaningfully autonomous? We understand ‘unjust social circumstances’ to be circumstances in which people do not have meaningful access to the range of options to which they are entitled and ‘autonomy’ as self-governance in the service of personally meaningful goals, (...) values and commitments. People in these circumstances would choose otherwise, were conditions more just. We consider and reject arguments that the autonomy of people choosing death in the context of injustice is necessarily reduced, either by restricting their options for self-determination, through their internalisation of oppressive attitudes or by undermining their hope to the point that they despair. Second, should MAiD be available to people in such circumstances, even when a sound argument can be made that the agents in question are autonomous? In response, we use a harm reduction approach, arguing that even though such decisions are tragic, MAiD should be available. Our argument engages with relational theories of autonomy as well as recent criticism raised against them and is intended to be general in application, although it emerges in response to the Canadian legal regimen around MAiD, with a focus on recent changes in Canada’s eligibility criteria to qualify for MAiD. (shrink)

In this book, Phillip Wiebe examines religious, spiritual, and mystical experiences, assessing how these experiences appear to implicate a spiritual order. Despite the current prevalence of naturalism and atheism, he argues that experiences purporting to have a religious or spiritual significance deserve close empirical investigation. Wiebe surveys the broad scope of religious experience and considers different types of evidence that might give rise to a belief in phenomena such as spirits, paranormal events, God, and an afterlife. He demonstrates (...) that there are different explanations and interpretations of religious experiences, both because they are typically personal accounts, and they suggest a reality that is often unobservable. Wiebe also addresses how to evaluate evidence for theories that postulate unobservables in general, and a Theory of Spirits in particular. Calling for more rigorous investigation of these phenomena, Wiebe frames the study of religious experience among other accepted social sciences that seek to understand religion. (shrink)

The early essays in this volume proceed on the assumption that a compatability system can be fashioned that will not only bring religious knowledge claims into harmony with scientific claims, but will also show there to be a fundamental similarity of method in religious and scientific thinking. They are not, however, unambiguously successful. Consequently Wiebe sets out in the succeeding essays to seek an understanding of the religion/science relationship that does not assume they must be compatible. The examination, in (...) the final analysis, reveals a fundamental contradiction in the compatability system building programme which suggests that religious belief is beyond legitimation. (shrink)

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as "Alternating-time Temporal Logic". The key insight in (...) ATL is that the path quantifiers of CTL could be replaced by "cooperation modalities", of the form $\langle \langle \Gamma \rangle \rangle $, where Γ is a set of agents. The intended interpretation of an ATL formula $\langle \langle \Gamma \rangle \rangle \varphi $ is that the agents Γ can cooperate to ensure that φ holds. In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as "group Γ can cooperate to bring about φ iff it is common knowledge in Γ that ψ". The resulting logic -- Alternating-time Temporal Epistemic Logic -- shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

This paper attempts to reassess the educational affordances of digital screens, at a time when their educational impact has become incontournable, but is also increasingly growing suspicion. To bypass the redundancies of overly critical theoretical approaches, the paper foregrounds the subjectifying potentialities of the screen’s elusive technological ‘plasticity’. After the introduction, in which some pedagogical misgivings about the digital screen are addressed, we turn to Marie-José Mondzain’s historico-philosophical genealogy of iconoclasm. Trying to make sense of the aesthetic-political ambivalence that shrouded (...) the icon’s screenic agency within a Christian ‘economy of salvation’, and which climaxed in a politics of strictly economic equivalency, we concur with Peter Szendy that this ambivalence still haunts the icon’s contemporary heirs. By pedagogically re-reading Szendy’s alternative account of ‘iconomy’ we are subsequently led to make a case for exceeding neoliberal screening politics through an affirmation of the digital screen’s radical plasticity. Along with Yves Citton, we suggest, in our conclusion, that this post-critical affirmation calls for an ‘iconomical’ practice of care-ful experiments with the screen’s dynamic technologies. Instead of combating or adapting to its aesthetically dazzling algorithms, educational practices are required that allow these algorithmic quantities to qualitatively differentiate the uses that educands make of them. (shrink)

The social and legal implications of forensic DNA are paramount. For this reason, forensic DNA enjoys ample attention from legal, bioethics, and science and technology studies scholars. This article contributes to the scholarship by focusing on the neglected issue of sameness. We investigate a forensic courtroom case which started in the early ’90s and focus on three modes of making similarities: creating equality before the law, making identity, and establishing standards. We argue that equality before the law is not merely (...) a principle but a practice. In the context of DNA research, equality refers to using standardized technology and procedures to identify the criminal suspect. Our case shows the work at stake in introducing a new technology into the courtroom and serves as a lens, magnifying how contingencies and uncertainties are managed and ordered in everyday court practices to arrive at an equal treatment of the suspect. (shrink)

Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...) connected with other mental states—in particular, beliefs about the future and the abilities of the agent. So, we cannot study them in isolation. We must consider the interplay between intention revision and the revision of other mental states, which complicates the picture considerably. In this paper, we present some first steps towards a theory of intention revision. We develop a simple model of an agent’s mental states, and define intention revision operators. Using this model, we develop a logic of intention dynamics, and then investigate some of its properties. (shrink)

Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. (...) Second, we show that the effectiveness, feasibility, and synthesis problems for social laws may naturally be framed as atl model checking problems, and that as a consequence, existing atl model checkers may be applied to these problems. Third, we show that the complexity of the feasibility problem in our framework is no more complex in the general case than that of the corresponding problem in the Shoham–Tennenholtz framework (it is np-complete). Finally, we show how our basic framework can easily be extended to permit social laws in which constraints on the legality or otherwise of some action may be explicitly required. We illustrate the concepts and techniques developed by means of a running example. (shrink)

We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal systems (...) and of systems in the quantifier tradition, complexity as well as syntactic characterizations of special semantic constraints. Throughout the paper several techniques current in the theory of generalized quantifiers are used to obtain results in modal logic, and conversely. (shrink)

Humans do two types of actions, polimorphic actions and mimeomorphic actions. The ability to carry out polimorphic actions cannot be mastered outside of socialization. Mimeomorphic actions, however, can be learned in other ways; sometimes, they can be learned away from the context of practice. Polimorphic actions cannot be mimicked by machines, but some mimeomorphic actions can. Other mimeomorphic actions are too complex to mechanize. Actions that cannot be mechanized because they are physically complicated should not be confused with actions that (...) cannot be mechanized because socialization is needed to master them. The analysis has implications for recent debates concerning the differences and similarities between humans and machines. The implica tion of the analysis is that much more can be understood about the relationship between humans and machines if the difference is treated as being a consequence of the unique properties of human societies. In this article, the analysis is applied to cardiac catheteriza tion, pacemaker implantation, simulation of bodies, and work in a medical "SkillsLab.". (shrink)

In this paper I try to 'rethink' consistency as an educational quality for the 3rd millennium, following Italo Calvino's choice to take it up in his lecture series Memos for the Next Millennium, and despite the fact that the (final) lecture devoted to this quality remained unwritten. After reflecting on how consistency already plays a certain role in Calvino's other lectures, I expand on the specific educational implications of this role's unresolved ambivalence, in order to argue that this ambivalence, properly (...) understood, might be fully constitutive of the educational significance of consistency. To achieve such an understanding I turn to Gilles Deleuze and his concept of style as a 'practice' of consistency. Not only does a stylistic understanding of consistency offer interesting possibilities for a more constructive approach to the said ambivalence—between consistency as static stability and dynamic keeping-together- but as such it also speaks to a number of issues that are directly and fundamentally educational in nature. (shrink)

Living with cancer: a state of perpetual emergency -- Notes -- References -- PART IV: Environmental aesthetics and resistance -- 12. The great turning -- 13. The underestimated power effects of the discourses and practices of the food justice movement -- Pessimist premise -- General system failure -- The transformative strength of the three Foucaults -- How practices and discourses of the food justice movement illustrate the three Foucaults -- The biopolitical disaster of industrial agriculture -- Via Campesina: peasant knowledge, (...) land and power -- Urban agriculture: eaters' resistance and practices for a new food system -- Slow Food: putting eaters' culture back into "agriculture" -- Conclusion: get your hands dirty! -- Acknowledgements -- References -- 14. Interrogating the neoliberal biopolitics of the sustainable development-resilience nexus -- The political genealogy of sustainable development -- From security to resilience -- The disastrous and politically debased subject of resilience -- Conclusion: development contra neoliberalism? -- References -- 15. The aesthetics of triage: Towards life beyond survival -- Mechanism of a triage -- Photographic triage -- The cinematic triage -- Beyond survival -- References -- 16. End piece: Dealing with disastrous life -- Extra/ordinary disasters -- Dread life -- Towards a new critical framework? -- References -- Index. (shrink)

With contributions from experts in philosophy, archaeology, primatology, psychology, neuroscience, cognitive science of religion, and more, this book explores ...

Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.

We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent's knowledge containing exactly the information conveyed by some (honest) formula φ. Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a's decisions, it may be relevant that (he knows that) agent b does not know more than φ. There are (...) three ways to study the question whether a formula φ can be interpreted as minimal information. The first method is semantic and inspects 'minimal' models for φ (with respect to some information order ≤ on states). The second one is syntactic and searches for stable expansions, minimal with respect to some language $\scr{L}^{\ast}$ . The third method is a deductive test, known as the disjunction property. We present a condition under which the three methods are equivalent. Then, we show how to construct the order ≤ by collecting 'layered orders'. Focusing on the multi-agent case we identify languages $\scr{L}^{\ast}$ for various orders ≤, and show how they yield different notions of honesty for different multi-modal systems. We then provide several tools for studying honesty types and illustrate their usefulness on a number of examples, for three modal systems of particular interest. Finally, we relate the different notions of minimal knowledge, and describe possible patterns of honesty for these systems. (shrink)

We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that only knows and which honest enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and semantic criteria for (...) honesty. The rough syntactic definition of honesty is the existence of a minimal stable expansion, so the problem resides in the ordering relation underlying minimality. We discuss three different proposals for this ordering, together with their semantic counterparts, and show their effects on the induced notions of honesty. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

We define balance games, which describe the formation of friendships and enmity in social networks. We show that if the agents give high priority to future profits over short term gains, all Pareto optimal strategies will eventually result in a balanced network. If, on the other hand, agents prioritize short term gains over the long term, every Nash equilibrium eventually results in a network that is stable but that might not be balanced.

In this article we want to rethink the educational significance of the novel from the perspective of a ‘metanovelistic’ reading of Don Quixote, often acclaimed as the ‘first modern novel’. Our point of departure is two-fold: on the one hand, there is the controversial contemporary phenomenon of de-reading, and all the educational discussions it entails; on the other hand, there is the existing tradition of literary education, which has already extensively reflected upon the (moral, epistemological, ontological) relations between novel reading, (...) education, and subjectification, but which perhaps also has exhausted its means for doing so. To problematize this double starting point in a new way, we propose to revisit the ‘origins’ of the (Western) novel and novel reading, at the dawn of modernity. Exploring the differences between the narratives of subjectification represented by the Cartesian cogito and Cervantes’ Don Quixote—which were near-contemporaries—we strongly argue for an educational–philosophical rehabilitation of the latter. In a first movement, and in dialogue with novelists Milan Kundera and Carlos Fuentes, we do so by focusing on the novel as a particular form or configuration of knowledge—one that is by nature experimental and pluralist. In a second movement, we link this to Jean Baudrillard’s famous distinction between ‘simulation’ and ‘illusion’, claiming that novel reading qua educational subjectification always involves a quixotic practice of adventurous, ‘playful’, and public negotiation between reality and its more or less illusory alternatives. (shrink)

This paper primarily aims at conceptualizing a new philosophical approach to literature education, one that we—in the vein of certain pedagogical trends—propose to call “thing-centered”. Point of departure is the ongoing confrontation with a two-sided educational problem: on the one hand, the confrontation with the steady decline of younger generations’ engagements with ‘classical’ literature; on the other hand, that with the unsatisfactory answers which either accept this development, in light of the world’s irresistible digitization, or try overcoming it through a (...) more student-centered, ‘biographical’ appropriation of literature. Beyond the more immediate didactical difficulties which this two-fold problem poses, we ask ourselves the question whether it is not time for a more fundamental renewal of our understanding of literature’s contemporary educational significance. In answering this question, for which we turn to such diverse authors as Rousseau, Deleuze and Calvino, it is argued that if education is to continue its care for both classical literacy and literary classics—and not so much against as in relation to ascending digital literacies—a more radically immanent, thing-centered perspective is likely to prove the most sustainable, in the sense of enabling truly new, ‘care-ful’ literary-educational practices to emerge. (shrink)

ABSTRACTIn this paper we explore the possibility of rethinking the concept of emotional intelligence within the context of education. By developing a pedagogical dialogue with Michel Henry’s phenomenology of incarnation, we try to move beyond existing models of emotional intelligence by shifting the emphasis from the intellectual significance of emotion to a more original incarnate affectivity within intelligence, understood as lived sense-making. We claim that this ontological and ontogenetic perspective on emotion puts it at the heart of education. Yet only (...) because it evokes an understanding of education which is expressly non-functionalist: a disruptive, even dreadful event that marks the threshold and tension between what Henry terms Life and World. More than simply learning us to manage our emotions or recognize the value of experiences, emotional intelligence is about the very making of World out of Life, a Life that is at once radically subjective and communal. (shrink)