Search results for 'Richard E. Vesley' (try it on Scholar)

1000+ found
Order:
  1. Richard E. Vesley (1996). Realizing Brouwer's Sequences. Annals of Pure and Applied Logic 81 (1-3):25-74.
    When Kleene extended his recursive realizability interpretation from intuitionistic arithmetic to analysis, he was forced to use more than recursive functions to interpret sequences and conditional constructions. In fact, he used what classically appears to be the full continuum. We describe here a generalization to higher type of Kleene's realizability, one case of which, -realizability, uses general recursive functions throughout, both to realize theorems and to interpret choice sequences. -realizability validates a version of the bar theorem and the usual continuity (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  4
    Richard E. Vesley (1963). On Strengthening Intuitionistic Logic. Notre Dame Journal of Formal Logic 4 (1):80-80.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3. T. Thacher Robinson (1969). Review: Richard E. Vesley, On Strengthening Intuitionistic Logic. [REVIEW] Journal of Symbolic Logic 34 (2):307-307.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Georg Kreisel (1966). Šanin N. A.. On the Constructive Interpretation of Mathematical Judgments. English Translation of XXXI 255 by Mendelson Elliott. American Mathematical Society Translations, Ser. 2 Vol. 23 , Pp. 109–189.Markov A. A.. On Constructive Functions. English Translation of XXXI 258 by Machover Moshe. American Mathematical Society Translations, Vol. 29 , Pp. 163–195.Kleene S. C.. A Formal System of Intuitionistic Analysis. The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Kleene Stephen Cole and Vesley Richard Eugene, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 1–89.Kleene S. C.. Various Notions of Realizability: The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Kleene Stephen Cole and Vesley Richard Eugene, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 90–132.Vesley Richard E.. The. [REVIEW] Journal of Symbolic Logic 31 (2):258-261.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. T. Thacher Robinson (1969). Vesley Richard E.. On Strengthening Intuitionistic Logic. Notre Dame Journal of Formal Logic, Vol. 4 , P. 80. Journal of Symbolic Logic 34 (2):307.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  2
    Jean Richard (1991). SCHLEIERMACHER, Friedrich D.E., Theologische Enzyklopädie (1831-1832)SCHLEIERMACHER, Friedrich D.E., Theologische Enzyklopädie (1831-1832). [REVIEW] Laval Théologique et Philosophique 47 (2):284-285.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. Jean Richard (1970). Weiland, J. Sperma. La Nouvelle Théologie. Préface de E. Schillebeeckx. Traduit du Néerlandais Par Jean Evrard, Bruges, Desclée de Brouwer, 1969, 304 Pages. [REVIEW] Laval Théologique et Philosophique 26 (1):96.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Thomas Alexander Szlezak & Marie-Dominique Richard (1999). La critique platonicienne de l'écrit vaut-elle aussi pour les dialogues de Platon? A propos d'une nouvelle interprétation de Phèdre 278 B 8-E 4: Le Phèdre de Platon. [REVIEW] Revue de Philosophie Ancienne 17 (2):49-62.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  9.  8
    Keith E. Stanovich Richard & F. West (1998). Individual Differences in Framing and Conjunction Effects. Thinking and Reasoning 4 (4):289 – 317.
    Individual differences on a variety of framing and conjunction problems were examined in light of Slovic and Tversky's (1974) understanding/acceptance principle-that more reflective and skilled reasoners are more likely to affirm the axioms that define normative reasoning and to endorse the task construals of informed experts. The predictions derived from the principle were confirmed for the much discussed framing effect in the Disease Problem and for the conjunction fallacy on the Linda Problem. Subjects of higher cognitive ability were disproportionately likely (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  10. Richard Nisbett, Krantz E., H. David, Christopher Jepson & Ziva Kunda (1983). The Use of Statistical Heuristics in Everyday Inductive Reasoning. Psychological Review 90:339-363.
    Translate
     
     
    Export citation  
     
    My bibliography   22 citations  
  11.  6
    E. Petty Richard & Brinol Pablo (2008). Psychological Processes Underlying Persuasion. A Social Psychological Approach. Diogenes 55 (1).
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  1
    E. Flathman Richard (1994). [Book Review] Willful Liberalism, Voluntarism and Individuality in Political Theory and Practice. [REVIEW] In Peter Singer (ed.), Ethics. Oxford University Press 104--178.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. E. Flathman Richard (1999). Fraternal, but Not Always Sisterly Twins: Negativity and Positivity in Liberal Theory. Social Research 66 (4).
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  1
    Richard E. Creel (1984). Atheism and Freedom: A Response to Sartre and Baier: RICHARD E. CREEL. Religious Studies 20 (2):281-291.
    A few years ago I ran across a statement by Jean-Paul Sartre which seemed to imply that if there is a God, then there can be no human freedom. That thesis struck me as questionable, but at the time I did not pause to examine it. More recently I ran across a similar, more explicit statement by Kurt Baier, and I decided the time to pause had come. My knee-jerk response to Baier – and I confess it was probably nothing (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  6
    Stephen Joyce (2015). The Fearful Merging of Self and Other: Intra-Civilizational and Inter-Civilizational Colonial Cultures in Richard E. Kim’s Lost Names. Cultura 12 (1):85-98.
    Although most colonisations have been invasions of territory by neighbouring peoples with similar appearances, languages, and customs, postcolonial theory is dominated by cases of inter-civilizational imperialism between the West and the non-West. This article argues that a new theoretical framework is needed to describe intra-civilizational colonial encounters because the psychological conflicts of the intra-civilizational colonial sphere and their political ramifications function differently to those described in postcolonial theory. Drawing on Nobel Prize nominee Richard E. Kim’s memoir of growing up (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  3
    Richard E. Creel (1980). Can God Know That He Is God?: RICHARD E. CREEL. Religious Studies 16 (2):195-201.
    While reflecting one day on the enormous difficulties that men have in knowing that there is a God, a completely unexpected and unfamiliar question drifted into my purview – perhaps as a kind of ultimate expression of my philosophical frustration. ‘Indeed’, the question asked, ‘can even God know that he is God?’ At first I thought this query merely amusing. ‘Wouldn't it be funny if God cannot know that he is God! But of course he can.’ So my mind wandered (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    Richard E. Creel (1981). Happiness and Resurrection: A Reply to Morreall: RICHARD E. CREEL. Religious Studies 17 (3):387-393.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  8
    E. J. Kenney (1966). Juvenal: Satires. Translated by Jerome Mazzaro with an Introduction and Notes by Richard E. Braun. Pp. [Viii]+235. Ann Arbor: University of Michigan Press, 1965. Cloth, $5.00. [REVIEW] The Classical Review 16 (01):118-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Robert V. Brody, Chalmers C. Clark, Michael L. Gross, Heta Aleksandra Gylling, John Harris, Matti Häyry & Susan E. Herz (2004). Bette Anton, MLS, is Head Librarian of the Pamela and Kenneth Fong Optometry and Health Sciences Library. This Library Serves the University of California, Berkeley–University of California, San Francisco Joint Medical Pro-Gram and the University of California, Berkeley, School of Optometry. Richard E. Ashcroft, Ph. D., is Leverhulme Senior Lecturer in Medical Ethics At. [REVIEW] Cambridge Quarterly of Healthcare Ethics 13:1-2.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  2
    Lenise Moura Fé Almeida (2014). O princípio responsabilidade, a esperança em Ernest Bloch E o orgulho nacional: Uma simétrica oposição entre a heurística do medo em Hans Jonas E a esperança social em Richard Rorty. Cadernos Do Pet Filosofia 5 (10):12-19.
    O presente trabalho tem como objetivo desenvolver uma comparação direta entre a ética da futurologia jonasiana e o neopragmatismo rortyano no que diz respeito ao tema da esperança na prática política. Este tema foi amplamente discutido por Ernest Bloch que propõe um princípio esperança capaz de ser o impulso basilar para que o homem transcenda o presente em direção ao futuro. Por sua vez, Richard Rorty aborda este tema enquanto esperança social, que diz respeito à manutenção do orgulho nacional (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  21.  20
    Patrick Allo (2015). Donald W. Loveland, Richard E. Hodel, and S. G. Sterrett: Three Views of Logic: Mathematics, Philosophy and Computer Science. [REVIEW] Minds and Machines 25 (3):291-296.
  22.  1
    William J. Rapaport (1988). Ladner Richard E. And Reif John H.. The Logic of Distributed Protocols . Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 207–222. [REVIEW] Journal of Symbolic Logic 53 (2):667.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  24
    Mario Garitta (2012). Debi Ghate and Richard E. Ralston: Why Businessmen Need Philosophy: The Capitalist’s Guide to the Ideas Behind Ayn Rand’s Atlas Shrugged. Poiesis and Praxis 8 (4):197-201.
    The essays in this book are meant to serve as an introduction to those ideas of Ayn Rand, which are of particular relevance to business people. Rand was known as a spirited defender of the laissez-faire free enterprise system. It is less commonly known that Rand was also deeply committed to the centrality of the enterprise of philosophy for both public and private life. The essays in this book try to bridge the gap between these two aspects of Rand’s thought. (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  24.  5
    Constance B. Bouchard (2006). Richard E. Barton, Lordship in the County of Maine, C.890–1160. Woodbridge, Eng., and Rochester, N.Y.: Boydell and Brewer, 2004. Pp. Xvii, 255; Genealogical Tables and 4 Maps. $75. [REVIEW] Speculum 81 (1):141-142.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25.  9
    David Basinger (1988). Philosophical Grounds of Rationality: Intentions, Categories, Ends. By Richard E. Grandy and Richard Warner. Modern Schoolman 65 (2):137-138.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  26. Douglas Browning (2007). James Campbell and Richard E. Hart , Experience as Philosophy: On the Work of John J. McDermott. [REVIEW] Transactions of the Charles S. Peirce Society 43 (4):787-795.
     
    Export citation  
     
    My bibliography  
  27.  4
    Daryl J. Wennemann (1996). Ethics and the Environment. Edited by Richard E. Hart. Modern Schoolman 73 (4):355-356.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28.  1
    Matthew R. Jantzen (2015). An American Scholar Recalls Karl Barth’s Golden Years as a Teacher by Raymond Kemp Anderson, And: The Westminster Handbook to Karl Barth Ed. By Richard E. Burnett. Journal of the Society of Christian Ethics 35 (2):207-209.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  16
    P. T. Eden (1981). Richard E. Clairmont: A Commentary on Seneca's Apocolocyntosis Divi Claudii. Glose In Librum De Ludo Claudii Annei Senece. Pp. Viii + 121; Plates I–XVI. Chicago: Ares Publishers, 1980. [REVIEW] The Classical Review 31 (02):328-.
  30.  14
    S. R. F. Price (1989). Richard E. Oster: A Bibliography of Ancient Ephesus. (American Theological Library Association Bibliography Series, 19.) Pp. Xxiv+155. Metuchen, N.J. And London: American Theological Library Association & Scarecrow Press, 1987. £22.50. [REVIEW] The Classical Review 39 (01):148-149.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  5
    Angela Ballantyne, Belinda Bennett, Véronique Bergeron & Diana Buccafurni (2008). Richard E. Ashcroft is Professor of Bioethics in the School of Law at Queen Mary, at the University of London. He has Published Widely on Ethical Issues in Medical Research and in Public Health. His Current Research is on Bioethics and Human Rights and Equality and Difference in Reproductive Rights. [REVIEW] International Journal of Feminist Approaches to Bioethics 1 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  13
    R. T. Ridley (1992). Richard E. Mitchell: Patricians and Plebeians: The Origin of the Roman State. Pp. Xvi + 276. Ithaca and London: Cornell University Press, 1990. $28.95. [REVIEW] The Classical Review 42 (02):464-466.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  5
    Jeffrey Ihara (1999). Darwinian Dynamics: Evolutionary Transitions in Fitness and Individuality by Richard E. Michod. Complexity 5 (1):42-43.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34. D. P. Dryer (1990). Richard E. Aquila, Matter in Mind: A Study of Kant's Transcendental Deduction Reviewed By. Philosophy in Review 10 (3):91-92.
     
    Export citation  
     
    My bibliography  
  35.  12
    Paul Brazier (2010). The Lord of the Rings: Scholarship in Honor of Richard E. Blackwelder. Edited by Wayne G. Hammond and Christina Scull, Shadows and Chivalry: Pain, Suffering, Evil and Goodness in the Works of George MacDonald and C.S. Lewis (Studies in Christian History & Thought). By Jeff McInnis and Inklings of Heaven: C. S. Lewis and Eschatology. By Sean Connolly. [REVIEW] Heythrop Journal 51 (1):161-164.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  36.  10
    William A. Galston (1999). Richard E. Flathman, Reflections of a Would‐Be Anarchist: Ideals and Institutions of Liberalism:Reflections of a Would‐Be Anarchist: Ideals and Institutions of Liberalism. Ethics 109 (3):663-666.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37. Adamantia Pollis (1982). Richard E. Flathman, The Practice of Political Authority Reviewed By. Philosophy in Review 2 (2/3):89-93.
     
    Export citation  
     
    My bibliography  
  38.  10
    Thornton Anderson (1982). Book Review:The Practice of Political Authority: Authority and the Authoritative. Richard E. Flathman. [REVIEW] Ethics 93 (1):164-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  39.  3
    Judson Boyce Allen (1983). Richard E. Clairmont, Ed., A Commentary on Seneca's “Apocolocyntosis Diui Claudii” or “Glose in Librum de Ludo Claudii Annei Senece.” Critical Edition with Facing English Translation, Commentary, Notes, Indices, and Facsimile of Cod. Balliol 130. Chicago: Ares, 1980. Pp. Viii, 121, Plus 16 Facsimile Plates. [REVIEW] Speculum 58 (3):844.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  4
    John Myhill (1972). Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language. [REVIEW] Journal of Symbolic Logic 37 (4):744-747.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  7
    Susanna Phillippo (1994). Richard E. Goodkin: The Tragic Middle. Racine, Aristotle, Euripides. Pp. Ix+211. Madisonw, WI: The University of Wisconsin Press, 1992. Cased, £29.50. [REVIEW] The Classical Review 44 (01):233-234.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  3
    Charner Perry (1966). Book Review:The Public Interest: An Essay Concerning the Normative Discourse of Politics. Richard E. Flatham. [REVIEW] Ethics 77 (1):76-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  3
    Ruth Mazo Karras (2005). Richard E. Zeikowitz, Homoeroticism and Chivalry: Discourses of Mate Same-Sex Desire in the Fourteenth Century. New York and Basingstoke, Eng.: Palgrave Macmillan, 2003. Pp. Xi, 216; Diagrams. $59.95. [REVIEW] Speculum 80 (1):352-354.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  2
    Neil Tennant (1982). Review: Richard E. Grandy, Advanced Logic for Applications. [REVIEW] Journal of Symbolic Logic 47 (3):714-716.
  45. Thomas Pogge (1987). Richard E. Flathman, The Philosophy and Politics of Freedom Reviewed By. Philosophy in Review 7 (12):487-489.
     
    Export citation  
     
    My bibliography  
  46.  1
    William J. Rapaport (1988). Review: Richard E. Ladner, John H. Reif, The Logic of Distributed Protocols (Preliminary Report). [REVIEW] Journal of Symbolic Logic 53 (2):667-667.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  1
    R. Wasserstrom (1977). Books in Review : The Practice of Rights by Richard E. Flathman. New York and London: Cambridge University Press, 1976. Pp. VI, 250. $15.95. [REVIEW] Political Theory 5 (4):545-550.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    J. van Heijenoort (1975). Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW] Journal of Symbolic Logic 40 (1):95-95.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  2
    Helmut Schwichtenberg (1974). Review: Charles Parsons, A. Kino, J. Myhill, R. E. Vesley, On a Number Theoretic Choice Schema and its Relation to Induction; Charles Parsons, Review of the Foregoing; Charles Parsons, On $N$-Quantifier Induction. [REVIEW] Journal of Symbolic Logic 39 (2):342-342.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  5
    Robert D'Amico (1993). Book Review:Willful Liberalism: Voluntarism and Individuality in Political Theory and Practice. Richard E. Flathman. [REVIEW] Ethics 104 (1):178-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000