Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (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)

As universities are increasingly called by their national governments for a more entrepreneurial management of public research results, they started to develop internal structures and policies to take a proactive role in the commercialisation of university research. For the first time, this paper presents a detailed chronicle of how country-level reforms on Intellectual Property Rights were translated into organisation-level mechanisms to regulate university-patenting activity. The analysis is based on the complete list of patent policies issued between 1993 and 2009 by (...) the population of Italian universities. Our evidence suggests that universities first dealt with legislative changes on IPRs by enacting isomorphic behaviours, then by creating a community of practices, and finally by leveraging on such community to influence government reforms on IP-related matters. We discuss our results in the light of institutional theory and public policy. (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.

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)

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)

El artículo analiza el tratamiento hegeliano del concepto de voluntad general de Rousseau en la Fenomenología del espíritu. Se teje una trama conceptual que enfatiza en: (i) la necesariedad del concepto de voluntad general de Rousseau en el entramado conceptual hegeliano; (ii) las implicancias de este concepto en la estructura política y social, en términos de una ausencia de instituciones de representación política en una sociedad ética; (iii) las consecuencias violentas y nihilistas de la extrapolación práctica de la voluntad general (...) como axioma teórico. (shrink)

Technology always provides a new perception of the world. However, it is not clear when technology produces “mere” new informations and when it provides something more such as a production of new objects in our world which start to “live” around us. The aim of this paper is to study how technology shapes our surrounding world. The questions which we are going to answer are: Is it really adding new objects to our world? If yes, does every technology have this (...) potentiality? We are going to tackle the problem using a phenomenological and post-phenomenological approach focussing our attention on the perceptual level. Using Husserl’s philosophy we will study how technology are deeply involved in our perception and, thanks to post-phenomenology and its concept of “embodiment relations,” we will be able to determine which kind of technologies have the potentiality to change our surrounding world introducing and producing new objects in it. (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...

Nicola Lacey presents a new approach to the question of the moral justification of punishment by the State. She focuses on the theory of punishments in context of other political questions, such as the nature of political obligation and the function and scope of criminal law. Arguing that no convincing set of justifying reasons has so far been produced, she puts forward a theory of punishments which places the values of the community at its centre.

The paper has a two-fold objective; firstly, scrutinising neo-Meinongianism as recently championed by Francesco Berto. Secondly, trying and arguing that the dispute between Meinongianism and (various kinkds of) Actualism is hardly cutting some relevant ice.

Scholastic hylomorphism conceives prime matter and substantial form as metaphysical parts of every physical substance. During the early modern period, both hylomorphic constituents faced significant criticism as scientists and philosophers sought to replace Aristotelianism with physical explanations for the workings of the universe. This paper focuses specifically on prime matter and delves into the arguments put forth by four 16th-century scholastic philosophers – Toledo, Fonseca, Góis, and Suárez – in their attempts to establish the existence of prime matter. Firstly, I (...) analyse a set of arguments rooted in substantial change, which emphasize the crucial role of a persistent, common substrate in the processes of generation and corruption. Secondly, I explore a set of ex-nihilo arguments and, thirdly, I examine a series of demonstrations based on the interplay between accidental and substantial change. Although these three sets of arguments converge on the necessity of a common substrate for substantial change to occur, they fall short of demonstrating that this substrate is both prime and shared by all natural entities. Fourthly, I turn to a set of arguments centred on the impossibility of infinite regress, designed to complement those related to natural change, and I assess additional arguments that do not primarily focus on substantial change. Lastly, I draw my conclusions on these argumentative strategies to demonstrate the existence of prime matter. (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)

This article analyses the peculiarities of Dominicus Gundissalinus’s reading and use of Avicenna’s writings in his original works. Gundissalinus (1120ca – post 1190) is the Latin translator of Avicenna’s De anima and Liber de philosophia prima, but also an original philosopher whose writings are precious witnesses of the very first reception of Avicennian philosophy in the Latin West. The article points out the structural bond with the Persian philosopher upon which Gundissalinus grounds his own speculation. This contribution stresses, in particular, (...) the important role played by Avicenna’s psychology, epistemology, and metaphysics in order to provide Gundissalinus with a different set of answers to at least two main questions. On the one hand, the problem of creatural existence and cosmological causation, concerning which Gundissalinus tends to doctrinally merge Avicenna with Ibn Gabirol. On the other hand, Avicenna’s influence is crucial for Gundissalinus’s attempt at elaborating a new system of knowledge, which was supposed to be able to include the new sciences made available by the translation movement, but that also needed to be internally organised through firm epistemological principles. Beside his crucial contribution as translator, Gundissalinus’s first philosophical encounter with the Avicenna paved the road for the subsequent reception of the Persian philosopher’s works, opening a hermeneutical perspective which would be pivotal for the thirteenth-century discussions on soul, knowledge, and being. (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 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)

This work focuses on augmented reality glasses and its aim is to analyse the knock-on effects on our everyday world and ourselves yielded by this kind of technology. Augmented reality is going to be the most diffused technology in our everyday life in the near future, especially augmented reality mounted on glasses. This near future is not only possible, but it seems inevitable following the vertiginous development of AR. There are numerous kinds of different prototypes that are going to come (...) out next year. Therefore, a study on how these modifications yield knock-on effects on the constitution of the object and subject is mandatory. This work tackles the topic starting from a phenomenological and post-phenomenological point of view and it analyses the modification yielded by such technology from a perceptual point of view using the analysis of the horizons of the object made by Husserl. We need this analysis because it is not only the hypothetical future that may never come, but it is the likely future very close to us that is putting pressure on us. (shrink)

In a number of papers, Kit Fine introduced a theory of embodiment which distinguishes between rigid and variable embodiments, and has been successfully applied to clarify the ontological nature of entities whose parts may or may not vary in time. In particular, he has applied this theory to describe a process such as the erosion of a cliff, which would be a variable embodiment whose manifestations are the different states of erosion of the cliff. We find this theory very powerful, (...) and especially appropriate to capture the intuition that the same process may go on at different times. However, its formal principles have been subject to some criticisms, mainly concerning the mereological structure of a variable embodiment. Moreover, since the notion of variable embodiment is very general, simply saying that processes are variable embodiments is not enough to understand their ontological nature. To address these concerns, in this paper we proceed in two phases: first, we propose a revised version of Fine’s original theory adapted to the case of processes, which adopts a classical mereology instead of Fine’s hylomorphic mereology, and a temporalized constitution relation in place of Fine’s function of variable embodiment; second, we go deeper into the ontological nature of processes by revisiting the notions of homogeneity, intentionality, and telicity discussed in the literature, and propose an account based on ontological principles and not on semantic properties of predicates. This allows us to organize processes into a novel taxonomy based exclusively on their unity and individuation principles. (shrink)

We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.

This paper is about a certain view of intentionality, a problem faced by the view, and two ways in which, it has been proposed, the problem might be solved. The view is that every intentional state has an intentional object. The problem is that the putative intentional objects of some intentional states do not, or even cannot, exist. The two strategies to solve the problem and secure the view are those implemented by Tim Crane in his article “Intentional Objects”. In (...) this paper I argue that both Crane’s implementations and the strategies in general are unsuccessful. By way of overview, I also discuss other ways in which the problem has been addressed. (shrink)

In this article, we discuss how we used institutional ethnography (Institutional ethnography as practice, Rowman & Littlefield, Lanham, MD and 2006) to map out powerful ruling relations that organize nurses’ wound care work. In recent years, the growing number of people living with wounds that heal slowly or not at all has presented substantial challenges for those managing the demands on Canada's publicly insured health‐care system. In efforts to address this burden, Canadian health‐care administrators and policy‐makers rely on scientific evidence (...) about how wounds heal and what treatments are most effective. Advanced wound care exemplifies the growing authorization of particular forms of evidence that change the ways in which nurses come to know about and conduct their work. The focus of this paper's nursing inquiry is a critique of registered nurses’ wound work as it arises within the established uptake of scientific evidence. (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 development of a biological notion of “population” over the first century of the theory of evolution has been commented upon by a number of historians and philosophers of biology. Somewhat less commonly discussed, however, is the parallel development of the statistical concept of a population over precisely the same period, in some cases driven by the same historical actors (such as Francis Galton and R. A. Fisher). We explore here these parallel developments, first from the perspective of a reconstruction (...) of the historical development of each concept, then with the aid of a digital analysis of a corpus of literature drawn from the journals Biometrika and Journal of Genetics, between 1900 and 1960. These twin analyses show both points of interesting overlap between these two historical trends as well as points of important divergence. The biological and statistical notions of “population” seem to be relatively clearly distinguishable over these six decades, in spite of the fact that a number of authors contributed clearly to both traditions. The complex interplay of continuity and discontinuity across these two notions of “population” makes them a particularly interesting case study of scientific conceptual change. (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)

World food production is facing exorbitant challenges like climate change, use of resources, population growth, and dietary changes. These, in turn, raise major ethical and political questions, such as how to uphold the right to adequate nutrition, or the right to enact a gastronomic culture and to preserve the conditions to do so. Proposals for utopic solutions vary from vertical farming and lab meat to diets filled with the most fanciful insects and seaweeds. Common to all proposals is a polarized (...) understanding of food and diets, famously captured by Warren Belasco in the contraposition between technological fixes and anthropological fixes. According to the first, technology will deliver clean, just, pleasurable, affordable food; future generations will not need to adjust much of their dietary cultures. According to the second, future generations should dramatically change their dietary habits (what they eat and how they eat it) to achieve a sustainable diet. The two fixes found remarkably distinct perspectives over dietary politics and the ethics of food production and consumption. In this paper we argue that such polarized thinking rests on a misrepresentation of the ontological status of food, which in turn affects the underlying ethical and political issues. Food is a socially constructed object that draws in specific ways on habits, norms, traditions, geographical, and climatic conditions. Although this thesis seems somewhat obvious, its consequences on the ethical and political perspectives on the future of food have not been derived properly. After introducing the issue at stake (¤1), we point out the polarities that characterize food utopias (¤2) and their ontological faults (¤3). We hence suggest that a socio-ontological analysis of food can better deliver the principles for a foundation of food utopias (¤4). (shrink)

Husserlian Essentialism is the view, maintained byEdmundHusserl throughout his career, that necessary truths obtain because essentialist truths obtain. In this thesis I have two goals. First, to reconstruct and flesh out Husserlian Essentialism and its connections with surrounding areas of Husserl's philosophy in full detail – something which has not been done yet. Second, to assess the theoretical solidity of the view. As regards the second point, after having presented Husserlian Essentialism in the first two chapters, I raise a serious (...) problem for it in Chapter 3. In the remainder of the thesis I endeavour to solve the problem. In order to do so, I propose to amend both Husserl's theory of essence and his theory of predication. The bulk of the emendation consists in working out an account of essence and an account of predication that do not presuppose, or in any way imply, the claims that: 1) for a universal to be in the essence of an object, either the object or one of its parts must instantiate the universal; 2) for a universal to be truly predicated of an object, either the object or one of its parts must instantiate the universal. These claims, notice, apart from being what gets Husserl in trouble, are well entrenched not only in Husserl's, but in most theories of essence and predication. It is thus interesting to see what an alternative option may be – even regardless of the Husserlian setting in which I work it out. (shrink)

This article contributes to the emerging discussion on responsible leadership by providing an analysis of the inner theatre of a responsible leader. I use a narrative approach for analyzing the biography of Anita Roddick as a widely acknowledged prototype of a responsible leader. With clinical and normative lenses I explore the relationship between responsible leadership behavior and the underlying motivational systems. I begin the article with an introduction outlining the current state of responsible leadership research and explaining the kind of (...) magnifying glasses used to examine the case. I continue with a brief summary of Anita Roddick’s development from childhood to adulthood, which provides the biographical background for exploring her motivational systems as a leader. Against this backdrop, I analyze the relationship between motivational drivers and a responsible leadership identity as revealed by Roddick in different behavioral leadership roles. I conclude the article by providing a number of lessons learned for responsible leadership and the development of future global leaders. (shrink)

This work aims to understand how a subject can be sentimentally and intimately self-realized by having a relationship with other people through computer technologies. We will analyze the relations binding together the subjects when their “presence” and “interactions” are digitally mediated thanks to a phenomenological analysis. In the first part, we will highlight the differences of using digital devices instead of having face-to-face meetings, especially in virtual worlds. In the second part, we will focus on how other digital devices differently (...) mediate the relation between the subjects, and so we will show how some technologies like teledildo provide elements close to the ones we find in a face-to-face meeting while other technologies like virtual realities do not. (shrink)