Results for 'Dag Nyholm'

777 found
Order:
  1.  36
    Patients’ views on using human embryonic stem cells to treat Parkinson’s disease: an interview study.Mats Hansson, Elena Jiltsova, Jennifer Viberg Johansson, Trinette Van Vliet, Håkan Widner, Dag Nyholm & Jennifer Drevin - 2022 - BMC Medical Ethics 23 (1):1-10.
    BackgroundHuman embryonic stem cells as a source for the development of advanced therapy medicinal products are considered for treatment of Parkinson’s disease. Research has shown promising results and opened an avenue of great importance for patients who currently lack a disease modifying therapy. The use of hESC has given rise to moral concerns and been the focus of often heated debates on the moral status of human embryos. Approval for marketing is still pending.ObjectiveTo Investigate the perspectives and concerns of patients (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  29
    Patients accept therapy using embryonic stem cells for Parkinson’s disease: a discrete choice experiment.Jennifer Viberg Johansson, Mats Hansson, Elena Jiltsova, Trinette van Vliet, Hakan Widner, Dag Nyholm, Jorien Veldwijk, Catharina Groothuis-Oudshoorn, Jennifer Drevin & Karin Schölin Bywall - 2023 - BMC Medical Ethics 24 (1):1-13.
    BackgroundNew disease-modifying ways to treat Parkinson’s disease (PD) may soon become a reality with intracerebral transplantation of cell products produced from human embryonic stem cells (hESCs). The aim of this study was to assess what factors influence preferences of patients with PD regarding stem-cell based therapies to treat PD in the future.MethodsPatients with PD were invited to complete a web-based discrete choice experiment to assess the importance of the following attributes: (i) type of treatment, (ii) aim of treatment, (iii) available (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Reason-based Value or Value-based Reasons?Sven Nyholm - 2006 - In Björn Haglund & Helge Malmgren, Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday. Philosophical Communications. pp. 193-202.
    In this paper, I discuss practical reasons and value, assuming a coexistence thesis according to which reasons and value always go together. I start by doing some taxonomy, distinguishing among three different ways of accounting for the relation between practical reasons and the good. I argue that, of these views, the most plausible one is that according to which something’s being good just consists in how certain facts about the thing in question – other than that of how it is (...)
     
    Export citation  
     
    Bookmark  
  4. The Ethics of Accident-Algorithms for Self-Driving Cars: an Applied Trolley Problem?Sven Nyholm & Jilles Smids - 2016 - Ethical Theory and Moral Practice 19 (5):1275-1289.
    Self-driving cars hold out the promise of being safer than manually driven cars. Yet they cannot be a 100 % safe. Collisions are sometimes unavoidable. So self-driving cars need to be programmed for how they should respond to scenarios where collisions are highly likely or unavoidable. The accident-scenarios self-driving cars might face have recently been likened to the key examples and dilemmas associated with the trolley problem. In this article, we critically examine this tempting analogy. We identify three important ways (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  5. Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   361 citations  
  6. From Sex Robots to Love Robots: Is Mutual Love with a Robot Possible?Sven Nyholm & Lily Frank - 2017 - In John Danaher & Neil McArthur, Robot Sex: Social and Ethical Implications. MIT Press. pp. 219-244.
    Some critics of sex-robots worry that their use might spread objectifying attitudes about sex, and common sense places a higher value on sex within love-relationships than on casual sex. If there could be mutual love between humans and sex-robots, this could help to ease the worries about objectifying attitudes. And mutual love between humans and sex-robots, if possible, could also help to make this sex more valuable. But is mutual love between humans and robots possible, or even conceivable? We discuss (...)
     
    Export citation  
     
    Bookmark   15 citations  
  7. Kant's Universal Law Formula Revisited.Sven Nyholm - 2015 - Metaphilosophy 46 (2):280-299.
    Kantians are increasingly deserting the universal law formula in favor of the humanity formula. The former, they argue, is open to various decisive objections; the two are not equivalent; and it is only by appealing to the humanity formula that Kant can reliably generate substantive implications from his theory of an acceptable sort. These assessments of the universal law formula, which clash starkly with Kant's own assessment of it, are based on various widely accepted interpretative assumptions. These assumptions, it is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  8. Attributing Agency to Automated Systems: Reflections on Human–Robot Collaborations and Responsibility-Loci.Sven Nyholm - 2018 - Science and Engineering Ethics 24 (4):1201-1219.
    Many ethicists writing about automated systems attribute agency to these systems. Not only that; they seemingly attribute an autonomous or independent form of agency to these machines. This leads some ethicists to worry about responsibility-gaps and retribution-gaps in cases where automated systems harm or kill human beings. In this paper, I consider what sorts of agency it makes sense to attribute to most current forms of automated systems, in particular automated cars and military robots. I argue that whereas it indeed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   88 citations  
  9. Deep Brain Stimulation, Authenticity and Value.Sven Nyholm & Elizabeth O’Neill - 2017 - Cambridge Quarterly of Healthcare Ethics 26 (4):658-670.
    In this paper, we engage in dialogue with Jonathan Pugh, Hannah Maslen, and Julian Savulescu about how to best interpret the potential impacts of deep brain stimulation on the self. We consider whether ordinary people’s convictions about the true self should be interpreted in essentialist or existentialist ways. Like Pugh et al., we argue that it is useful to understand the notion of the true self as having both essentialist and existentialist components. We also consider two ideas from existentialist philosophy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  25
    Acknowledgements.Sven Nyholm - 2015 - In Revisiting Kant's Universal Law and Humanity Formulas. Boston: De Gruyter.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  11
    List of Abbreviations.Sven Nyholm - 2015 - In Revisiting Kant's Universal Law and Humanity Formulas. Boston: De Gruyter.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  23
    On the Universal Law and Humanity Formulas.Sven R. Nyholm - 2012 - Dissertation, University of Michigan
    Whereas the universal law formula says to choose one’s basic guiding principles (or “maxims”) on the basis of their fitness to serve as universal laws, the humanity formula says to always treat the humanity in each person as an end, and never as a means only. Commentators and critics have been puzzled by Kant’s claims that these are two alternative statements of the same basic law, and have raised various objections to Kant’s suggestion that these are the most basic formulas (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  24
    Jørgen Pedersen: Rettferdig fordelingog rettferdig skatt.Dag Einar Thorsen - 2020 - Norsk Filosofisk Tidsskrift 55 (2-3):214-217.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Artificial Intelligence and Human Enhancement: Can AI Technologies Make Us More (Artificially) Intelligent?Sven Nyholm - 2024 - Cambridge Quarterly of Healthcare Ethics 33 (1):76-88.
    This paper discusses two opposing views about the relation between artificial intelligence (AI) and human intelligence: on the one hand, a worry that heavy reliance on AI technologies might make people less intelligent and, on the other, a hope that AI technologies might serve as a form of cognitive enhancement. The worry relates to the notion that if we hand over too many intelligence-requiring tasks to AI technologies, we might end up with fewer opportunities to train our own intelligence. Concerning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Love Troubles: Human Attachment and Biomedical Enhancements.Sven Nyholm - 2014 - Journal of Applied Philosophy 32 (2):190-202.
    In fascinating recent work, Julian Savulescu and his various co‐authors argue that human love is one of the things we can improve upon using biomedical enhancements. Is that so? This article first notes that Savulescu and his co‐authors mainly treat love as a means to various other goods. Love, however, is widely regarded as an intrinsic good. To investigate whether enhancements can produce the distinctive intrinsic good of love, this article does three things. Drawing on Philip Pettit's recent discussion of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  16.  93
    Humans and Robots: Ethics, Agency, and Anthropomorphism.Sven Nyholm - 2020 - Rowman & Littlefield International.
    This book argues that we need to explore how human beings can best coordinate and collaborate with robots in responsible ways. It investigates ethically important differences between human agency and robot agency to work towards an ethics of responsible human-robot interaction.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  17.  97
    Meaning in Life in AI Ethics—Some Trends and Perspectives.Sven Nyholm & Markus Rüther - 2023 - Philosophy and Technology 36 (2):1-24.
    In this paper, we discuss the relation between recent philosophical discussions about meaning in life (from authors like Susan Wolf, Thaddeus Metz, and others) and the ethics of artificial intelligence (AI). Our goal is twofold, namely, to argue that considering the axiological category of meaningfulness can enrich AI ethics, on the one hand, and to portray and evaluate the small, but growing literature that already exists on the relation between meaning in life and AI ethics, on the other hand. We (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18. Asymmetries between the Good and the Bad: From Saint Augustine to Susan Wolf, and on to Robots and AI.Sven Nyholm - forthcoming - In Michael Frauchiger & Markus Stepanians, Themes from Susan Wolf. Berlin: De Gruyter.
    In her 1993 book Freedom within Reason, Susan Wolf discusses what she identifies as an asymmetry between the good and the bad: to qualify as doing good in a praiseworthy way, it is not necessary that one should have the ability to do otherwise, but in order to qualify as doing something bad in a blameworthy way, it is necessary that one has the ability to do otherwise. In this chapter, I relate this asymmetry between the good and the bad (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. The Technological Future of Love.Sven Nyholm, John Danaher & Brian D. Earp - 2022 - In André Grahle, Natasha McKeever & Joe Saunders, Philosophy of Love in the Past, Present, and Future. Routledge. pp. 224-239.
    How might emerging and future technologies—sex robots, love drugs, anti-love drugs, or algorithms to track, quantify, and ‘gamify’ romantic relationships—change how we understand and value love? We canvass some of the main ethical worries posed by such technologies, while also considering whether there are reasons for “cautious optimism” about their implications for our lives. Along the way, we touch on some key ideas from the philosophies of love and technology.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Meaning and Anti-Meaning in Life and What Happens After We Die.Sven Nyholm - 2021 - Royal Institute of Philosophy Supplement 90:11-31.
    The absence of meaningfulness in life is meaninglessness. But what is the polar opposite of meaningfulness? In recent and ongoing work together with Stephen Campbell and Marcello di Paola respectively, I have explored what we dub ‘anti-meaning’: the negative counterpart of positive meaning in life. Here, I relate this idea of ‘anti-meaningful’ actions, activities, and projects to the topic of death, and in particular the deaths or suffering of those who will live after our own deaths. Connecting this idea of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21. This is technology ethics: an introduction.Sven Nyholm - 2023 - Hoboken: Wiley-Blackwell.
    In the Technology Age, innovations in medical, communications, and weapons technologies have given rise to many new ethical questions: Are technologies always value-neutral tools? Are human values and human prejudices sometimes embedded in technologies? Should we merge with the technologies we use? Is it ethical to use autonomous weapons systems in warfare? What should a self-driving car do if it detects an unavoidable crash? Can robots have morally relevant properties? -/- This is Technology Ethics: An Introduction provides an accessible overview (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  75
    Partial Dynamic Semantics for Anaphora: Compositionality without Syntactic Coindexation.Dag Trygve Truslew Haug - 2014 - Journal of Semantics 31 (4):fft008.
    This article points out problems in current dynamic treatments of anaphora and provides a new account that solves these by grafting Muskens' Compositional Discourse Representation Theory onto a partial theory of types. Partiality is exploited to keep track of which discourse referents have been introduced in the text (thus avoiding the overwrite problem) and to account for cases of anaphoric failure. Another key assumption is that the set of discourse referents is well-ordered, so that we can keep track of the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Anti-Meaning and Why It Matters.Stephen M. Campbell & Sven Nyholm - 2015 - Journal of the American Philosophical Association 1 (4): 694-711.
    It is widely recognized that lives and activities can be meaningful or meaningless, but few have appreciated that they can also be anti-meaningful. Anti-meaning is the polar opposite of meaning. Our purpose in this essay is to examine the nature and importance of this new and unfamiliar topic. In the first part, we sketch four theories of anti-meaning that correspond to leading theories of meaning. In the second part, we argue that anti-meaning has significance not only for our attempts to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  24.  34
    (1 other version)In memoriam: Michael Dummett 1925-2011.Dag Prawitz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Dag Prawitz The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 119-122, March 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Automated cars meet human drivers: responsible human-robot coordination and the ethics of mixed traffic.Sven Nyholm & Jilles Smids - 2020 - Ethics and Information Technology 22 (4):335-344.
    In this paper, we discuss the ethics of automated driving. More specifically, we discuss responsible human-robot coordination within mixed traffic: i.e. traffic involving both automated cars and conventional human-driven cars. We do three main things. First, we explain key differences in robotic and human agency and expectation-forming mechanisms that are likely to give rise to compatibility-problems in mixed traffic, which may lead to crashes and accidents. Second, we identify three possible solution-strategies for achieving better human-robot coordination within mixed traffic. Third, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  26.  51
    Gamification, Side Effects, and Praise and Blame for Outcomes.Sven Nyholm - 2024 - Minds and Machines 34 (1):1-21.
    Abstract“Gamification” refers to adding game-like elements to non-game activities so as to encourage participation. Gamification is used in various contexts: apps on phones motivating people to exercise, employers trying to encourage their employees to work harder, social media companies trying to stimulate user engagement, and so on and so forth. Here, I focus on gamification with this property: the game-designer (a company or other organization) creates a “game” in order to encourage the players (the users) to bring about certain outcomes (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Can a Robot Be a Good Colleague?Sven Nyholm & Jilles Smids - 2020 - Science and Engineering Ethics 26 (4):2169-2188.
    This paper discusses the robotization of the workplace, and particularly the question of whether robots can be good colleagues. This might appear to be a strange question at first glance, but it is worth asking for two reasons. Firstly, some people already treat robots they work alongside as if the robots are valuable colleagues. It is worth reflecting on whether such people are making a mistake. Secondly, having good colleagues is widely regarded as a key aspect of what can make (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  28.  83
    Is Academic Enhancement Possible by Means of Generative AI-Based Digital Twins?Sven Nyholm - 2023 - American Journal of Bioethics 23 (10):44-47.
    Large Language Models (LLMs) “assign probabilities to sequences of text. When given some initial text, they use these probabilities to generate new text. Large language models are language models u...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. It Loves Me, It Loves Me Not.Sven Nyholm - 2019 - Techné: Research in Philosophy and Technology 23 (3):402-424.
    Drawing on insights from robotics, psychology, and human-computer interaction, developers of sex robots are currently aiming to create emotional bonds of attachment and even love between human users and their products. This is done by creating robots that can exhibit a range of facial expressions, that are made with human-like artificial skin, and that possess a rich vocabulary with many conversational possibilities. In light of the human tendency to anthropomorphize artefacts, we can expect that designers will have some success and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  30. Social Robots and Society.Sven Nyholm, Cindy Friedman, Michael T. Dale, Anna Puzio, Dina Babushkina, Guido Lohr, Bart Kamphorst, Arthur Gwagwa & Wijnand IJsselsteijn - 2023 - In Ibo van de Poel, Ethics of Socially Disruptive Technologies: An Introduction. Cambridge, UK: Open Book Publishers. pp. 53-82.
    Advancements in artificial intelligence and (social) robotics raise pertinent questions as to how these technologies may help shape the society of the future. The main aim of the chapter is to consider the social and conceptual disruptions that might be associated with social robots, and humanoid social robots in particular. This chapter starts by comparing the concepts of robots and artificial intelligence and briefly explores the origins of these expressions. It then explains the definition of a social robot, as well (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. The Concepts of Proof and Ground.Dag Prawitz - 2019 - In Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster, Mathesis Universalis, Computability and Proof. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  32.  21
    1 Introduction: The Human Nature Formula.Sven Nyholm - 2015 - In Revisiting Kant's Universal Law and Humanity Formulas. Boston: De Gruyter. pp. 1-24.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  9
    4 Permissibility, Virtue, and the Highest Good.Sven Nyholm - 2015 - In Revisiting Kant's Universal Law and Humanity Formulas. Boston: De Gruyter. pp. 119-158.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  17
    A situation-theoretic representations of text meaning: anaphora, quantification, and negation'.Dag Westerståhl, Björn Haglund & Torbjörn Lager - 1993 - In Peter Aczel, David Israel, Yosuhiro Katagiri & Stanley Peters, Situation Theory and its Applications Vol. CSLI Publications. pp. 375--408.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  15
    More love troubles: Emma Gordon on biomedical enhancements and love relationships.Sven Nyholm - 2024 - Asian Journal of Philosophy 3 (2):1-16.
    In my contribution to this book symposium on Emma Gordon’s book Human Enhancement and Well-Being, I discuss and respond to Gordon’s extensive discussion and criticisms of a skeptical argument regarding the desirability of love enhancements that I presented in a 2015 paper. I start by first explaining the overall project of Gordon’s book, make a general comment about her overall approach (which I am broadly sympathetic with), and then proceed to a detailed discussion of Gordon’s critical engagement with my 2015 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
  37.  66
    Meaning and Anti-Meaning in Life.Sven Nyholm & Stephen M. Campbell - 2022 - In Iddo Landau, The Oxford Handbook of Meaning in Life. New York: Oxford University Press. pp. 277-91.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  38. Logical constants in quantifier languages.Dag Westerståhl - 1985 - Linguistics and Philosophy 8 (4):387 - 413.
  39.  88
    Deep Brain Stimulation, Continuity over Time, and the True Self.Sven Nyholm & Elizabeth O’Neill - 2016 - Cambridge Quarterly of Healthcare Ethics 25 (4):647-658.
    One of the topics that often comes up in ethical discussions of deep brain stimulation (DBS) is the question of what impact DBS has, or might have, on the patient’s self. This is often understood as a question of whether DBS poses a “threat” to personal identity, which is typically understood as having to do with psychological and/or narrative continuity over time. In this article, we argue that the discussion of whether DBS is a “threat” to continuity over time is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  40.  22
    Arabic philosophy and Averroism.Dag Nikolaus Hasse - 2007 - In James Hankins, The Cambridge Companion to Renaissance Philosophy. New York: Cambridge University Press.
  41. Ethical Accident Algorithms for Autonomous Vehicles and the Trolley Problem: Three Philosophical Disputes.Sven Nyholm - 2022 - In Hallvard Lillehammer, The Trolley Problem. Cambridge: Cambridge University Press. pp. 211-230.
  42. (1 other version)Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.
  43.  77
    Robotic Animism: The Ethics of Attributing Minds and Personality to Robots with Artificial Intelligence.Sven Nyholm - 2022 - In Tiddy Smith, Animism and Philosophy of Religion. Springer Verlag. pp. 313-340.
    In this chapter, I use the expression “robotic animism” to refer to the tendency that many people have to interact with robots as if the robots have minds or a personality. I compare the idea of robotic animism with what philosophers and psychologists sometimes refer to as “mind-reading”, as it relates to human interaction with robots. The chapter offers various examples of robotic animism and mind-reading within different forms of human-robot interaction, and it also considers ethical and prudential arguments for (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  42
    [Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
    Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   92 citations  
  45.  47
    A continuous functional with noncollapsing hierarchy.Dag Normann - 1978 - Journal of Symbolic Logic 43 (3):487-491.
  46.  27
    Bibliography.Sven Nyholm - 2015 - In Revisiting Kant's Universal Law and Humanity Formulas. Boston: De Gruyter. pp. 159-164.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  19
    David Edmonds (ed.), Ethics and the Contemporary World.Sven Nyholm - 2020 - Journal of Moral Philosophy 17 (6):699-702.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  41
    Reason with me: Confabulation and Interpersonal Moral Reasoning.Sven Nyholm - 2015 - Ethical Perspectives 22 (2):315-332.
    According to Haidt’s “social intuitionist model”, empirical moral psychology supports the following conclusion: intuition comes first, strategic reasoning second. Critics have responded by arguing that intuitions can depend on non-conscious reasons, that not being able to articulate one’s reasons doesn’t entail not being responsive to reasons, and that the relations between intuitions and reasoning can be truth-tracking and principled in ways overlooked by Haidt. This debate involves a false dichotomy: that either reasoning is truth-tracking, or else our reasoning is purely (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. The Philosophical Position of Proof Theory.Dag Prawitz - 1972 - In Raymond E. Olson, Contemporary philosophy in Scandinavia. Baltimore,: Johns Hopkins University Press. pp. 123–134.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  50. On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.
1 — 50 / 777