Results for 'H. P. Barendregt'

(not author) ( search as author name )
1000+ found
Order:
  1.  40
    Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.
    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  33
    The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
  3. Typed Lambda calculi. S. Abramsky et AL.H. P. Barendregt - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 117--309.
     
    Export citation  
     
    Bookmark   6 citations  
  4.  8
    Dirk Van Dalen: Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. On the interpretation of terms without a normal form.H. P. Barendregt - 1971 - Utrecht,: Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6). Edited by H. P. Barendregt.
     
    Export citation  
     
    Bookmark  
  6. The incompleteness theorems.H. P. Barendregt - 1976 - Utrecht: Rijksuniversiteit Utrecht, Mathematisch Instituut.
     
    Export citation  
     
    Bookmark   1 citation  
  7.  36
    Scanning the body, sequencing the genome: Dealing with unsolicited findings.Roel H. P. Wouters, Candice Cornelis, Ainsley J. Newson, Eline M. Bunnik & Annelien L. Bredenoord - 2017 - Bioethics 31 (9):648-656.
    The introduction of novel diagnostic techniques in clinical domains such as genomics and radiology has led to a rich ethical debate on how to handle unsolicited findings that result from these innovations. Yet while unsolicited findings arise in both genomics and radiology, most of the relevant literature to date has tended to focus on only one of these domains. In this article, we synthesize and critically assess similarities and differences between “scanning the body” and “sequencing the genome” from an ethical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
  9. Logic and Conversation.H. P. Grice - 1975 - In Donald Davidson & Gilbert Harman (eds.), The Logic of Grammar. Encino, CA: pp. 64-75.
  10. The Causal Theory of Perception.H. P. Grice & Alan R. White - 1961 - Aristotelian Society Supplementary Volume 35 (1):121-168.
  11. The causal theory of perception.H. P. Grice - 1988 - In Jonathan Dancy (ed.), Perceptual knowledge. New York: Oxford University Press. pp. 121-168.
     
    Export citation  
     
    Bookmark   180 citations  
  12. In defense of a dogma.H. P. Grice & P. F. Strawson - 1956 - Philosophical Review 65 (2):141-158.
  13. Intention and Uncertainty.H. P. Grice - 1971 - Proceedings of the British Academy 57:263-279.
    No categories
     
    Export citation  
     
    Bookmark   105 citations  
  14. Utterer's Meaning, Sentence-Meaning, and Word-Meaning.H. P. Grice - 1968 - Foundations of Language 4 (3):225-242.
     
    Export citation  
     
    Bookmark   105 citations  
  15. The causal theory of perception.H. P. Grice - 1988 - In Jonathan Dancy (ed.), Perceptual knowledge. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   25 citations  
  16. The Causal Theory of Perception.H. P. Grice - 1961 - In Sven Bernecker & Fred I. Dretske (eds.), Knowledge: Readings in Contemporary Epistemology. Oxford University Press.
     
    Export citation  
     
    Bookmark   136 citations  
  17.  15
    The Causal Theory of Perception.H. P. Grice & Alan R. White - 1961 - Aristotelian Society Supplementary Volume 35 (1):121-168.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   98 citations  
  18. Personal identity.H. P. Grice - 1941 - Mind 50 (October):330-350.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  19. Some remarks about the senses.H. P. Grice - 1962 - In R. J. Butler (ed.), Analytical Philosophy, First Series. Oxford University Press.
     
    Export citation  
     
    Bookmark   73 citations  
  20.  25
    In Defense of a Dogma.H. P. Grice & P. F. Strawson - 1958 - Journal of Symbolic Logic 23 (1):70-71.
    Direct download  
     
    Export citation  
     
    Bookmark   58 citations  
  21. Imagination and the adapted mind: A special double issue.H. P. E. Abbott - 2001 - Substance 30.
     
    Export citation  
     
    Bookmark  
  22.  27
    The life and writings of Giambattista Vico.H. P. Adams - 1935 - London,: G. Allen & Unwin.
    First published in 1935, The Life and Writings of Giambattista Vico is a succinct biography of the Italian philosopher, Giambattista Vico. Carefully documented, the book comments on Vico's life as well as his oeuvre in a bid to extend his audience to the English-speaking population. From his early childhood to the influence of his writings after his death, the book provides a keen insight into the many facets of his philosophy. This book will be of interest to students of philosophy (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  14
    Poverty, Ethics and Justice.H. P. P. [Hennie] Lotter - 2013 - University of Wales Press.
    Poverty violates fundamental human values through its impact on individuals and on human environments, and it goes against the core values of democratic societies. Drawing on numerous scientific studies as well as his own experience witnessing the systematic poverty in his home country of South Africa, H. P. P. [Hennie] Lötter presents a holistic profile of poverty and its effects on human lives all the while accounting for the complexity of each individual case. He argues that shared ethical values must (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  18
    On the spherical symmetry of a static perfect fluid.H. P. Künzle - 1972 - In D. Farnsworth (ed.), Methods of local and global differential geometry in general relativity. New York,: Springer Verlag. pp. 157--164.
  25.  74
    A Winter’s Journey of Mary Stuart.H. P. Eden - 1937 - Thought: Fordham University Quarterly 12 (3):476-489.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26. Relativity and cosmology.H. P. Robertson - 1968 - Philadelphia,: Saunders. Edited by Thomas W. Noonan.
  27. Concepts of Deity.H. P. Owen - 1971 - Tijdschrift Voor Filosofie 33 (2):400-400.
    No categories
     
    Export citation  
     
    Bookmark   15 citations  
  28.  25
    Brain complexity enhances speed of behavioral evolution.H. P. Lipp - 1979 - Behavioral and Brain Sciences 2 (1):42-42.
  29. The Adventure of Reason the Uses of Philosophy in Sociology /H.P. Rickman. --. --.H. P. Rickman - 1983 - Greenwood Press, 1983.
     
    Export citation  
     
    Bookmark  
  30.  38
    Is Philosophical Anthropology Possible.H. P. Rickman - 1985 - Metaphilosophy 16 (1):29-46.
    Philosophic anthropology, Pursuing philosophy's traditional search for reflective self-Knowledge seeks to crystallize the ideas of man underpinning empirical research and moral ideals. Neither the claim that pure speculation can produce factual knowledge nor the contention that a higher synthesis of empirical findings can become philosophy is acceptable. Philosophic anthropology is, Therefore, Most usefully conceived as a critique which traces the necessary presuppositions of the study of man in its various forms of the more rules we apply.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  85
    Morality and Christian Theism: H. P. OWEN.H. P. Owen - 1984 - Religious Studies 20 (1):5-17.
    The relation between morality and religion has often been discussed. However, it is not always recognized that the relation varies greatly according to the variety of religions. I shall here be concerned solely with Christian theism in its traditional form. I take the latter to signify, essentially, belief in a morally perfect Creator who exists in the threefold form of Father, Son and Holy Spirit and who, in the person of the Son, became man in Christ for our salvation. I (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  51
    Book Discussion: H. P. OWEN.H. P. Owen - 1965 - Religious Studies 1 (1):119-123.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  32
    Our Experience of God: H. P. OWEN.H. P. Owen - 1971 - Religious Studies 7 (2):175-183.
  34.  17
    Distributive lattices with a dual endomorphism.H. P. Sankappanavar - 1985 - Mathematical Logic Quarterly 31 (25‐28):385-392.
  35.  30
    Distributive Lattices with a Dual Endomorphism.H. P. Sankappanavar - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):385-392.
  36. Concepts of Deity.H. P. Owen - 1972 - Religious Studies 8 (3):280-281.
     
    Export citation  
     
    Bookmark   9 citations  
  37. Two paradoxes in quantum mechanics.H. P. Krips - 1969 - Philosophy of Science 36 (2):145-152.
    The purpose of this paper is to resolve two paradoxes, which occur in quantum theory, by using the discussion of the theory of measurement presented in two earlier papers by the author [3], [4], [5]. The two paradoxes discussed will be the Schrödinger cat paradox and the Einstein, Podolski, Rosen paradox [2]. An introductory section will be included which summarizes the relevant results from the author's previous papers. Also a discussion will be made regarding the author's interpretation of the density (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  38.  74
    Christian Mysticism: A Study in Walter Hilton's The Ladder of Perfection: H. P. OWEN.H. P. Owen - 1971 - Religious Studies 7 (1):31-42.
    Many writers often generalise about mysticism without a sufficiently close analysis of texts. Consequently the generalisations are often invalid. My present aim is to analyse one text and, in the light of this analysis, to offer some observations concerning mysticism in general and Christian mysticism in particular.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. Wilhelm Dilthey: Pioneer of the Human Studies.H. P. Rickman - 1980 - Philosophy 55 (213):420-421.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  40.  14
    Somewhere in France.H. P. Cooke - 1916 - The Classical Review 30 (07):205-.
  41.  4
    somewhere In France.H. P. Cooke - 1916 - The Classical Review 30 (7):205-205.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. A new alternative to the big bang theory.H. P. Dart - 1993 - Apeiron: Studies in Infinite Nature 17.
  43.  23
    Dilthey Selected Writings.H. P. Rickman - 1976 - New York: Cambridge University Press. Edited by H. P. Rickman.
    Dilthey is a figure of real importance in European philosophy and social theory. He exerted a significant influence on Husserl, Heidegger and Weber through his work on the nature of philosophy and the methodology and epistemology of human and social studies. He was also a distinguished and original historian of ideas and, indeed, many of his philosophical interests arose from the insights and practical difficulties he encountered as a historian. He produced a monumental biography of Schleiermacher, and a series of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. A forgotten Marot manuscript.H. P. Clive - 1983 - Bibliothèque d'Humanisme Et Renaissance 45 (2):325-326.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  22
    The psalm translations in bibliothèque nationale manuscript fr. 2336.H. P. Clive - forthcoming - Bibliothèque d'Humanisme Et Renaissance.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Compensating for Impoverishing Injustices of the Distant Past.H. P. P. Lotter - 2005 - Politikon 32 (1):83-102.
    Calls for compensation are heard in many countries all over the world. Spokespersons on behalf of formerly oppressed and dominated groups call for compensation for the deeply traumatic injustices their members have suffered in the past. Sometimes these injustices were suffered decades ago by members already deceased. How valid are such claims to compensation and should they be honoured as a matter of justice? The focus of this essay is on these issues of compensatory justice. I want to look at (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  30
    Poverty and Human Dignity: What Is the Relationship?H. P. P. Lötter - 2023 - In Gottfried Schweiger & Clemens Sedmak (eds.), The Routledge Handbook of Philosophy and Poverty. Routledge.
    In this chapter the explanatory value of four conceptions of human dignity to account for two seemingly contradictory intuitions is tested. One is that many people think poverty violates the humanity of poor people. The other intuition is that poor people often act with remarkable dignity despite their trying circumstances. First Immanuel Kant’s influential view on human dignity that claims it is grounded in humans’ capability to make moral judgments is examined. Next, Martha Nussbaum’s theory of the capability approach is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. The ethics of managing elephants.H. P. P. Lotter - 2006 - Acta Academica 38 (1):55-90.
    If humans may indeed legitimately intervene in conservation areas to let nature be and to protect the lives of all the diverse individual animals under their care, then the management of elephants must be legitimate as part of the conservation of natural world diversities. If this is so, to what extent are current management options ethically acceptable? In this article I address the ethics of the management options available once the judgement has been made that there are too many elephants (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Refashioning Rawls as a true champion of the poor.H. P. P. Lotter - 2010 - Politikon 37 (1):149-171.
    Rawls champions the cause of the poor because of his strong moral sentiments about the eradication of poverty. I present these sentiments, which he converts into normative elements of his theory of justice. However, the conceptual framework and intellectual resources that he uses to articulate these sentiments are inadequate. His sentiments against poverty cannot be accommodated neatly, simply, and coherently in his liberal theoretical framework. Also, I point out that his definition of the identification of poor people as the least (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. The complexity of science.H. P. P. Lotter - 1999 - Koers 64 (4):499-520.
    In this article I present an alternative philosophy of science based on ideas drawn from the study of complex adaptive systems. As a result of the spectacular expansion in scientific disciplines, the number of scientists and scientific institutions in the twentieth century, I believe science can be characterised as a complex system. I want to interpret the processes of science through which scientists themselves determine what counts as good science. This characterisation of science as a complex system can give an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000