Results for 'Nicola Zolin'

961 found
Order:
  1. Formal Ontology in Information Systems.Nicola Guarino (ed.) - 1998 - IOS Press.
  2. The Social Value of Health Research and the Worst Off.Nicola Barsdorf & Joseph Millum - 2017 - Bioethics 31 (2):105-115.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3. Ontological Frameworks for Food Utopias.Nicola Piras, Andrea Borghini & Beatrice Serini - 2020 - Rivista di Estetica 1 (75):120-142.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  80
    Volitional causality vs natural causality: reflections on their compatibility in Husserl’s phenomenology of action.Nicola Spano - 2022 - Phenomenology and the Cognitive Sciences 21 (3):669-687.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  95
    Augmented reality and ubiquitous computing: the hidden potentialities of augmented reality.Nicola Liberati - 2016 - AI and Society 31 (1):17-28.
  6. Not Just Deserts: A Republican Theory of Criminal Justice.Nicola Lacey - 1991 - Philosophical Quarterly 41 (164):374.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  7. From the Consulting Room to the Court Room? Taking the Clinical Model of Responsibility Without Blame into the Legal Realm.Nicola Lacey & Hanna Pickard - 2013 - Oxford Journal of Legal Studies 33 (1):1-29.
    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 (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  8. Why Standing to Blame May Be Lost but Authority to Hold Accountable Retained: Criminal Law as a Regulative Public Institution.Nicola Lacey & Hanna Pickard - 2021 - The Monist 104 (2):265-280.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  75
    Punishment, Communication and Community.Nicola Lacey - 2002 - Mind 111 (442):392-396.
  10.  34
    The Genesis of Action in Husserl’s Studien zur Struktur des Bewusstseins.Nicola Spano - 2021 - Journal of the British Society for Phenomenology 53 (2):118-132.
    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...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11. Technology, Phenomenology and the Everyday World: A Phenomenological Analysis on How Technologies Mould Our World.Nicola Liberati - 2016 - Human Studies 39 (2):189-216.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  12. Events, their names, and their synchronic structure.Nicola Guarino, Riccardo Baratella & Giancarlo Guizzardi - 2022 - Applied ontology 17 (2):249-283.
    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, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  70
    On Interpreting Something as Food.Nicola Piras & Andrea Borghini - 2020 - Food Ethics 6 (1):1-10.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  46
    Substance addiction: cure or care?Nicola Chinchella & Inês Hipólito - forthcoming - Phenomenology and the Cognitive Sciences:1-20.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  32
    Conceiving Prime Matter in the Middle Ages: Perception, Abstraction and Analogy.Nicola Polloni - 2023 - Archiv für Geschichte der Philosophie 105 (3):414-443.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  98
    Phenomenology, Pokémon Go, and Other Augmented Reality Games: A Study of a Life Among Digital Objects.Nicola Liberati - 2018 - Human Studies 41 (2):211-232.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17.  65
    The Borg–eye and the We–I. The production of a collective living body through wearable computers.Nicola Liberati - 2020 - AI and Society 35 (1):39-49.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Is self-identity essential to objects?Nicola Spinelli - 2019 - Synthese (2):1-17.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  97
    “Population” in Biology and Statistics.Nicola Bertoldi & Charles H. Pence - 2025 - Studies in History and Philosophy of Science 109 (1):1-11.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  62
    Should Deceased Donation be Morally Preferred in Uterine Transplantation Trials?Nicola Williams - 2016 - Bioethics 30 (6):415-424.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21.  33
    Husserl’s Taxonomy of Action.Nicola Spano - 2022 - Husserl Studies 38 (3):251-271.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  30
    La violencia de la voluntad general. Sobre la crítica a Rousseau en la Fenomenología del espíritu de Hegel.Juan Pablo de Nicola - 2024 - Daimon: Revista Internacional de Filosofía 92:83-97.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  43
    Heyting-valued interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  24. What is the harm in harmful conception? On threshold harms in non-identity cases.Nicola J. Williams & John Harris - 2014 - Theoretical Medicine and Bioethics 35 (5):337-351.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  25.  73
    Aristotle’s Embryology and Ackrill’s Problem.Nicola Carraro - 2017 - Phronesis 62 (3):274-304.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  72
    Husserlian Essentialism.Nicola Spinelli - 2021 - Husserl Studies 37 (2):147-168.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  69
    The Problem of Justification of Empirical Hypotheses in Software Testing.Nicola Angius - 2014 - Philosophy and Technology 27 (3):423-439.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  28.  39
    Rethinking, Reworking and Revolutionising the Turing Test.Nicola Damassino & Nicholas Novelli - 2020 - Minds and Machines 30 (4):463-468.
  29.  44
    COVID-19 pandemic, the scarcity of medical resources, community-centred medicine and discrimination against persons with disabilities.Nicola Panocchia, Viola D'ambrosio, Serafino Corti, Eluisa Lo Presti, Marco Bertelli, Maria Luisa Scattoni & Filippo Ghelma - 2021 - Journal of Medical Ethics 47 (6):362-366.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Fine Motor Skills Predict Maths Ability Better than They Predict Reading Ability in the Early Primary School Years.Nicola J. Pitchford, Chiara Papini, Laura A. Outhwaite & Anthea Gulliford - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  31.  73
    Teledildonics and New Ways of “Being in Touch”: A Phenomenological Analysis of the Use of Haptic Devices for Intimate Relations.Nicola Liberati - 2017 - Science and Engineering Ethics 23 (3):801-823.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  32.  46
    Compassion fatigue in healthcare providers: A systematic review and meta-analysis.Nicola Cavanagh, Grayson Cockett, Christina Heinrich, Lauren Doig, Kirsten Fiest, Juliet R. Guichon, Stacey Page, Ian Mitchell & Christopher James Doig - 2020 - Nursing Ethics 27 (3):639-665.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Scientific Theories of Computational Systems in Model Checking.Nicola Angius & Guglielmo Tamburrini - 2011 - Minds and Machines 21 (2):323-336.
    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 (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  34. Processes as variable embodiments.Nicola Guarino & Giancarlo Guizzardi - 2024 - Synthese 203 (4):1-27.
    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, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  99
    Intersemiotic translation: Theories, problems, analysis.Nicola Dusi - 2015 - Semiotica 2015 (206):181-205.
    Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 206 Seiten: 181-205.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  36.  21
    State Punishment.Nicola Lacey - 1988 - Philosophy 65 (252):239-241.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  37. Abstraction and Idealization in the Formal Verification of Software Systems.Nicola Angius - 2013 - Minds and Machines 23 (2):211-226.
    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 (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  22
    Guardians and research staff experiences and views about the consent process in hospital-based paediatric research studies in urban Malawi: A qualitative study.Nicola Desmond, Michael Parker, David Lalloo, Ian J. C. MacCormick, Markus Gmeiner, Charity Gunda, Neema Mtunthama Toto & Mtisunge Joshua Gondwe - 2022 - BMC Medical Ethics 23 (1):1-15.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  18
    Remote Agent: to boldly go where no AI system has gone before.Nicola Muscettola, P. Pandurang Nayak, Barney Pell & Brian C. Williams - 1998 - Artificial Intelligence 103 (1-2):5-47.
  40.  48
    Characteristic emotional intelligence and emotional well-being.Nicola S. Schutte, John M. Malouff, Maureen Simunek, Jamie McKenley & Sharon Hollander - 2002 - Cognition and Emotion 16 (6):769-785.
  41.  75
    Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  42.  70
    Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization.Nicola Angius & Guglielmo Tamburrini - 2017 - Philosophy and Technology 30 (2):239-258.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  39
    Journal Editorial Policies, Animal Welfare, and the 3Rs.Nicola Osborne, Daisy Payne & Michael Newman - 2009 - American Journal of Bioethics 9 (12):55-59.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44.  11
    Human Landscapes: Contributions to a Pragmatist Anthropology.Nicola Ramazzotto - 2024 - British Journal of Aesthetics 64 (4):429-444.
    The relationship between the fields of aesthetics and human nature runs through the entire history of aesthetics. The classical line sees the aesthetic dimensio.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  78
    The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  46.  51
    Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions.Nicola Angius & Giuseppe Primiero - 2020 - Philosophy and Technology 33 (2):283-308.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  35
    On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification.Nicola Angius - 2020 - Philosophy and Technology 33 (2):349-355.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  42
    Approaching or Re-thinking the Realm of Criminal Law?Nicola Lacey - 2020 - Criminal Law and Philosophy 14 (3):307-318.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  59
    Responsibility and modernity in criminal law.Nicola Lacey - 2001 - Journal of Political Philosophy 9 (3):249–276.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  50.  45
    Conceptualizing connections: Energy demand, infrastructures and social practices.Nicola Spurling, Matt Watson & Elizabeth Shove - 2015 - European Journal of Social Theory 18 (3):274-287.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 961