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)

This research aims to examine access to medical treatment during the COVID-19 pandemic for people living with disabilities. During the COVID-19 pandemic, the practical and ethical problems of allocating limited medical resources such as intensive care unit beds and ventilators became critical. Although different countries have proposed different guidelines to manage this emergency, these proposed criteria do not sufficiently consider people living with disabilities. People living with disabilities are therefore at a higher risk of exclusion from medical treatments as physicians (...) tend to assume they have poor quality of life, whereas access to medical treatment should be based on several parameters, including clinical data and prognosis. However, the COVID-19 pandemic shifts the medical paradigm from person-centred medicine to community-centred medicine, challenging the main ethical theories. We reviewed the main guidelines and recommendations for resources allocation and examined their position toward persons with disabilities. Based on our findings, we propose criteria for not discriminating against people with disabilities in allocating resources. The shift from person-centred to community-centred medicine offers opportunities but also risks sacrificing the most vulnerable people. The principle of reasonable accommodation must always be considered to guarantee the rights of persons with disabilities. (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...

In its formlessness and potentiality, prime matter is a problematic entity of medieval metaphysics and its ontological limitations drastically affect human possibility of conceiving it. In this article, I analyse three influential strategies elaborated to justify an epistemic access to prime matter. They are incidental perception, negative abstraction, and analogy. Through a systematic and historical analysis of these procedures, the article shows the richness of interpretations and theoretical stakes implied by the conundrum of how prime matter can be known by (...) human beings. In particular, the reasons behind the later medieval acceptance of analogy as the main way to unveil prime matter become clearer by pointing out the correlation between the ontological and epistemological levels of the medieval examination of prime matter. (shrink)

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)

This paper aims to show a possible path to address the introduction of intimate digital technologies through a phenomenological and postphenomenological perspective in relation to Japanese and Chinese contexts. Digital technologies are becoming intimate, and, in Japan and China, there are already many advanced digital technologies that provide digital companions for love relationships. Phenomenology has extensive research on how love relationships and intimacy shape the subjects. At the same time, postphenomenology provides a sound framework on how technologies shape the values (...) and meanings we have. Thus, this paper introduces two digital technologies in Japan and China (_Love Plus_ and _XiaoIce_ chatbot), and it analyses according to the elements proposed by phenomenology and postphenomenology. In conclusion, this paper shows how digital companions like _Love Plus_ and _XiaoIce_ chatbot change who we are and the values and meanings we have according to the phenomenological and postphenomenological framework. These entities might not be human, but they shape who we are as human beings and the meanings and value we give to love. (shrink)

For the will desires not to be dark, and this very desire causes the darkness" (Jacob Boehme). Moving through the fundamental question of this paradox, this book offers a constellation of theoretical and critical essays that shed light on the darkness of the will: its obscurity to itself. Through in-depth analysis of medieval and modern sources - Augustine, Pseudo-Dionysius, Eriugena, Dante, Meister Eckhart, Chaucer, Nietzsche, Cioran, Meher Baba - this volume interrogates the nature and meaning of the will, along seven (...) modes: spontaneity, potentiality, sorrow, matter, vision, eros, and sacrifice. These multiple lines of inquiry are finally presented to coalesce around one fundamental point of agreement: the will says yes, yet only a will that knows how to say no to itself, entering the silence of its own darkness, will ever be free"--p. 2 of cover. (shrink)

The essay addresses Heidegger’s language in two distinct yet interrelated ways: in terms of his understanding of language as well his own jargon. The analysis is based on a close reading of the preamble to ›Being and Time‹ (›Sein und Zeit‹), which serves as an exemplar and is representative of the suggestive language-games that are characteristic of Heidegger’s philosophy. Therefore, the analysis focuses on the use of a single word, the adverb ›eigentlich‹. In a second step, the article examines the (...) nominalized form of inauthenticity and questions its source and shows to which extent Husserl’s understanding of language serves as a contrast to Heidegger’s own understanding of language. In conclusion, it is demonstrated how Heidegger employed two distinct exoteric languages and why ›Being and Time‹ can be regarded as a critique of language. (shrink)

The aim of this paper is to analyse the effects on the everyday world of actual Augmented Reality games which introduce digital objects in our surroundings from a phenomenological point of view. Augmented Reality is a new technology aiming to merge digital and real objects, and it is becoming pervasively used thanks to the application for mobile devices Pokémon Go by Niantic. We will study this game and other similar applications to shed light on their possible effects on our lives (...) and on our everyday world from a phenomenological perspective. In the first part, we will show how these digital objects are visualised as merged in the surroundings. We will point out that even if they are visualised as part of the everyday world, they are not part of it because they are still related to the fictional world generated by the game. In the second part, we will show how the existence of these objects in their fictional world has effects on the everyday world where everybody lives. The goal of Augmented Reality is not reached yet because these objects are not part of the everyday world, but it already makes our lives embedded with digital elements. We will show if these new objects have effects on our world and on how we live our lives. (shrink)

In recent years much research has been undertaken regarding the feasibility of the human uterine transplant as a treatment for absolute uterine factor infertility. Should it reach clinical application this procedure would allow such individuals what is often a much-desired opportunity to become not only social mothers, or genetic and social mothers but mothers in a social, genetic and gestational sense. Like many experimental transplantation procedures such as face, hand, corneal and larynx transplants, UTx as a therapeutic option falls firmly (...) into the camp of the quality of life transplant, undertaken with the aim, not to save a life, but to enrich one. However, unlike most of these novel procedures – where one would be unlikely to find a willing living donor or an ethics committee that would sanction such a donation – the organs to be transplanted in UTx are potentially available from both living and deceased donors. In this article, in the light of the recent nine-case research trial in Sweden which used uteri obtained from living donors, and the assertions on the part of a number of other research teams currently preparing trials that they will only be using deceased donors, I explore the question of whether, in the case of UTx, there exist compelling moral reasons to prefer the use of deceased donors despite the benefits that may be associated with the use of organs obtained from the living. (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)

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 study evaluates the editorial policies of a randomized sample of English language peer-reviewed journals that publish original research involving the use of animals. The aim is to identify whether journals have editorial policies relating to the use of animals in the research that they are prepared to publish and whether any policies are likely to promote animal welfare and dissemination of information on the 3Rs within the scientific community. The results demonstrate that a significant proportion of journals publishing original (...) research involving animals do not have any editorial policy relating to the use of animals. Of those journals that do have policies the majority simply request that the research be carried out in accordance with standard regulatory requirements. This paper aims to provide editors and publishers with the information they need to review their own editorial policies to ensure they are fulfilling their potential to promote animal welfare and dissemination of the 3Rs. (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)

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)

During the thirteenth century, Aristotelian hylomorphism became the cornerstone of scholastic natural philosophy. However, this theory was fragmented into a plurality of interpretations and reformulations, sparking a rich philosophical debate. This article focuses on Robert Grosseteste (d. 1253), one of the earliest Latin philosophers to directly engage with Aristotle’s natural philosophy. Specifically, it delves into Grosseteste’s perspective on hylomorphism, emphasizing two controversial doctrines that characterized British scholasticism in the late thirteenth century: universal hylomorphism and formal pluralism. The former claims that (...) all substances, whether bodily or spiritual, are hylomorphic compounds, that is, they are made of matter and form. Formal pluralism, in turn, maintains that hylomorphic substances possess more than one substantial form simultaneously. After a brief introduction, the paper proceeds, first, to examine the type of hylomorphism endorsed by Grosseteste, shedding light on an obscure passage that seems to suggest universal hylomorphism. Second, the examination expands on Grosseteste’s theory of bodily form and emphasizes the apparent contradiction of this theory with universal hylomorphism. The discussion then turns to Grosseteste’s endorsement of formal pluralism and the functionality he envisioned being expressed by the bodily form. Finally, the paper draws conclusions about Grosseteste’s revised hylomorphic account. (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)

The Turing Test is best regarded as a model to test for intelligence, where an entity’s intelligence is inferred from its ability to be attributed with ‘human-likeness’ during a text-based conversation. The problem with this model, however, is that it does not care if or how well an entity produces a meaningful conversation, as long as its interactions are humanlike enough. As a consequence, the TT attracts projects that concentrate on how best to fool the judges. In light of this, (...) I propose a new version of the TT: the Questioning Turing Test. Here, the entity has to produce an enquiry rather than a conversation; and it is parametrised along two further dimensions in addition to ‘human-likeness’: ‘correctness’, evaluating if the entity accomplishes the enquiry; and ‘strategicness’, evaluating how well the entity accomplishes the enquiry, in terms of the number of questions asked. (shrink)

This paper sheds light on the shift that is taking place from the practice of ‘coding’, namely developing programs as conventional in the software community, to the practice of ‘curing’, an activity that has emerged in the last few years in Deep Learning (DL) and that amounts to curing the data regime to which a DL model is exposed during training. Initially, the curing paradigm is illustrated by means of a study-case on autonomous vehicles. Subsequently, the shift from coding to (...) curing is analysed taking into consideration the epistemological notions, central in the philosophy of computer science, of function, implementation, and correctness. First, it is illustrated how, in the curing paradigm, the functions performed by the trained model depend much more on dataset curation rather than on the model algorithms which, in contrast with the coding paradigm, do not comply with requested specifications. Second, it is highlighted how DL models cannot be considered implementations according to any of the available definitions of implementation that follow an intentional theory of functions. Finally, it is argued that DL models cannot be evaluated in terms of their correctness but rather in their experimental computational validity. (shrink)

La théorie de Darwin est considérée par de nombreux historiens comme une véritable révolution scientifique, raison pour laquelle l’objectif de cet article est précisément de rendre compte des caractères révolutionnaires de cette théorie, dans le cadre d’une conception des révolutions scientifiques empruntée à l’œuvre de Thomas Kuhn. Cela implique, notamment, la définition d’un « paradigme darwinien », à la fois comme matrice disciplinaire et comme solution exemplaire à un problème donné. Dans un tel but, nous définirons la structure et le (...) contenu de la théorie de Darwin, afin de mettre au jour la problématique qui pourrait être à la base d’un « paradigme darwinien », c’est-à-dire le problème de la complexité adaptative du vivant. Nous identifierons ensuite ce qui distinguerait ce paradigme des autres, si bien que le problème de la complexité ne saurait être posé et résolu que dans son cadre. Pour ce faire, nous nous concentrerons sur deux dichotomies : d’une part, celle entre fonctionnalisme et formalisme, d’autre part, celle entre naturalisme et idéalisme. En conclusion, nous mettrons au jour les limites de l’épistémologie kuhnienne pour l’analyse de la théorie de l’évolution, ce qui nous amènera à equisser les contours d’une approche alternative, que nous appellerons « ontologie historique ». (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)

Taste as Experience puts the pleasure of food at the center of human experience. It shows how the sense of taste informs our preferences for and relationship to nature, pushes us toward ethical practices of consumption, and impresses upon us the importance of aesthetics. Eating is often dismissed as a necessary aspect of survival, and our personal enjoyment of food is considered a quirk. Nicola Perullo sees food as the only portion of the world we take in on a (...) daily basis, constituting our first and most significant encounter with the earth. Perullo has long observed people's food practices and has listened to their food experiences. He draws on years of research to explain the complex meanings behind our food choices and the thinking that accompanies our gustatory actions. He also considers our indifference toward food as a force influencing us as much as engagement. For Perullo, taste is value and wisdom. It cannot be reduced to mere chemical or cultural factors but embodies the quality and quantity of our earthly experience. (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)

After being discussed in 1929 with Husserl as referent and Heidegger as co-referent, Eugen Fink’s Dissertation “Vergegenwärtigung und Bild” has been published in 1930 on the “Jahrbuch für Philosophie und phänomenologische Forschung”. In his study, Fink works out a careful and methodic inquiry of basic notions of Husserlian thought regarding the time-consciousness. The paper analyzes the main theses of Dissertation, paying particular attention to the fist and wider part devoted to presentification, a concept that means all mental processes, which make (...) present what belongs to the sphere of the past, the future, or the possible: memory, expectation, imagination, and dream. Through a comparison with the investigations that Husserl himself addressed to the topic of not-presence and unreality, we aim at casting light on the radical detailed analyses introduced by Fink, with special focus on the original changes concerning the phenomenological status of dreaming. (shrink)