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)

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)

Original essays by leading philosophers of science explore the question of whether metaphysics can and should be naturalized--conducted as part of natural science.

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)

In many ways, Benedict (Baruch) de Spinoza appears to be a contradictory figure in the history of philosophy. From the beginning, he has been notorious as an "atheist" who seeks to substitute Nature for a personal deity; yet he was also, in Novalis's famous description, "the God-intoxicated man." He was an uncompromising necessitarian and causal determinist; yet his ethical ideal was to become a "free man." He maintained that the human mind and the human body are identical; yet he also (...) insisted that the human mind can achieve a kind of eternality that transcends the death of the body. He has been adopted by Marxists as a precursor of historical materialism, and by Hegelians as a precursor of absolute idealism. He was a psychological egoist, proclaiming that all individuals necessarily seek their own advantage and implying that other individuals were of value to him only insofar as they were useful to him; yet his writings aimed to promote human community based on love and friendship, he had many devoted friends, and even his critics were obliged to acknowledge that his personal conduct was above reproach. He held that the state has the right to do whatever it has the power to do, while at the same time he defended democracy and freedom of speech. He denied supernatural revelation and criticized popular religion as a grave danger to the peace and stability of the state; yet he devoted himself to the careful interpretation of scripture and argued for toleration and freedom of religion. Rarely employing figures of speech or rhetorical flourishes of any kind, his works are nevertheless among the most magisterial and uplifting of all philosophical writings, and they have inspired more poets and novelists than those of any other philosopher of the early modern period. (shrink)

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)

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)

The study of social norms sprawls across all of the social sciences but the the concept lacks a unified conception and formal theory. We synthesize an account that can be applied generally, at the social scale of analysis, and can be applied to empirical evidence generated in field and lab experiments. More specifically, we provide new analysis on representing norms for application in empirical political science, and in parts of economics that do not follow the recent trend among some behavioral (...) economists to build models of the cognitive and motivational states of individuals taken “one at a time”. Foundational sources for our project are Bicchieri (2006, 2017), Kuran (1995), and Stirling (2012, 2016). From Bicchieri take that a norm exists in a social structure when a significant networked subset of individuals share descriptive and injunctive expectations that it regulates their interactions. From Kuran we take the insight that prevailing norms may come to be widely disliked by participants in networks but survive because norm suppress public displays of disenchantment. From Stirling we apply conditional game theory (CGT) to provide the technical resources for building our model of a norm-regulated social interaction. The example we use is a multi-player Investment/Trust Game. (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)