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)

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)

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)

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)

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...

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)

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)

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)

In this paper we discuss the role that individual and collective acts of interpretation play in shaping a metaphysics of food. Our analysis moves from David Kaplan’s recent contention that food is always open to interpretation, and substantially expands its theoretical underpinnings by drawing on recent scholarship on food and social ontology. After setting up the terms of the discussion (§1), we suggest (§2) that the contention can be read subjectively or structurally, and that the latter can be given three (...) sub-readings. We then lay out (§3) three case studies that, we submit, any viable theory of a metaphysics of food should be able to account for. We show that one structural reading—based on the idea of negotiation—swiftly accommodates for the three case studies. We thus conclude that this reading is most promising for charting a metaphysics of food. (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 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)

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)

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)

This symposium contributes to the broader discussion about humanism in management and organizational well-being. Dignity plays a crucial role as both a fundamental value and as an end state in the process of humanizing organizational cultures, workplaces and relationships. However, despite its significance, it has yet to be addressed properly in the growing discourse on humanistic capitalism and management, and indeed in business ethics as a whole. This symposium seeks to inform and inspire emerging research and approaches towards human dignity (...) through the lens of artistic expression and explores how arts may promote human dignity in organizational life. (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)

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)

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 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)

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 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)

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)

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)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these (...) scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (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)

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)

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 206 Seiten: 181-205.

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)

In light of grand societal challenges, most recently the global Covid-19 pandemic, there is a call for research on responsible leadership. While significant advances have been made in recent years towards a better understanding of the concept, a gap exists in the understanding of responsible leadership in emerging countries, specifically how leaders resolve prevalent moral dilemmas. Following Werhane, we use moral imagination as an analytical approach to analyze a dilemmatic stakeholder conflict through the lense of different responsible leadership mindsets and (...) in light of different ethical principles and moral background theories. Based on this analysis, we arrive at a tentative moral judgement, concluding that the instrumental approach is morally inferior and recommending the integrative approach as the morally superior choice. In the subsequent discussion—focussed on what “could” be done, we apply the integrative script and use moral imagination as a pathway for generating morally justifiable solutions. Through this analysis, we provide novel insights on how to apply an integrative responsible leadership approach to a stakeholder conflict situation, using the single case study to expand the responsible leadership discussion to emerging markets. (shrink)

There is widespread agreement in both business and society that MNCs have an enormous potential for contributing to the betterment of the world, A paper from the Tomorrow's Leaders Group of the World Business Council for Sustainable Development). In fact, a discussion has evolved around the role of "Business as an Agent of World Benefit."¹ At the same time, there is also growing willingness among business leaders to spend time, expertise, and resources to help solve some of the most pressing (...) problems in the world, such as global warming, poverty, HIV/AIDS, and other pandemic diseases. One example of business leaders engagement in citizenship activities is PricewaterhouseCoopers' leadership development program called "Project Ulysses" which we present and discuss in this article. Using a narrative approach we ask: "What can business leaders learn from selected Ulysses narratives for acting as agents of world benefit and with respect to engaging responsibly in the fight against some of the most pressing social problems at the local level?" Our contribution is organized as follows. We begin the article with a brief discussion on the role of business leaden in the fight against world's social problems and address some areas of concern as to whether or not business leaders should play a role in fighting these global issues. We then introduce "Project Ulysses" which takes place in cross-sector partnership in developing countries. Following an overview of the research methodology we present four Ulysses narratives which tell us about learnings in the light of fundamental human problems, such as poverty and misery. Each story is analyzed with regard to the above question. We conclude the article by summarizing key lessons learned and some recommendations for business leaders as agents of world benefit. (shrink)

This paper introduces the _Global Philosophy_ symposium on Giuseppe Primiero’s book _On the Foundations of Computing_ (2020). The collection gathers commentaries and responses of the author with the aim of engaging with some open questions in the philosophy of computer science. Firstly, this paper introduces the central themes addressed in Primiero’s book; secondly, it highlights some of the main critiques from commentators in order to, finally, pinpoint some conceptual challenges indicating future directions for the philosophy of computer science.

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)

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)

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)

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)

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)

This article is a critical and appreciative interaction with Christopher Southgate's theodicy and theology of glory. I critique in particular his rejection of all dualist moves in theodicy. I question why Southgate can ascribe evil to some human actions, many of which are automatic and unconscious, but not to any other level or form of consciousness. I argue that he may rely too heavily on rational scientific categories, which are not sufficient in themselves to carry the weight of key theological (...) concepts. His use of poetry is powerful and suggestive, but in the end, he may not give it enough epistemic weight. (shrink)

In this essay I propose a new theory of taste, starting from the assumption of the multisensorial and ecological approach to the senses, as proposed by Gibson in his psychology of perception and by Dewey in his philosophy and aesthetics. In contrast with an optical approach to tastes and tasting, here I propose the concept of haptic taste to describe a perceptual engagement deeply involved in the processes of experiencing food and beverages, although my examples are mostly related to wine. (...) Finally I spell out the implications of a theory of haptic taste for the way we approach cultivation of taste and expertise. I suggest we should turn from the idea of ‘good taste’ as the result of trained and acquired skills to taste as a task, to mean the practical and continuous attuning with the environment we actively contribute to shape. I believe it is appropriate today to move from a culture of taste, based on an elevation strategy, to a culture with taste, which emphasizes educated nurture. (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.