Results for '��sgeir Berg Matth��asson'

1000+ found
Order:
  1.  32
    Jan Berg: Die theoretische Philosophie Kants. Unter Berücksichtigung der Grundbegriffe seiner Ethik.Edgar Morscher & Jan Berg - 2016 - Philosophischer Literaturanzeiger 69 (2):105-112.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Metabletica En Wetenschap Kritische Bestandsopname van Het Werk van J.H. Van den Berg.J. H. van den Berg & J. van Belzen - 1997
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  73
    Drawing the Line: What to Do with the Work of Immoral Artists From Museums to the Movies.Erich Hatala Matthes - 2022 - New York: Oxford University Press, USA.
    Can we still watch Woody Allen's movies? Can we still laugh at Bill Cosby's jokes? Woody Allen, Kevin Spacey, Dave Chappelle, Louis C. K., J.K. Rowling, Michael Jackson, Roseanne Barr. Recent years have proven rife with revelations about the misdeeds, objectional views, and, in some instances, crimes of popular artists. Spurred in part by the #metoo movement, and given more access than ever thanks to social media and the internet in general, the public has turned an alert and critical eye (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  23
    A Kantian Quality of Will Account of Excuses.Matthé Scholten - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-27.
    It is a common picture that Kant is committed to an uncompromising account of moral responsibility that leaves no room for excuses. I argue that this picture is mistaken. More specifically, I reconstruct a Kantian quality of will account of excuses according to which an agent is excused for performing a morally wrong (or omitting a morally obligatory) action if and only if the action (or omission) does not manifest a lack of good will on the part of the agent. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Theory of Science. Edited, with an Introd., by Jan Berg. Translated From the German by Burnham Terrell. --.Bernard Bolzano & Jan Berg - 1973 - Holland, D. Reidel.
     
    Export citation  
     
    Bookmark   3 citations  
  6. Filosofi Og Vitenskap I Antikken Trond Berg Eriksen ; Tegninger, Finn Graff.Trond Berg Eriksen - 1983
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  66
    Kantian Constructivism and the Reinhold–Sidgwick Objection.Matthé Scholten - 2020 - European Journal of Philosophy 28 (2):364-379.
    In this paper, I give a reconstruction of the so‐called Reinhold–Sidgwick objection and show that Korsgaard‐style Kantian constructivists are committed to two key premises of the underlying argument. According to the Reinhold–Sidgwick objection, the Kantian conception of autonomy entails the absurd conclusion that no one is ever morally responsible for a morally wrong action. My reconstruction of the underlying argument reveals that the objection depends on a third premise, which says that freedom is a necessary condition for moral responsibility. After (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Abortion and Miscarriage.Amy Berg - 2017 - Philosophical Studies 174 (5):1217-1226.
    Opponents of abortion sometimes hold that it is impermissible because fetuses are persons from the moment of conception. But miscarriage, which ends up to 89 % of pregnancies, is much deadlier than abortion. That means that if opponents of abortion are right, then miscarriage is the biggest public-health crisis of our time. Yet they pay hardly any attention to miscarriage, especially very early miscarriage. Attempts to resolve this inconsistency by adverting to the distinction between killing and letting die or to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  9.  95
    Ought Implies Can, Asymmetrical Freedom, and the Practical Irrelevance of Transcendental Freedom.Matthé Scholten - 2021 - European Journal of Philosophy 1 (1):1-18.
    In this paper, I demonstrate that Kant's commitment to an asymmetry between the control conditions for praise and blame is explained by his endorsement of the principle Ought Implies Can (OIC). I argue that Kant accepts only a relatively weak version of OIC and that he is hence committed only to a relatively weak requirement of alternate possibilities for moral blame. This suggests that whether we are transcendentally free is irrelevant to questions about moral permissibility and moral blameworthiness.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  2
    The Iron(Iii) Thiocyanate Reaction: Research History and Role in Chemical Analysis.Kevin C. De Berg - 2019 - Springer Verlag.
    This Brief presents an historical investigation into the reaction between ferric ions and thiocyanate ions, which has been viewed in different ways throughout the last two centuries. Historically, the reaction was used in chemical analysis and to highlight the nature of chemical reactions, the laws of chemistry, models and theories of chemistry, chemical nomenclature, mathematics and data analysis, and instrumentation, which are important ingredients of what one might call the nature of chemistry. Using the history of the iron thiocyanate reaction (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Adverse Consequences of Article 12 of the UN Convention on the Rights of Persons with Disabilities for Persons with Mental Disabilities and an Alternative Way Forward.Matthé Scholten & Jakov Gather - 2018 - Journal of Medical Ethics 44 (4):226-233.
    It is widely accepted among medical ethicists that competence is a necessary condition for informed consent. In this view, if a patient is incompetent to make a particular treatment decision, the decision must be based on an advance directive or made by a substitute decision-maker on behalf of the patient. We call this the competence model. According to a recent report of the United Nations (UN) High Commissioner for Human Rights, article 12 of the UN Convention on the Rights of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12.  39
    Kant on Moral Self‐Opacity.Anastasia N. A. Berg - 2020 - European Journal of Philosophy 28 (3):567-585.
    It has been widely accepted that Kant holds the “Opacity Thesis,” the claim that we cannot know the ultimate grounds of our actions. Understood in this way, I shall argue, the Opacity Thesis is at odds with Kant's account of practical self-consciousness, according to which I act from the (always potentially conscious) representation of principles of action and that, in particular, in acting from duty I act in consciousness of the moral law's determination of my will. The Opacity Thesis thus (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  2
    Jan Hendrik van den Berg Answers Some Questions.J. H. van den Berg & Robert D. Romanyshyn - 2008 - Janus Head 10 (2):377-383.
    In this interview with Jan Hendrik van den Berg, the Dutch phenomenologist and psychiatrist addresses the origins of his work, his most significant influences, and the purpose of metabletic phenomenology in the modern age. In the course of the interview. Dr. Van den Berg provides a basic overview of his work, and highlights the central finding of his metabletic analyses: a loss of wonder before nature, which results from the more fundamental loss of genuine spirituality in the modern (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  49
    Precis of Jonathan Berg, Direct Belief: An Essay on the Semantics, Pragmatics, and Metaphysics of Belief: Mouton Series in Pragmatics, 13. Berlin & Boston: De Gruyter Mouton, 2012.Jonathan Berg - 2017 - Philosophia 45 (1):7-17.
    In Direct Belief I argue for the Theory of Direct Belief, which treats having a belief about an individual as an unmediated relation between the believer and the individual the belief is about. After a critical review of alternative positions, I use Grice’s theory of conversational implicature to provide a detailed pragmatic account of substitution failure in belief ascriptions and go on to defend this view against objections, including those based on an unwarranted “Inner Speech” Picture of Thought. The work (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  50
    A Feminist Perspective on Virtue Ethics.Sandrine Berges - 2015 - palgrave macmillan.
    The writings of women philosophers have often been neglected in the discipline of virtue ethics. In this historical survey of feminist virtue ethics, Sandrine Berges redresses the balance by focusing on key writings of important women philosophers, including Perictione, Heloise, Christine de Pizan, Mary Wollstonecraft and Sophie de Grouchy. A Feminist Perspective on Virtue Ethics first applies the findings of its historical survey to questions on the ethics of care, gender and the public life, and global justice. In what follows, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Schizophrenia and Moral Responsibility: A Kantian Essay.Matthé Scholten - 2016 - Philosophia 44 (1):205-225.
    In this paper, I give a Kantian answer to the question whether and why it would be inappropriate to blame people suffering from mental disorders that fall within the schizophrenia spectrum. I answer this question by reconstructing Kant’s account of mental disorder, in particular his explanation of psychotic symptoms. Kant explains these symptoms in terms of various types of cognitive impairment. I show that this explanation is plausible and discuss Kant’s claim that the unifying feature of the symptoms is the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  13
    Equality in the Informed Consent Process: Competence to Consent, Substitute Decision-Making, and Discrimination of Persons with Mental Disorders.Matthé Scholten, Jakov Gather & Jochen Vollmann - 2021 - Journal of Medicine and Philosophy 46 (1):108-136.
    According to what we propose to call “the competence model,” competence is a necessary condition for valid informed consent. If a person is not competent to make a treatment decision, the decision must be made by a substitute decision-maker on her behalf. Recent reports of various United Nations human rights bodies claim that article 12 of the Convention on the Rights of Persons with Disabilities involves a wholesale rejection of this model, regardless of whether the model is based on a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Cultural Appropriation and Oppression.Erich Matthes - 2019 - Philosophical Studies 176 (4):1003-1013.
    In this paper, I present an outline of the oppression account of cultural appropriation and argue that it offers the best explanation for the wrongfulness of the varied and complex cases of appropriation to which people often object. I then compare the oppression account with the intimacy account defended by C. Thi Nguyen and Matt Strohl. Though I believe that Nguyen and Strohl’s account offers important insight into an essential dimension of the cultural appropriation debate, I argue that justified objections (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  19.  10
    Moral Worth and Moral Responsibility.Matthé Scholten - 2018 - In Violetta L. Waibel, Margit Ruffing & David Wagner (eds.), Natur Und Freiheit. Akten des Xii. Internationalen Kant-Kongresses. De Gruyter. pp. 2165-2172.
  20.  13
    Virgilian Assonance.Roland G. Austin - 1929 - Classical Quarterly 23 (1):46-55.
    In the Classical Quarterly for April, 1927, I tried to show how Virgil, in his fourth Eclogue, introduced assonance and even rhyme to contribute in part to the ‘Sibylline’ atmosphere of the poem. Since then I have further investigated this question of assonance in Virgil's poetry, with what appear interesting results.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  2
    Adverse Consequences of Article 12 of the UN Convention on the Rights of Persons with Disabilities for Persons with Mental Disabilities and an Alternative Way Forward.Matthé Scholten & Jakov Gather - 2017 - Journal of Medical Ethics:medethics-2017-104414.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  22. Cultural Appropriation Without Cultural Essentialism?Erich Hatala Matthes - 2016 - Social Theory and Practice 42 (2):343-366.
    Is there something morally wrong with cultural appropriation in the arts? I argue that the little philosophical work on this topic has been overly dismissive of moral objections to cultural appropriation. Nevertheless, I argue that philosophers working on epistemic injustice have developed powerful conceptual tools that can aid in our understanding of objections that have been levied by other scholars and artists. I then consider the relationship between these objections and the harms of cultural essentialism. I argue that focusing on (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  23.  23
    Kant is a Soft Determinist.Matthé Scholten - 2022 - European Journal of Philosophy 30 (1):79-95.
    The aim of this paper is to situate Kant in the debate on free will. Whereas Kantians often assume that Kant's views on free will cannot be brought under any of the headings of this debate, contemporary free will theorists commonly assume that Kant is an incompatibilist of the libertarian type. I argue against both assumptions: Kant can and should be characterized as a compatibilist and more specifically as a soft determinist. After removing some persistent misconceptions about Kant's position in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  27
    The Social and Political Philosophy of Mary Wollstonecraft.Sandrine Bergès & Alan M. S. J. Coffee (eds.) - 2016 - Oxford University Press UK.
    Interest in the contribution made by women to the history of philosophy is burgeoning. At the forefront of this revival is Mary Wollstonecraft. While she has long been studied by feminists, and later discovered by political scientists, philosophers themselves have only recently begun to recognise the value of her work for their discipline. This volume brings together new essays from leading scholars, which explore Wollstonecraft's range as a moral and political philosopher of note, both taking a historical perspective and applying (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Immoral Artists.Erich Hatala Matthes - forthcoming - In James Harold (ed.), The Oxford Handbook of Ethics and Art.
    This chapter offers an overview of issues posed by the problem of immoral artists, artists who in word or deed violate commonly held moral principles. I briefly consider the question of whether the immorality of an artist can render their work aesthetically worse (making connections to chapters in the Theory section of the handbook), and then turn to questions about what the audience should do and feel in response to knowledge of these moral failings. I discuss questions such as whether (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Review of Patina: A Profane Archaeology, by Shannon Lee Dawdy. [REVIEW]Erich Hatala Matthes - 2018 - Journal of Aesthetics and Art Criticism 76 (2):249-252.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  14
    Kant’s Reply to the Consequence Argument.Matthé Scholten - 2021 - International Journal of Philosophical Studies 29 (2):135-158.
    In this paper, I show that Kant’s solution to the third antinomy is a reply sui generis to the consequence argument. If sound, the consequence argument yields that we are not morally responsible for our actions because our actions are not up to us. After expounding the modal version of the consequence argument advanced by Peter van Inwagen, I show that Kant accepts a key inference rule of the argument as well as a requirement of alternate possibilities for moral blame. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  20
    Assonances or Plays on Words in Tacitus.G. B. A. Fletcher - 1940 - The Classical Review 54 (04):184-187.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. History, Value, and Irreplaceability.Erich Hatala Matthes - 2013 - Ethics 124 (1):35-64.
    It is often assumed that there is a necessary relationship between historical value and irreplaceability, and that this is an essential feature of historical value’s distinctive character. Contrary to this assumption, I argue that it is a merely contingent fact that some historically valuable things are irreplaceable, and that irreplaceability is not a distinctive feature of historical value at all. Rather, historically significant objects, from heirlooms to artifacts, offer us an otherwise impossible connection with the past, a value that persists (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  30. Nietzsche Og la Rochefoucauld [by H. Berg].Hans Berg - 1917
     
    Export citation  
     
    Bookmark  
  31.  24
    The Classical Liberal Case for Privacy in a World of Surveillance and Technological Change.Chris Berg - 2018 - Cham, Switzerland: Palgrave Macmillan.
    How should a free society protect privacy? Dramatic changes in national security law and surveillance, as well as technological changes from social media to smart cities mean that our ideas about privacy and its protection are being challenged like never before. In this interdisciplinary book, Chris Berg explores what classical liberal approaches to privacy can bring to current debates about surveillance, encryption and new financial technologies. Ultimately, he argues that the principles of classical liberalism the rule of law, individual (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Who Owns Up to the Past? Heritage and Historical Injustice.Erich Hatala Matthes - 2018 - Journal of the American Philosophical Association 4 (1):87-104.
    ‘Heritage’ is a concept that often carries significant normative weight in moral and political argument. In this article, I present and critique a prevalent conception according to which heritage must have a positive valence. I argue that this view of heritage leads to two moral problems: Disowning Injustice and Embracing Injustice. In response, I argue for an alternative conception of heritage that promises superior moral and political consequences. In particular, this alternative jettisons the traditional focus on heritage as a primarily (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Impersonal Value, Universal Value, and the Scope of Cultural Heritage.Erich Hatala Matthes - 2015 - Ethics 125 (4):999-1027.
    Philosophers have used the terms 'impersonal' and 'personal value' to refer to, among others things, whether something's value is universal or particular to an individual. In this paper, I propose an account of impersonal value that, I argue, better captures the intuitive distinction than potential alternatives, while providing conceptual resources for moving beyond the traditional stark dichotomy. I illustrate the practical importance of my theoretical account with reference to debate over the evaluative scope of cultural heritage.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  34. Advance Research Directives in Germany: A Proposal for a Disclosure Standard.Matthé Scholten - 2018 - GeroPsych: The Journal of Gerontopsychology and Geriatric Psychiatry 31 (2):77-86.
    The fourth amendment to the German Medicinal Products Act (Arzneimittelgesetz) states that nontherapeutic research in incompetent populations is permissible under the condition that potential research participants expressly declare their wish to participate in scientific research in an advance research directive. This article explores the implementation of advance research directives in Germany against the background of the international legal and ethical framework for biomedical research. In particular, it addresses a practical problem that arises from the disclosure requirement for advance research directives. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  2
    ‘Nothing About Us Without Us’: An Interview on the Sex Worker Syllabus.Heather Berg, Angela Jones, P. J. Patella-Rey & Corinne Schwarz - forthcoming - Ethics and Social Welfare:1-7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  32
    Berg on Belief Reports.Anthony Everett - 2017 - Philosophia 45 (1):35-47.
    Jonathan Berg’s insightful and lucid book Direct Belief develops a pragmatic account of our intuitions about Frege-cases. More precisely Berg argues that our practice of belief-reporting normally exhibits certain regularities. He argues that utterances of belief reports typically conversationally implicate that the reports adhere to these regularities. And he uses these implicatures to explain our intuitions about Frege-cases. I explore and unpack Berg’s pragmatic account, considering and offering responses to three natural worries that might be raised. In (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  18
    Euripidean Assonance.B. A. Ramsden - 1968 - The Classical Review 18 (03):260-261.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  4
    Allitérations, assonances et figuralismes : de leur histoire à leur utilisation en phonétique du FLE.Claire Pillot-Loiseau & Claudia Schweitzer - 2020 - Corela. Cognition, Représentation, Langage.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  18
    Being Polite: Why Biobank Consent Comprehension Is Neither a Requirement nor an Aspiration.Berge Solberg & Lars Ursin - 2019 - American Journal of Bioethics 19 (5):31-33.
    Volume 19, Issue 5, May 2019, Page 31-33.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  3
    Eros and the Intoxications of Enlightenment: On Plato's Symposium.Steven Berg - 2011 - State University of New York Press.
    _Provocative reinterpretation of Plato's Symposium._.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Women Philosophers on Autonomy.Sandrine Berges & Siani Alberto (eds.) - 2018
    No categories
     
    Export citation  
     
    Bookmark  
  42. Authenticity and the Aesthetic Experience of History.Erich Hatala Matthes - 2018 - Analysis 78 (4):649-657.
    In this paper, I argue that norms of artistic and aesthetic authenticity that prioritize material origins foreclose on broader opportunities for aesthetic experience: particularly, for the aesthetic experience of history. I focus on Carolyn Korsmeyer’s recent articles in defense of the aesthetic value of genuineness and argue that her rejection of the aesthetic significance of historical value is mistaken. Rather, I argue that recognizing the aesthetic significance of historical value points the way towards rethinking the dominance of the very norms (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43. The Ethics of Historic Preservation.Erich Hatala Matthes - 2016 - Philosophy Compass 11 (12):786-794.
    This article draws together research from various sub-disciplines of philosophy to offer an overview of recent philosophical work on the ethics of historic preservation. I discuss how philosophers writing about art, culture, and the environment have appealed to historical significance in crafting arguments about the preservation of objects, practices, and places. By demonstrating how it relates to core themes in moral and political philosophy, I argue that historic preservation is essentially concerned with ethical issues.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  3
    Asson's Hegel-Archiv. [REVIEW]E. L. Hinman - 1913 - Journal of Philosophy 10 (18):501.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  3
    Kant on Laws. EricWatkins. Cambridge: Cambridge University Press, 2019, Xv + 297 Pp. ISBN: 978‐1‐107‐16391‐1 Hb £75.00. [REVIEW]Hein Berg - 2020 - European Journal of Philosophy 28 (3):830-832.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  50
    Berg’s Answer to Frege’s Puzzle.Wayne Davis - 2017 - Philosophia 45 (1):19-34.
    Berg seeks to defend the theory that the meaning of a proper name in a belief report is its reference against Frege’s puzzle by hypothesizing that when substituting coreferential names in belief reports results in reports that seem to have different truth values, the appearance is due to the fact that the reports have different metalinguistic implicatures. I review evidence that implicatures cannot be calculated in the way Grice or Berg imagine, and give reasons to believe that belief (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. The Ethics of Cultural Heritage.Erich Hatala Matthes - 2018 - Stanford Encyclopedia of Philosophy.
    Do members of cultural groups have special claims to own or control the products of the cultures to which they belong? Is there something morally wrong with employing artistic styles that are distinctive of a culture to which you do not belong? What is the relationship between cultural heritage and group identity? Is there a coherent and morally acceptable sense of cultural group membership in the first place? Is there a universal human heritage to which everyone has a claim? Questions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  70
    The Duhem‐Quine Thesis and Experimental Economics: A Reinterpretation.Morten Søberg - 2005 - Journal of Economic Methodology 12 (4):581-597.
    The Duhem?Quine thesis asserts that any empirical evaluation of a theory is in fact a composite test of several interconnected hypotheses. Recalcitrant evidence signals falsity within the conjunction of hypotheses, but logic alone cannot pinpoint the individual element(s) inside the theoretical cluster responsible for a false prediction. This paper considers the relevance of the Duhem?Quine thesis for experimental economics. A starting point is to detail how laboratory evaluations of economic hypotheses constitute composite tests. Another aim is to scrutinize the strategy (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  11
    Epistemology, Logic, and Grammar in Indian Philosophical Analysis.Jan Berg - 1975 - Journal of Symbolic Logic 40 (4):578-579.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  50.  68
    Short Proofs of Normalization for the Simply- Typed Λ-Calculus, Permutative Conversions and Gödel's T.Felix Joachimski & Ralph Matthes - 2003 - Archive for Mathematical Logic 42 (1):59-87.
    Inductive characterizations of the sets of terms, the subset of strongly normalizing terms and normal forms are studied in order to reprove weak and strong normalization for the simply-typed λ-calculus and for an extension by sum types with permutative conversions. The analogous treatment of a new system with generalized applications inspired by generalized elimination rules in natural deduction, advocated by von Plato, shows the flexibility of the approach which does not use the strong computability/candidate style à la Tait and Girard. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
1 — 50 / 1000