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

999 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.  12
    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.  1
    Artur E. Galvão (2003). Utopia E Anti-Utopia Liberal: Aspectos Do Projecto Ético-Político de Richard Rorty. Revista Portuguesa de Filosofia 59 (1):185 - 200.
    O presente artigo examina o projecto ético-politico de Richard Rorty nas suas vertentes teórica (enquanto projecto ideal de sociedade - a democracia liberal) e prática (enquanto tentativa de efectivação dessa Utopia). Porém, uma análise atenta permite concluir que ele redunda no seguinte paradoxo: por um lado, Rorty argumenta que a democracia liberal é o 'melhor regime político', mas, por outro, admite que ele não é realizável na prática. O autor do artigo vai mais longe: se fosse realizável, tornar-se-ia num (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  19.  14
    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  
  20.  12
    Ricardo Araujo (2015). A filosofia da educação de Richard Rorty: conservadorismo e elitismo ou reformismo e edificação privada? Educacao E Filosofia 29 (58):665-686.
    This paper aims of is to present Richard Rorty’s Philosophy of Education, through his analysis of the education as being divided into two distinct processes: socialization and individualization. Thereafter, it is intended to show two critiques, of conservadorism and elitism, that are addressed to these processes. Finally, a redescription of the Rorty’s positions will be proposed, by assigning a reformist character to its apparent conservatism and a private character to the supposedly elitist individualization, in order to weaken the strength (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  1
    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  
  22.  3
    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  
  23.  22
    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.
  24.  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  
  25.  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 (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  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  
  27.  22
    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-.
  28. 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  
  29.  20
    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  
  30.  20
    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  
  31.  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  
  32.  13
    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  
  33.  1
    Robert Goldblatt (1986). Pratt Vaughan R.. Semantical Considerations on Floyd–Hoare Logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York 1976, Pp. 109–121.Fischer Michael J. And Ladner Richard E.. Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences, Vol. 18 , Pp. 194–211.Segerberg Krister. A Completeness Theorem in the Modal Logic of Programs. Universal Algebra and Applications. Papers Presented at Stefan Banach International Mathematical Center at the Semester “Universal Algebra and Applications” Held February 15–June 9, 1978, Edited by Traczyk Tadeuz, Banach Center Publications, Vol. 9, PWN—Polish Scientific Publishers, Warsaw 1982, Pp. 31–46.Parikh Rohit. The Completeness of Propositional Dynamic Logic. Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4–8, 1978, Edited by Winkowski J., Lecture Notes in Computer Science, Vol. 64, Springer-Verla. [REVIEW] Journal of Symbolic Logic 51 (1):225-227.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  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  
  35. 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  
  36.  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  
  37.  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  
  38.  12
    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.  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  
  40. 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  
  41.  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  
  42.  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  
  43.  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  
  44.  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  
  45.  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  
  46.  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  
  47. 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  
  48.  1
    Guttorm FlØistad (1973). Understanding Hermeneutics (Richard E. Palmer, "Hermeneutics. Interpretation Theory in Schleiermacher, Dilthey, Heidegger, and Gadamer"). [REVIEW] Inquiry 16:445.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  2
    Neil Tennant (1982). Review: Richard E. Grandy, Advanced Logic for Applications. [REVIEW] Journal of Symbolic Logic 47 (3):714-716.
  50.  6
    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 / 999