The deformation: Bataille and the irrepresentable The present article is focused on the interactions of matter and form in the writings of Georges Bataille. Starting with the notion of "formless" that he outlined in the journal Documents and through Georges Didi-Huberman's text on the "formless resemblance", we will try to show how, in Bataille's work, high and low respond to each other and intertwine to generate a "spastic" device of deformation that allows the desire to reshape the writing and the (...) images that surround it. For this purpose, we will apply Gilles Deleuze's approach to the painting of Francis Bacon, which is fundamentally opposed to "representation" in order to achieve what Deleuze calls the "pure figurative". The approach will help us to understand how Bataille's works respond to the same demand for "material deformation" and "formal materialization", which manifests itself by accident and is addressed less to the understanding than to sensibility. (shrink)

In 2005, IOS Press published the first issue of applied Ontology. At the time, we argued that, at the core of the journal, there was “a desire to understand the nature of reality and how people construe their world”. We declared that ontology was both “fundamental to human thought” and “to translating our thoughts into computational artifacts” (Guarino & Musen,2005). With an editorial board of distinguished scholars representing the fields of computer science, informatics, information science, philosophy, linguistics, psychology, and social (...) science, we had the firm belief that applied Ontologywould fulfill an important academic niche, becoming an essential forum for discussion on topics such as ontological analysis, conceptual modeling, and the role of domain models in building and managing information systems. The facts now show that we were correct. (shrink)

The capacity to attribute beliefs to others in order to understand action is one of the mainstays of human cognition. Yet it is debatable whether children attribute beliefs in the same way to all agents. In this paper, we present the results of a false-belief task concerning humans and God run with a sample of Maya children aged 4–7, and place them in the context of several psychological theories of cognitive development. Children were found to attribute beliefs in different ways (...) to humans and God. The evidence also speaks to the debate concerning the universality and uniformity of the development of folk-psychological reasoning. (shrink)

A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smith.

In this article, I analyze the working principle and associated concepts of the method of eidetic variation as illustrated by Husserl in Experience and Judgment. In so doing, I scrutinize the very specific sense in which, for Husserl, variation must be free in order to have intuition of a universal as pure, that is, as having a priori validity. I then discuss Husserl’s problematic claim that, even if totally free, the eidetic variation is actually not sufficient to achieve purity. The (...) reason for its insufficiency, I argue, must be sought in the habits of phantasy. To this aim, I first undertake a phenomenological analysis of the essence of these habits as passive tendencies of the phantasizing ego. Then, I show that they hinder the intuition of the universal as pure by contaminating the purity of the free possibilities to be varied. Finally, I discuss whether habits of phantasy can be put out of play and whether, depending on the realizability of such a task, the whole method of eidetic variation, and, in relation to it, the possibility of a priori knowledge advocated by Husserl is to be put into question. (shrink)

What makes someone responsible for a crime and therefore liable to punishment under the criminal law? Modern lawyers will quickly and easily point to the criminal law's requirement of concurrent actus reus and mens rea, doctrines of the criminal law which ensure that someone will only be found criminally responsible if they have committed criminal conduct while possessing capacities of understanding, awareness, and self-control at the time of offense. Any notion of criminal responsibility based on the character of the offender, (...) meaning an implication of criminality based on reputation or the assumed disposition of the person, would seem to today's criminal lawyer a relic of the 18th Century. In this volume, Nicola Lacey demonstrates that the practice of character-based patterns of attribution was not laid to rest in 18th Century criminal law, but is alive and well in contemporary English criminal responsibility-attribution. Building upon the analysis of criminal responsibility in her previous book, Women, Crime, and Character, Lacey investigates the changing nature of criminal responsibility in English law from the mid-18th Century to the early 21st Century. Through a combined philosophical, historical, and socio-legal approach, this volume evidences how the theory behind criminal responsibility has shifted over time. The character and outcome responsibility which dominated criminal law in the 18th Century diminished in ideological importance in the following two centuries, when the idea of responsibility as founded in capacity was gradually established as the core of criminal law. Lacey traces the historical trajectory of responsibility into the 21st Century, arguing that ideas of character responsibility and the discourse of responsibility as founded in risk are enjoying a renaissance in the modern criminal law. These ideas of criminal responsibility are explored through an examination of the institutions through which they are produced, interpreted and executed; the interests which have shaped both doctrines and institutions; and the substantive social functions which criminal law and punishment have been expected to perform at different points in history. (shrink)

In management theory and business practice, the dealing with diversity, especially a diverse workforce, has played a prominent role in recent years. In a globalizing economy companies recognized potential benefits of a multicultural workforce and tried to create more inclusive work environments. However, many organizations have been disappointed with the results they have achieved in their efforts to meet the diversity challenge [Cox: 2001, Creating the Multicultural Organization (Jossey-Bass, San Francisco)]. We see the reason for this in the fact that (...) while much attention has been paid to the strategic dimension of diversity policies, systems, and processes, much less thought has been given to the normative dimension, the norms and values involved. Given the fact that diversity is essentially about cultural norms and values, appropriate reflection work becomes a fundamental task to create a truly inclusive work environment where people from diverse backgrounds feel respected and recognized. Therefore, we focus in this article on the challenge of building an inclusive diversity culture showing that such a culture of inclusion has to be built on solid moral grounds. We present a conceptual framework of inclusion based on a moral theory of recognition and introduce the founding principles of reciprocal understanding, standpoint plurality and mutual enabling, trust and integrity. After revealing barriers that hinder a culture of inclusion from emerging we shed light on the process of developing such a culture which involves four essential transformational stages: The first phase focuses on raising awareness, building understanding and encouraging reflection. The second phase deals with the development of a vision of inclusion as an important step to define the change direction. In a third phase key management concepts and principles should be re-thought. This leads to the fourth, action-oriented phase, that focuses on an integrated Human Relations Management (HRM)1 system that helps implement change by doing both, translating the founding principles via competencies into observable and measurable behavior and fostering the development, reinforcement and recognition of inclusive behavior. (shrink)

A new approach to sentencing Not Just Deserts inaugurates a radical shift in the research agenda of criminology. The authors attack currently fashionable retributivist theories of punishment, arguing that the criminal justice system is so integrated that sentencing policy has to be considered in the system-wide context. They offer a comprehensive theory of criminal justice which draws on a philosophical view of the good and the right, and which points the way to practical intervention in the real world of incremental (...) reform. They put the case for a criminal justice system which maximizes freedom in the old republican sense of the term, and which they call `dominion'. (shrink)

This paper contributes to the computer ethics debate on software ownership protection by examining the ontological, methodological, and ethical problems related to property right infringement that should come prior to any legal discussion. The ontological problem consists in determining precisely what it is for a computer program to be a copy of another one, a largely neglected problem in computer ethics. The methodological problem is defined as the difficulty of deciding whether a given software system is a copy of another (...) system. And the ethical problem corresponds to establishing when a copy constitutes, or does not constitute, a property right infringement. The ontological problem is solved on the logical analysis of abstract machines, and the latter are argued to be the appropriate level of abstraction for software at which the methodological and the ethical problems can be successfully addressed. (shrink)

Within contemporary penal philosophy, the view that punishment can only be justified if the offender is a moral agent who is responsible and hence blameworthy for their offence is one of the few areas on which a consensus prevails. In recent literature, this precept is associated with the retributive tradition, in the modern form of ‘just deserts’. Turning its back on the rehabilitative ideal, this tradition forges a strong association between the justification of punishment, the attribution of responsible agency in (...) relation to the offence, and the appropriateness of blame. By contrast, effective clinical treatment of disorders of agency employs a conceptual framework in which ideas of responsibility and blameworthiness are clearly separated from what we call ‘affective blame’: the range of hostile, negative attitudes and emotions that are typical human responses to criminal or immoral conduct. We argue that taking this clinical model of ‘responsibility without blame’ into the legal realm offers new possibilities. Theoretically, it allows for the reconciliation of the idea of ‘just deserts’ with a rehabilitative ideal in penal philosophy. Punishment can be reconceived as consequences—typically negative but occasionally not, so long as they are serious and appropriate to the crime and the context—imposed in response to, by reason of, and in proportion to responsibility and blameworthiness, but without the hard treatment and stigma typical of affective blame. Practically, it suggests how sentencing and punishment can better avoid affective blame and instead further rehabilitative and related ends, while yet serving the demands of justice. (shrink)

East Asians have been found to reason in relatively holistic fashion and Americans in relatively analytic fashion. It has been proposed that these cognitive differences are the result of social practices that encourage interdependence for Asians and independence for Americans. If so, cognitive differences might be found even across regions that are geographically close. We compared performance on a categorization task of relatively interdependent southern Italians and relatively independent northern Italians and found the former to reason in a more holistic (...) fashion than the latter. Furthermore, as it has been argued that working class social practices encourage interdependence and middle class practices encourage independence, we anticipated that working class participants might reason in a more holistic fashion than middle class participants. This is what we found – at least for southern Italy. (shrink)

Substance addiction has been historically conceived and widely researched as a brain disease. There have been ample criticisms of brain-centred approaches to addiction, and this paper aims to align with one such criticism by applying insights from phenomenology of psychiatry. More precisely, this work will apply Merleau-Ponty’s insightful distinction between the biological and lived body. In this light, the disease model emerges as an incomplete account of substance addiction because it captures only its biological aspects. When considering addiction as a (...) brain disorder, it will be shown that research fails to account for the contextual, functional, and emotional aspects inherent to subjective health. It is concluded that, while the disease model is fundamental to our understanding of what happens in the brain, its brain-centred approach is cure-oriented. Instead, we suggest a care-orientated approach, which understands and treats the psychological feel as bodily experience situated in an environment, allowing for a more encompassing therapeutic perspective. (shrink)

Shortlisted for the 2005 British Academy Book prize, Nicola Lacey's entrancing biography recounts the life of H.L.A. Hart, the pre-eminent legal philosopher of the twentieth century. Following Hart's life from modest origins as the son of Jewish tailor parents in Yorkshire to worldwide fame as the most influential English-speaking legal theorist of the post-War era, the book traces his successive metamorphoses; from Yorkshire schoolboy to Oxford scholar, from government intelligence officer to Professor of Jurisprudence, from awkward batchelor to family (...) figurehead. In the tradition of Ray Monk's biography of Wittgenstein, Nicola Lacey paints an absorbing picture of intellectual and psychological development, of a mind struggling to cope with intellectual self-doubt, uncertain sexuality, a difficult marriage and an anti-semitic society. In depicting the evolution of Hart's life and mind, Lacey provides a vivid recreation of both the intellectual and social climate of Oxford in the post-War era. (shrink)

Moral and legal philosophy are too entangled: moral philosophy is prone to model interpersonal moral relationships on a juridical image, and legal philosophy often proceeds as if the criminal law is an institutional reflection of juridically imagined interpersonal moral relationships. This article challenges this alignment and in so doing argues that the function of the criminal law lies not fundamentally in moral blame, but in regulation of harmful conduct. The upshot is that, in contrast to interpersonal relationships, the criminal law (...) cannot lose its standing to blame through institutional analogues of hypocrisy, complicity, and meddling. Rather, certain forms of structural and severe historical and contemporary injustice point to the question of the overall legitimacy of state authority. (shrink)

We present in this paper a novel ontological theory of events whose central tenet is the Aristotelian distinction between the object that changes and the actual subject of change, which is what we call an individual quality. While in the Kimian tradition events are individuated by a triple ⟨ o, P, t ⟩, where o is an object, P a property, and t an interval of time, for us the simplest events are qualitative changes, individuated by a triple ⟨ o, (...) q, t ⟩, where q is an individual quality inhering in o or in one of its parts. Detaching the individuation of events from the property they exemplify results in a fine-grained theory that keeps metaphysics and semantics clearly separate, and lies between the multiplicative and the unitarian approaches. We discuss then the way language refers to events, observing that, in most cases, event descriptions refer to complex, cognitively relevant clusters of co-occurring qualitative changes, which exhibit a synchronic structure depending on the way they are described. Contra Bennett, who famously argued that the semantics of event names ultimately depends on “local context and unprincipled intuitions”, we show how the lexicon provides systematic principles for individuating such clusters and classifying them into kinds. Finally, we address some open challenges in the semantics of locative and manner modifiers. (shrink)

We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge repre- sentation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and rela- tionships, suggesting that relationships are the focus of events, which emerge (...) from the context (the scene) they occur in. (shrink)

The aim of this work is to analyze the constitution of a new collective subject thanks to wearable computers. Wearable computers are emerging technologies which are supposed to become pervasively used in the near future. They are devices designed to be on us every single moment of our life and to capture every experience we have. Therefore, we need to be prepared to such intrusive devices and to analyze potential effect they will have on us and our society. Thanks to (...) a phenomenological and postphenomenological analysis, we will show how these technologies are able to generate a new collective subject with its different collective needs and appetites by merging the living body of many subjects into one. The world becomes dwelled by these new collective subjects, and we will feed their own peculiar needs. (shrink)

In the present article, I introduce Husserl’s analyses of ‘natural causality’ and ‘volitional causality’, which are collected in the volume ‘Wille und Handlung’ of the Husserliana edition Studien zur Struktur des Bewußtseins. My aim is to show that Husserl’s insight into these phenomena enables us to understand more clearly both the specificity of, and the relation between, the motivational nexus belonging to the sphere of the will in contrast with the causal laws of nature. In light of this understanding, in (...) the last part of the article I reflect on whether and to what extent there is, in fact, an ontological and epistemological compatibility between volitional causality and natural causality. (shrink)

Ackrill’s Problem is a tension between Aristotle’s alleged view that the matter of a living being is a body that is essentially ensouled, and his view that the matter of a substance preexists its generation. Most interpreters solve the tension by claiming that the subject of substantial generation is not the organic body of the living being, but its non-organic matter. I defend a different solution by showing that the embryological theory ofOn the Generation of Animalsimplies that the organic body (...) of a living being already exists before acquiring the soul in actuality. (shrink)

In this article we argue that the social value of health research should be conceptualized as a function of both the expected benefits of the research and the priority that the beneficiaries deserve. People deserve greater priority the worse off they are. This conception of social value can be applied for at least two important purposes: in health research priority setting when research funders, policy-makers, or researchers decide between alternative research projects; and in evaluating the ethics of proposed research proposals (...) when research ethics committees assess whether the social value of the research is sufficient to justify the risks and burdens to research participants and others. In assessing how far a proposed research project will advance the interests of people who are more disadvantaged, research priority setters and RECs should examine the diseases that the research targets and the type of research. Just as certain diseases impose a greater burden on people who are more disadvantaged, so certain types of intervention and forms of research are more likely to benefit people who are more disadvantaged. We outline which populations are likely to be representative of the global worst off and identify what types of health research, and which disease categories, are priorities for these populations. (shrink)

In the present article, I discuss Husserl’s analysis of the genesis of action in the Husserliana edition Studien zur Struktur des Bewusstseins. My aim is to clarify how a “voluntary action” has its...

Background: Compassion fatigue is recognized as impacting the health and effectiveness of healthcare providers, and consequently, patient care. Compassion fatigue is distinct from “burnout.” Reliable measurement tools, such as the Professional Quality of Life scale, have been developed to measure the prevalence, and predict risk of compassion fatigue. This study reviews the prevalence of compassion fatigue among healthcare practitioners, and relationships to demographic variables. Methods: A systematic review was conducted using key words in MEDLINE, PubMed, and Ovid databases. Data were (...) extracted from a total of 71 articles meeting inclusion criteria, from studies measuring compassion fatigue in healthcare providers using a validated instrument. Quantitative and qualitative data were extracted and compiled by three independent reviewers into an evidence table that included basic study characteristics, study strength and quality determination, measurements of compassion fatigue, and general findings. Meta-analysis, where data allowed, was stratified by Professional Quality of Life version, heterogeneity was quantified, and pooled means were reported with 95% confidence interval. A table of major study characteristics and results was created. Ethical consideration: This paper contains no primary data obtained directly from research participants. Data obtained from previously published resources have been acknowledged within references. Psychological distress, particularly compassion fatigue, can be insidious, no health profession is immune, and may significantly impact the ability to provide care. Results: A total of 71 studies were included. Compassion fatigue was reported across all practitioner groups studied. Relationships to most demographic variables such as years of experience and specialty were either not statistically significant or unclear. Variability in reporting of Professional Quality of Life results was found. Interpretation: Compassion fatigue exists across diverse practitioner groups. Prevalence is highly variable, and its relationship with demographic, personal, and/or professional variables is inconsistent. Questions are raised about how to mitigate compassion fatigue. (shrink)

Digital technologies are pervasively used, and they are becoming part of our everyday actions by being designed to be connected to every aspect of our private life like emotions. However, it is not very clear how they are going to change who we are through their tight intertwinement. Especially in relation to emotions, it is not clear at all what happens when they become digitalized and visualized through these digital devices. Usually, the research focusses on the effect on the privacy (...) of the intrusion of digital devices in our lives as if this process of digitalization leaves the meanings human beings give to their emotions untouched. This article does not focus on the privacy related to the personal information captured by the devices, but it aims to open an analysis of the effects of this digitalization on the emotions in order to highlight the fact the introduction of these digital technologies change what emotions are. (shrink)

The aim of this paper is to analyse teledildonics from a phenomenological perspective in order to show the possible effects they will have on ourselves and on our society. The new way of using digital technologies is to merge digital activities with our everyday praxes, and there are already devices which enable subjects to be digitally connected in every moment of their lives. Even the most intimate ones are becoming mediated by devices such as teledildonics which digitally provide a tactual (...) stimulation allowing users to have sexual intercourse through them. The efforts made in order to provide such an intertwinement of our everyday lives and digital technologies are evident, but the effects produced by them are not clear at all. This paper will analyse these technologies from a phenomenological perspective in order to understand their effects on the constitution of the subjects and on our society at the intimate level. (shrink)

The paper purports to show that truth-atemporalism, the thesis that truth is timeless, is incompatible with power to do otherwise. Since a parallel and simpler argument can be run to the effect that truth-omnitemporalism, the thesis that truth is sempiternal, is incompatible with power to do otherwise, our conclusion achieves greater generality, and the possible shift from the claim that truth is omnitemporal to the claim that it is atemporal becomes useless for the purpose to resist it. On the other (...) hand, our argument for the conclusion that both Atemporalism and Omnitemporalism are incompatible with power to do otherwise will be shown independent of the debated assumption that the past is inalterable. So our argument goes through independently of whether Ockhamists are right in insisting that the soft facts about the past are alterable. (shrink)

A common view is that self-identity is essential to objects if anything is. Itself a substantive metaphysical view, this is a position of some import in wider debates, particularly in connection with such problems as physicalism and personal identity. In this article I challenge the view. I distinguish between two accounts of essence, the modal and the definitional, and argue that self-identity is essential to objects on the former but not on the latter. After laying out my case, I deal (...) with a number of objections. (shrink)

In the present article I discuss, in confrontation with the most recent studies on Husserl’s phenomenology of acting and willing, the taxonomy of action that is collected in the volume ‘_Wille und Handlung_’ of the Husserliana edition _Studien zur Struktur des Bewussteins_. In so doing, I first present Husserl’s universal characterization of action (_Handlung_) as a volitional process (_willentlicher Vorgang_). Then, after clarifying what it means for a process to have a character of volitionality (_Willentlichkeit_), I illustrate the various types (...) of actions, which Husserl distinguishes as ‘straightforward’ (_schlicht_) or ‘deciding’ (_entscheidend_), ‘primary’ (_primär_) or ‘secondary’ (_sekundär_), ‘inner’ (_innere_) or ‘outer’ (_äußere_), ‘immediate’ (_unmittelbar_) or mediate (_mittelbar_), ‘simple’ (_einfach_) or ‘compound’ (_zusammengesetzt_). Finally, I consider Husserl’s discussion of the direction and foundation of action. (shrink)

This paper contributes to the ongoing reassessment of the controversy between William Bateson and Karl Pearson by characterising what we call “Batesonian Mendelism” and “Pearsonian biometry” as coherent and competing scientific outlooks. Contrary to the thesis that such a controversy stemmed from diverging theoretical commitments on the nature of heredity and evolution, we argue that Pearson’s and Bateson’s alternative views on those processes ultimately relied on different appraisals of the methodological value of the statistical apparatus developed by Francis Galton. Accordingly, (...) we contend that Bateson’s belief in the primacy of cross-breeding experiments over statistical analysis constituted a minimal methodological unifying condition ensuring the internal coherence of Batesonian Mendelism. Moreover, this same belief implied a view of the study of heredity and evolution as an experimental endeavour and a conception of heredity and evolution as fundamentally discontinuous processes. Similarly, we identify a minimal methodological unifying condition for Pearsonian biometry, which we characterise as the view that experimental methods had to be subordinate to statistical analysis, according to methodological standards set by biometrical research. This other methodological commitment entailed conceiving the study of heredity and evolution as subsumable under biometry and primed Pearson to regard discontinuous hereditary and evolutionary processes as exceptions to a statistical norm. Finally, we conclude that Batesonian Mendelism and Pearsonian biometry represented two potential versions of a single genetics-based evolutionary synthesis since the methodological principles and the phenomena that played a central role in the former were also acknowledged by the latter—albeit as fringe cases—and conversely. (shrink)

In a world that is overflowing with journals and other outlets for scientific publication, the appearance of any new periodical requires some justification. There are already more journals than we can read and more conferences than we can attend. In the case of applied Ontology, we believe that the creation of anew journal not only is completely justifiable, it is downright exciting. For too long, workers in computer science have assumed that content comes for free. “Theory” in computer science has (...) always meant the theory of processes and of computation. We measure the complexity of computer programs in terms of how long it takes machines to execute them, not in terms of how long it takes people to understand and to represent the data on which those programs might operate. We typically describe computer code in terms of algorithms that operate on formal parameters, often without pausing to discuss where the data that might satisfy those parameters come from. This journal was founded on the premise that workers in computer science, informatics, and information science are overdue in paying as much attention to contents as they do to algorithms. (shrink)

Some philosophers believe that entities have essences. What are we to make of the view that essences are themselves entities? E.J. Lowe has put forward an infinite regress argument against it. In this paper I challenge that argument. First, drawing on work by J.W. Wieland, I give a general condition for the obtaining of a vicious infinite regress. I then argue that in Lowe’s case the condition is not met. In making my case, I mainly (but not exclusively) consider definitionalist (...) accounts of essence. I make a re￾quirement to which definitionalists such as Lowe are committed and which, I venture, should also be palatable to non-naïve modalists. I call it the Relevance Principle. The defence trades on it, as well as on the distinction, due to K. Fine, between mediate and immediate essence. (shrink)

Husserl’s official account of essence is modal. It is also, I submit, incompatible with the role that essence is supposed to play, especially relative to necessity, in his overall philosophy. In the Husserlian framework, essence should rather be treated as a non-modal notion. The point, while not generally acknowledged, has been made before (by Kevin Mulligan for one); yet the arguments given for it, though perhaps sound, are not Husserlian. In this paper I present a thoroughly Husserlian argument for that (...) claim, as well as a Husserlian essentialist account of necessity. I also discuss the role of grounding within the account. (shrink)

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes (...) of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)

The problem of artificial intelligence and human being has always raised questions about possible interactions among them and possible effects yielded by the introduction of such un-human subject. Dreyfus deeply connects intelligence and body based on a phenomenological viewpoint. Thanks to his reading of Merleau-Ponty, he clearly stated that an intelligence must be embodied into a body to function. According to his suggestion, any AI designed to be human-like is doom to failure if there is no tight bound with a (...) human-like body. Today, we are facing the pervasive introduction of robots into our everyday life, and the problem of this co-existence raises again with new vigor since they are not mere speculations, but there are already products sold to the public. We will highlight how vulnerability has to be taken into consideration in the design of robots to create entities which are able to relate to human beings taking into consideration mainly the positions of Sartre, Habermas, Levinas, and Marleau-Ponty. A first part will focus on the vulnerability of the robots. Robots are going to be among us, but a real interaction is possible only the moment they have a “same” body of ours. Therefore, only through the realization of a “fragile” body we can achieve a cohabitation between equals. Thanks to Merleau-Ponty we will show how the vulnerability of a body is one of the most important element to found any social interaction. The second part will focus on how the robots will affect the vulnerability of the human subjects. To produce vulnerable robots is not a mere neutral introduction, but it shapes how the subjects are constituted. Thanks to Levinas, we will study how the vulnerable robots will shape the subjects. Thanks to Sartre, we will show how the creation of a different gaze in the robot changes the vulnerabilities of the human subjects. Introducing vulnerable robots is a way to shape ourselves. (shrink)

In his latest monograph, The Realm of Criminal Law, Antony Duff gives us a further, magisterial statement of the vision of criminal law, its procedural framework, and its sanctioning system, which he has been developing over the past 35 years. This is Duff’s own book-length contribution to the tremendously fruitful collaborative Criminalization project. That project has already generated four edited volumes and two fine monographs by Farmer and Tadros. It will shape the field for decades to come; and it has (...) decisively laid to rest a longstanding puzzle about why, within criminal law theory, the principles underlying criminalisation had received relatively little attention as compared with those underlying, most obviously, criminal responsibility. (shrink)

We define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory . These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.

This paper takes part in the methodological debate concerning the nature and the justification of hypotheses about computational systems in software engineering by providing an epistemological analysis of Software Testing, the practice of observing the programs’ executions to examine whether they fulfil software requirements. Property specifications articulating such requirements are shown to involve falsifiable hypotheses about software systems that are evaluated by means of tests which are likely to falsify those hypotheses. Software Reliability metrics, used to measure the growth of (...) probability that given failures will occur at specified times as new executions are observed, is shown to involve a Bayesian confirmation of falsifiable hypotheses on programs. Coverage criteria, used to select those input values with which the system under test is to be launched, are understood as theory-laden principles guiding software tests, here compared to scientific experiments. Redundant computations, fault seeding models and formal methods used in software engineering to evaluate test results are taken to be instantiations of some epistemological strategies used in scientific experiments to distinguish between valid and non-valid experimental outcomes. The final part of the paper explores the problem, advanced in the context of the philosophy of technology, of defining the epistemological status of software engineering by conceiving it as a scientifically attested technology. (shrink)