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

1000+ found
Order:
  1.  10
    A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..
    Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  2. 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  
  3.  3
    Melinda Lombard & Richard Vesley (1998). A Common Axiom Set for Classical and Intuitionistic Plane Geometry. Annals of Pure and Applied Logic 95 (1-3):229-255.
    We describe a first order axiom set which yields the classical first order Euclidean geometry of Tarski when used with classical logic, and yields an intuitionistic Euclidean geometry when used with intuitionistic logic. The first order language has a single six place atomic predicate and no function symbols. The intuitionistic system has a computational interpretation in recursive function theory, that is, a realizability interpretation analogous to those given by Kleene for intuitionistic arithmetic and analysis. This interpretation shows the unprovability in (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4. 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  
  5.  7
    Richard Vesley (1999). Constructivity in Geometry. History and Philosophy of Logic 20 (3-4):291-294.
    We review and contrast three ways to make up a formal Euclidean geometry which one might call constructive, in a computational sense. The starting point is the first-order geometry created by Tarski.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  4
    Richard Vesley (1979). Review: A. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 44 (2):275-276.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  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  
  8.  1
    Carole Barthélémy, Annabelle Boutet, Suzanne de Cheveigné, Xavier Lemaire, Audrey Richard & Eugene Rosa (2007). Environment, Knowledge and Democracy. Natures Sciences Sociétés 15 (3):302-306.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Richard Vesley (1979). Troelstra A. S.. Choice Sequences. A Chapter of Intuitionistic Mathematics. Oxford Logic Guides. Clarendon Press, Oxford 1977, Ix + 170 Pp. [REVIEW] Journal of Symbolic Logic 44 (2):275-276.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. M. Richard (1950). Richard M., Apo; fwnh'. Byzantion 20:191-222.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  11. Rorty Richard (1990). Review Symposium. Richard Rorty, Contingency, Irony, and Solidarity, Cambridge: Cambridge University Press, 1989,? 25.00, Paper? 7.95, XVI+ 201 Pp. [REVIEW] History of the Human Sciences 3 (1).
     
    Export citation  
     
    My bibliography  
  12. 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  
  13. Angus Paddison (2011). Book Review: Richard Bourne, Seek the Peace of the City: Christian Political Criticism as Public, Realist, and Transformative (Theopolitical Visions Series; Eugene, OR: Cascade Books, 2010). X + 329 Pp. $38 (Pb), ISBN 978-1-55635-642-1. [REVIEW] Studies in Christian Ethics 24 (2):245-247.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14.  44
    Annemarie Stee (2013). Kneeling at the Altar of Science: The Mistaken Path of Contemporary Religious Scientism. By Robert Bolger. Foreword by Richard Olson. Eugene, OR: Wipf and Stock, 2012. Xiii+ 160 Pages. Softcover $20.00. [REVIEW] Zygon 48 (2):496-497.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  15.  1
    Mary Beth Ingham (2016). The Cambridge Companion to the Trinity. Edited by Peter C. Phan. Pp. 413 + Index, Cambridge University Press 2011, $34.99. Richard of St. Victor, On the Trinity. English Translation and Commentary by Ruben Angelici. Pp. Xii, 246, Bibliography & Index, Eugene, OR, Cascade Books 2011, $26.74. [REVIEW] Heythrop Journal 57 (6):1044-1044.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  7
    R. S. Gottlieb (1990). Book Reviews : Louis O. Mink, Historical Understanding, Edited by Brian Fay, Eugene O. Golob, and Richard T. Vann. Cornell University Press, Ithaca, NY 1987. Pp. 285 + Index, $29.95 (Cloth. [REVIEW] Philosophy of the Social Sciences 20 (2):259-263.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  2
    Storrs McCall (1975). Review: Richard Sharvy, Eugene Freeman, Wilfrid Sellars, Things. [REVIEW] Journal of Symbolic Logic 40 (1):100-101.
    Direct download  
     
    Export citation  
     
    My bibliography  
  18. Joe Bassi (2016). David Meerman Scott; Richard Jurek.Marketing the Moon: The Selling of the Apollo Lunar Program. Foreword by Captain Eugene A. Cernan. Xiii + 130 Pp., Illus., Bibl. Cambridge, Mass./London: MIT Press, 2014. $27.95. [REVIEW] Isis 107 (2):432-433.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Mary Beth Ingham (2016). The Cambridge Companion to the Trinity. Edited by Peter C. Phan. Pp. 413 + Index, Cambridge University Press 2011, $34.99. Richard of St. Victor, On the Trinity. English Translation and Commentary by Ruben Angelici. Pp. Xii, 246, Bibliography & Index, Eugene, OR, Cascade Books 2011, $26.74. [REVIEW] Heythrop Journal 57 (6):1044-1044.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20. Stephen Brush (1965). The Use of Citation Data in Writing the History of Science by Eugene Garfield; Irving H. Sher; Richard J. Torpie. [REVIEW] Isis: A Journal of the History of Science 56:487-487.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. Storrs McCall (1975). Sharvy Richard. Things. Basic Issues in the Philosophy of Time, Edited by Freeman Eugene and Sellars Wilfrid, Open Court, LaSalle, Ill., 1971, Pp. 164–180. , Pp. 488–504.). [REVIEW] Journal of Symbolic Logic 40 (1):100-101.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. 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  
  23. Geoffrey Turner (2016). Paul's Pisidian Antioch Speech: Acts 13. By John Eifion Morgan‐Wynne. Pp. Xiv, 260, Pickwick Publications, Eugene, Oregon, 2014, $30.00. The Acts of Paul: A New Translation with Introduction and Commentary. By Richard I. Pervo. Pp. Xvii, 376, James Clarke, Cambridge, 2014, £25.00. [REVIEW] Heythrop Journal 57 (4):724-725.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24.  11
    Jeffrey Stout (2003). How Charity Transcends the Culture Wars: Eugene Rogers and Others on Same-Sex Marriage. Journal of Religious Ethics 31 (2):169 - 180.
    In 1994 the "Ramsey Colloquium," under the leadership of Richard John Neuhaus, posed a challenge to what it called the "homosexual movement" within the Christian Church. The challenge was to prove that it had reasons distinguishable from secular liberalism--reasons consistent with orthodox Christian theology--in favor of same-sex coupling. Eugene Rogers's book, "Sexuality and the Christian Body: Their Way into the Triune God, can be read as a response to this challenge. The book is important not only for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  23
    Gary J. Shipley & Nicola Masciandaro (2012). "Open Commentary to Eugene Thacker's" Cosmic Pessimism". Continent 2 (2):76-81.
    continent. 2.2 (2012): 76–81 Comments on Eugene Thacker’s “Cosmic Pessimism” Nicola Masciandaro Anything you look forward to will destroy you, as it already has. —Vernon Howard In pessimism, the first axiom is a long, low, funereal sigh. The cosmicity of the sigh resides in its profound negative singularity. Moving via endless auto-releasement, it achieves the remote. “ Oltre la spera che piú larga gira / passa ’l sospiro ch’esce del mio core ” [Beyond the sphere that circles widest / (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26. Eugene Garver & Richard Buchanan (eds.) (2000). Pluralism in Theory and Practice: Richard Mckeon and American Philosophy. Vanderbilt University Press.
    Pluralism in Theory and Practice not only brings McKeon to the attention of contemporary philosophers and students; it also puts his theories into practice. Some of the essays explicate aspects of McKeon's thought or situate him in the context of American intellectual and practical engagement. Others take the concerns he raised as starting points for inquiries into urgent contemporary problems, or, in some cases, for reexamining McKeon's work as fertile ground for shaping the direction of new investigation.
     
    Export citation  
     
    My bibliography  
  27.  89
    Richard Boyce (forthcoming). Book Review: A Pathway of Interpretation: The Old Testament for Pastors and Students by Walter Brueggemann Cascade, Eugene, Ore., 2008. 180 Pp. $16.80. ISBN 978-1-55635-589-9.; We Have Heard That God Is with You: Preaching the Old Testament by Rein Bos Eerdmans, Grand Rapids, 2008. 384 Pp. $28.00. ISBN 978-0-8028-0770-0. [REVIEW] Interpretation 63 (4):422-424.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28.  13
    Eugene Radice (2004). Book Review: The Exact Location of the Soul, by Richard Selzer. New York: Picador USA, 2001. 337 Pp. [REVIEW] Journal of Medical Humanities 25 (2):159-161.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  29.  6
    Richard J. Blackwell (1973). "Basic Issues in the Philosophy of Time," Ed. Eugene Freeman and Wilfrid Sellars. Modern Schoolman 50 (4):403-403.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  7
    Richard Schlegel (1967). Book Review:Symmetries and Reflections: Scientific Essays of Eugene P. Wigner Walter J. Moore, Michael Scriven. [REVIEW] Philosophy of Science 34 (4):383-.
  31.  11
    Eugene L. Donahue (1968). Historical and Critical Dictionary. Selections. By Pierre Bayle. Trans, with an Introduction and Notes, by Richard H. Popkin. With the Assistance of Craig Brush. [REVIEW] Modern Schoolman 45 (2):171-171.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32.  2
    Richard Shaw (2015). Timothy J. Furry, Allegorizing History: The Venerable Bede, Figural Exegesis, and Historical Theory. Eugene, OR: Pickwick Publications, 2013. Paper. Pp. Xi, 162; 1 Black-and-White Figure. $20. ISBN: 978-1-62032-656-5. [REVIEW] Speculum 90 (3):811-813.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33.  9
    Richard Bodéüs (1987). Aristotle's Theory of Rhetorical Argumentation Eugene E. Ryan Collection Noêsis Montréal: Bellarmin, 1984. 192 P. Dialogue 26 (01):211-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  4
    Eugene Garver (1979). Book Review:A Poetic for Sociology: Toward a Logic of Discovery for the Human Sciences. Richard H. Brown. [REVIEW] Ethics 89 (2):217-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35.  3
    Eugene Bertoldi (1997). The Transcendence of the World: Phenomenological Studies Richard Holmes Waterloo: Wilfrid Laurier University Press, 1995, X + 110 Pp., $29.95. [REVIEW] Dialogue 36 (04):857-.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  36. Richard Edwards (1986). Eugene Lunn, Marxism and Modernism. [REVIEW] Radical Philosophy 44:44.
    No categories
     
    Export citation  
     
    My bibliography  
  37. Richard A. Newhall (1938). L'Europe Occidentale de la Fin du Xive Siècle aux Guerres d'ItalieJoseph Calmette Eugène Déprez. Speculum 13 (2):241-242.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Richard A. Newhall (1940). L'Europe Occidentale de la Fin du XIVe Siècle aux Guerres d'Italie. 2e Partie: Les Premières Grandes puissancesJoseph Calmette Eugenè Dèprez. Speculum 15 (1):99-100.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Richard BodÉÜs (1987). EUGENE E. RYAN, "Aristotle's Theory of Rhetorical Argumentation". [REVIEW] Dialogue 26 (1):211.
     
    Export citation  
     
    My bibliography  
  40.  3
    Richard Rumana (ed.) (2002). Richard Rorty: An Annotated Bibliography of Secondary Literature. Rodopi.
    Demonstrating Richard Rorty’s breadth of scholarship and his influence on diverse issues across the social sciences and humanities, this comprehensive bibliography contains 1,165 citations. A unique reference work on neo-pragmatism, this bibliography is essential for anyone researching Rorty’s work and its impact on philosophy, literature, the arts, religion, the social sciences, politics, and education.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41. Chris F. Taylor, Dawn Field, Susanna-Assunta Sansone, Jan Aerts, Rolf Apweiler, Michael Ashburner, Catherine A. Ball, Pierre-Alain Binz, Molly Bogue, Tim Booth, Alvis Brazma, Ryan R. Brinkman, Adam Michael Clark, Eric W. Deutsch, Oliver Fiehn, Jennifer Fostel, Peter Ghazal, Frank Gibson, Tanya Gray, Graeme Grimes, John M. Hancock, Nigel W. Hardy, Henning Hermjakob, Randall K. Julian, Matthew Kane, Carsten Kettner, Christopher Kinsinger, Eugene Kolker, Martin Kuiper, Nicolas Le Novere, Jim Leebens-Mack, Suzanna E. Lewis, Phillip Lord, Ann-Marie Mallon, Nishanth Marthandan, Hiroshi Masuya, Ruth McNally, Alexander Mehrle, Norman Morrison, Sandra Orchard, John Quackenbush, James M. Reecy, Donald G. Robertson, Philippe Rocca-Serra, Henry Rodriguez, Heiko Rosenfelder, Javier Santoyo-Lopez, Richard H. Scheuermann, Daniel Schober, Barry Smith & Jason Snape (2008). Promoting Coherent Minimum Reporting Guidelines for Biological and Biomedical Investigations: The MIBBI Project. Nature Biotechnology 26 (8):889-896.
    Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  42.  39
    Dennis Schulting, Mark Koster & Jappe Groenendijk (2016). De zelfgenoegzaamheid van de linkse academici. Interview met Richard Rorty. Krisis: Journal for Contemporary Philosophy 28 (1):60-65.
    Interview with Richard Rorty, April 1997, Amsterdam. Occasion for the interview was Rorty being the occupant of the Spinoza Chair in 1997. The interview is mostly about Rorty's paper 'The Intellectuals and the Poor', in which he criticises the politics of left-wing academics.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  43.  6
    Andrew Hunt, The Green Ray.
    This title sees the re-emergence of the seminal 1970s magazine Curtains edited by Paul Buck. With its early promotion of French writers such as Georges Bataille, Maurice Blanchot, Jacques Derrida, Jean-Pierre Faye and Edmond Jabès, Curtains’ re-appearance in 2016 arrives after an exhibition at Focal Point Gallery in 2012 that was recreated from an earlier 1992 work at Cabinet Gallery around the concept of ‘disappearing’. The invited contributions come from thirteen artists with whom the editor has engaged over the years. (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  19
    Clarence Burton Sheffield (forthcoming). Promoting Critical Thinking in Higher Education: My Experiences as the Inaugural Eugene H. Fram Chair in Applied Critical Thinking at Rochester Institute of Technology. Topoi:1-9.
    From 2012 to 2015 I was the first Eugene H. Fram Chair in Applied Critical Thinking at Rochester Institute of Technology, in Rochester, NY. To the best of my knowledge it is the only such endowed position devoted solely to this at a major North American university. It was made possible by a generous 3 million dollar gift from an anonymous alumnus who wished to honor a retired faculty member who had taught for 51 years. The honoree was revered (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  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  
  46. Matthew Festenstein & Simon Thompson (eds.) (2001). Richard Rorty: Critical Dialogues. Polity Press.
    Richard Rorty is one of the most influential and provocative figures in contemporary intellectual life. He argues that many of philosophy's traditional concerns are redundant, and that the goal of inquiry should not be truth but human betterment. In this collection a distinguished team of scholars grapples with the implications of his writings for social and political thought. Avoiding mindless adulation or ritual denunciation, they offer careful but critical investigations of the meaning of Rorty's work for a range of (...)
     
    Export citation  
     
    My bibliography   5 citations  
  47. Christopher Toner (2011). Evolution, Naturalism, and the Worthwhile: A Critique of Richard Joyce's Evolutionary Debunking of Morality. Metaphilosophy 42 (4):520-546.
    Abstract: In The Evolution of Morality, Richard Joyce argues there is good reason to think that the “moral sense” is a biological adaptation, and that this provides a genealogy of the moral sense that has a debunking effect, driving us to the conclusion that “our moral beliefs are products of a process that is entirely independent of their truth, … we have no grounds one way or the other for maintaining these beliefs.” I argue that Joyce's skeptical conclusion is (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48. John P. Barlow, David H. Carey, James W. Child, Marci A. Hamilton, Hugh C. Hansen, Edwin C. Hettinger, Justin Hughes, Michael I. Krauss, Charles J. Meyer, Lynn Sharp Paine, Tom C. Palmer, Eugene H. Spafford & Richard Stallman (1997). Intellectual Property: Moral, Legal, and International Dilemmas. Rowman & Littlefield Publishers.
    As the expansion of the Internet and the digital formatting of all kinds of creative works move us further into the information age, intellectual property issues have become paramount. Computer programs costing thousands of research dollars are now copied in an instant. People who would recoil at the thought of stealing cars, computers, or VCRs regularly steal software or copy their favorite music from a friend's CD. Since the Web has no national boundaries, these issues are international concerns. The contributors-philosophers, (...)
     
    Export citation  
     
    My bibliography   5 citations  
  49.  69
    Carlos Arboleda Mora (2014). Richard Kearney y la cuarta reducción fenomenológica. Escritos 22 (49):313-335.
    Uno de los fenomenólogos de la nueva generación que sigue la línea de Husserl, Heidegger, Marion y Lévinas es Richard Kearney. Este filósofo irlandés, católico, propone una cuarta reducción fenomenológica, esto es, volver al eschaton enraizado en la existencia cotidiana: encontrar la voz y el rostro de lo más alto en lo más bajo. Es como la realización de aquella idea heideggeriana de que “Sólo aquello del mundo que es de poca monta llegará alguna vez a ser cosa.” . (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Charles B. Guignon & David R. Hiley (eds.) (2003). Richard Rorty. Cambridge University Press.
    Arguably the most influential of all contemporary English-speaking philosophers Richard Rorty has transformed the way many inside and outside philosophy think about the discipline and the traditional ways of practising it. Drawing on a wide range of thinkers from Darwin and James to Quine, Wittgenstein, Heidegger and Derrida, Rorty has injected a bold anti-foundationalist vision into philosophical debate, into discussions in literary theory, communication studies, political theory and education, and, as public intellectual, into national debates about the responsibilities of (...)
     
    Export citation  
     
    My bibliography   3 citations  
1 — 50 / 1000