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)

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)

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

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)

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)

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)

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

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)

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)

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)

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)

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

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)

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.

Has the time come to put to bed the concept of a harm threshold when discussing the ethics of reproductive decision making and the legal limits that should be placed upon it? In this commentary, we defend the claim that there exist good moral reasons, despite the conclusions of the non-identity problem, based on the interests of those we might create, to refrain from bringing to birth individuals whose lives are often described in the philosophical literature as ‘less than worth (...) living’. (shrink)

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

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)

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)

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)

BackgroundObtaining consent has become a standard way of respecting the patient’s rights and autonomy in clinical research. Ethical guidelines recommend that the child’s parent/s or authorised legal guardian provides informed consent for their child’s participation. However, obtaining informed consent in paediatric research is challenging. Parents become vulnerable because of stress related to their child’s illness. Understanding the views held by guardians and researchers about the consent process in Malawi, where there are limitations in health care access and research literacy will (...) assist in developing appropriate consent guidelines.MethodsWe conducted 20 in-depth interviews with guardians of children and research staff who had participated in paediatric clinical trial and observational studies in acute and non-acute settings in the Southern Region of Malawi. Interviews were audio-recorded, transcribed verbatim, and thematically analysed. Interviews were compared across studies and settings to identify differences and similarities in participants’ views about informed consent processes. Data analysis was facilitated by NVIVO 11 software.ResultsAll participants across study types and settings reported that they associated participating in research with therapeutic benefits. Substantial differences were noted in the decision-making process across study settings. Guardians from acute studies felt that the role of their spouses was neglected during consenting, while staff reported that they had problems obtaining consent from guardians when their partners were not present. Across all study types and settings, research staff reported that they emphasised the benefits more than the risks of the study to participants, due to pressure to recruit. Participants from non-acute settings were more likely to recall information shared during the consent process than participants in the acute setting.ConclusionThe health care context, culture and research process influenced participants’ understanding of study information across study types and settings. We advise research managers or principal investigators to define minimum requirements that would not compromise the consent process and conduct study specific training for staff. The use of one size fits all consent process may not be ideal. More guidance is needed on how these differences can be incorporated during the consent process to improve understanding and delivery of consent.Trial registration Not applicable. (shrink)

Hilbert-style axiomatic systems are presented for versions of the modal logics K, where {D, 4, 5}, with noncontingency as the sole modal primitive. The classes of frames characterized by the axioms of these systems are shown to be first-order definable, though not equal to the classes of serial, transitive, or euclidean frames. The canonical frame of the noncontingency logic of any logic containing the seriality axiom is proved to be nonserial. It is also shown that any class of frames definable (...) in the noncontingency language contains the class of functional frames, and dually, there exists a greatest consistent normal noncontingency logic. (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)

The relationship between the fields of aesthetics and human nature runs through the entire history of aesthetics. The classical line sees the aesthetic dimensio.

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

This paper provides a review of Raymond Turner’s book Computational Artefacts. Towards a Philosophy of Computer Science. Focus is made on the definition of program correctness as the twofold problem of evaluating whether both the symbolic program and the physical implementation satisfy a set of specifications. The review stresses how these are not two separate problems. First, it is highlighted how formal proofs of correctness need to rely on the analysis of physical computational processes. Secondly, it is underlined how software (...) testing requires considering the formal relations holding between the specifications and the symbolic program. Such a mutual dependency between formal and empirical program verification methods is finally shown to influence the debate on the epistemological status of computer science. (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)

Problems of climate change present new challenges for social theory. In this article we focus on the task of understanding and analyzing car dependence, using this as a case through which to introduce and explore what we take to be central but underdeveloped questions about how infrastructures and complexes of social practice connect across space and time. In taking this approach we work with the proposition that forms of energy consumption, including those associated with automobility, are usefully understood as outcomes (...) of interconnected patterns of social practices, including working, shopping, visiting friends and family, going to school, and so forth. We also acknowledge that social practices are partly constituted by, and always embedded in material arrangements. Linking these two features together, we suggest that forms of car dependence emerge through the intersection of infrastructural arrangements that are integral to the conduct of many practices at once. We consequently explore the significance of professional – and not only ‘ordinary’ – practices, especially those of planners and designers who are involved in reconfiguring infrastructures of different scales, and in the practice dynamics that follow. (shrink)