Results for 'Richard Eugene Vesley'

1000+ found
Order:
  1.  14
    N. A. Šanin. On the Constructive Interpretation of Mathematical Judgments. English Translation of XXXI 255 by Elliott Mendelson. American Mathematical Society Translations, Ser. 2 Vol. 23 , Pp. 109–189. - A. A. Markov. On Constructive Functions. English Translation of XXXI 258 by Moshe Machover. American Mathematical Society Translations, Vol. 29 , Pp. 163–195. - S. C. Kleene. A Formal System of Intuitionistic Analysis. The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 1–89. - S. C. Kleene. Various Notions of Realizability:The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 90–132. - Richard E. Ve. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  21
    Intuitionism and Proof Theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - 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  
     
    Bookmark   7 citations  
  3.  10
    Richard E. Vesley. On Strengthening Intuitionistic Logic. Notre Dame Journal of Formal Logic, Vol. 4 , P. 80.T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307.
  4.  8
    Review: Richard E. Vesley, On Strengthening Intuitionistic Logic. [REVIEW]T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  5.  7
    Choice Sequences. A Chapter of Intuitionistic Mathematics.Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  6.  2
    Pluralism in Theory and Practice: Richard Mckeon and American Philosophy.Eugene Garver & Richard Buchanan (eds.) - 2000 - 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.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  7
    Realizing Brouwer's Sequences.Richard E. Vesley - 1996 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  19
    Constructivity in Geometry.Richard Vesley - 1999 - 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  
     
    Bookmark   1 citation  
  9.  10
    A Common Axiom Set for Classical and Intuitionistic Plane Geometry.Melinda Lombard & Richard Vesley - 1998 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10. Pluralism in Theory and Practice: Richard McKeon and American Philosophy.Eugene Garver & Richard Buchanan - 2001 - Transactions of the Charles S. Peirce Society 37 (3):436-441.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  9
    Eugenics by Name or by Nature? The Spanish Anarchist Sex Reform of the 1930s.Richard Cleminson - 1994 - History of European Ideas 18 (5):729-740.
  12.  56
    Eugenics Without the State: Anarchism in Catalonia, 1900–1937.Richard Cleminson - 2008 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 39 (2):232-239.
    Current historiography has considered eugenics to be an emanation from state structures or a movement which sought to appeal to the state in order to implement eugenic reform. This paper examines the limitations of that view and argues that it is necessary to expand our horizons to consider particularly working-class eugenics movements that were based on the dissemination of knowledge about sex and which did not aspire to positions of political power. The paper argues that anarchism, with its contradictory practice (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  2
    Constraint-Based Reasoning and Privacy/Efficiency Tradeoffs in Multi-Agent Problem Solving.Richard J. Wallace & Eugene C. Freuder - 2005 - Artificial Intelligence 161 (1-2):209-227.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  24
    Discourse/Counter-Discourse: The Theory and Practice of Symbolic Resistance in Nineteenth-Century France.Eugene W. Holland & Richard Terdiman - 1988 - Substance 17 (3):75.
  15.  6
    On Strengthening Intuitionistic Logic.Richard E. Vesley - 1963 - Notre Dame Journal of Formal Logic 4 (1):80-80.
  16.  7
    Type of Instructional Material, Cognitive Style and Learning Performance.Richard Riding & Eugene Sadler‐Smith - 1992 - Educational Studies 18 (3):323-340.
    Summary The positions of 129 14 to 19?year?old students on two fundamental cognitive styles dimensions (Wholist?Analytic and Verbal?Imagery) were assessed. They then received, by random allocation, one of three versions of a computer?presented instruction package on home hot water systems. The versions differed in terms of their structure (large versus small step), advance organiser (absent or present), verbal emphasis (high versus low), and diagram type (abstract versus pictorial). Version 1 had large step, no organiser, high verbal content, and abstract diagram. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  7
    Review: A. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics. [REVIEW]Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
  18.  6
    Troelstra A. S.. Choice Sequences. A Chapter of Intuitionistic Mathematics. Oxford Logic Guides. Clarendon Press, Oxford 1977, Ix + 170 Pp. [REVIEW]Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Things.Richard Sharvy, Eugene Freeman & Wilfrid Sellars - 1975 - Journal of Symbolic Logic 40 (1):100-101.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  45
    Artificial Insemination and Eugenics: Celibate Motherhood, Eutelegenesis and Germinal Choice.Martin Richards - 2008 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 39 (2):211-221.
    This paper traces the history of artificial insemination by selected donors as a strategy for positive eugenic improvement. While medical artificial insemination has a longer history, its use as a eugenic strategy was first mooted in late nineteenth-century France. It was then developed as ‘scientific motherhood’ for war widows and those without partners by Marion Louisa Piddington in Australia following the Great War. By the 1930s AID was being more widely used clinically in Britain as a medical solution to male (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  10
    Eugenics and Poverty.Richard M. Titmuss & François Lafitte - 1942 - The Eugenics Review 33 (4):106.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  6
    Artificial Insemination and Eugenics: Celibate Motherhood, Eutelegenesis and Germinal Choice.Martin Richards - 2008 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 39 (2):211-221.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  28
    Anarchists for Health: Spanish Anarchism and Health Reform in the 1930s. Part I: Anarchism, Neo-Malthusianism, Eugenics and Concepts of Health. [REVIEW]Richard Cleminson - 1995 - Health Care Analysis 3 (1):61-67.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  9
    Richard Lynn. Eugenics: A Reassessment. Ix + 366 Pp., Bibl., Index. Westport, Conn.: Praeger, 2001. $89.95.David A. Valone - 2002 - Isis 93 (3):534-534.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  10
    Principles of Tsawalk: An Indigenous Approach to Global Crisis.Eugene Richard Atleo - 2012 - Ubc Press.
    In Nuu-chah-nulth, the word tsawalk means "one." It expresses the view that all living things - humans, plants, and animals - form part of an integrated whole brought into harmony through constant negotiation and mutual respect for the other. Contemporary environmental and political crises, however, reflect a world out of balance, a world in which Western approaches for sustainable living are not working. In Principles of Tsawalk, hereditary chief Umeek builds upon his previous book, Tsawalk: A Nuu-chah-nulth Worldview, to elaborate (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  19
    The Gifts of the Shepherds in the Wakefield "Secunda Pastorum". An Iconographical Interpretation.Eugene B. Cantelupe & Richard Griffith - 1966 - Mediaeval Studies 28 (1):328-335.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  24
    Eugenics, Sex and the State: An Afterword.Richard Overy - 2008 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 39 (2):270-272.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    Eugenics, Sex and the State: An Afterword.Richard Overy - 2008 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 39 (2):270-272.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  8
    The Interdependence of Time and Space in Somesthesis: The Tau Effect Reexamined.Eugene C. Lechelt & Richard Borchert - 1977 - Bulletin of the Psychonomic Society 10 (3):191-193.
  30.  5
    Richard Weikart. From Darwin to Hitler: Evolutionary Ethics, Eugenics, and Racism in Germany. Xi + 312 Pp., Illus., Bibl., Index. New York: Palgrave, 2004. $59.95. [REVIEW]Nils Roll‐Hansen - 2005 - Isis 96 (4):669-671.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  8
    Eugenics Without the State: Anarchism in Catalonia, 1900–1937.Richard Cleminson - 2008 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 39 (2):232-239.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. EUGENE E. RYAN, "Aristotle's Theory of Rhetorical Argumentation". [REVIEW]Richard BodÉÜs - 1987 - Dialogue 26 (1):211.
     
    Export citation  
     
    Bookmark  
  33. The Animal Rights/Environmental Ethics Debate: The Environmental Perspective.Eugene C. Hargrove, Antony Weston, Richard D. Ryder, Nick Hanley, Tracey Clunies-Ross & Nicholas Hildyard - 1993 - Environmental Values 2 (3):281-282.
     
    Export citation  
     
    Bookmark   1 citation  
  34.  7
    Review: Richard Sharvy, Eugene Freeman, Wilfrid Sellars, Things. [REVIEW]Storrs McCall - 1975 - Journal of Symbolic Logic 40 (1):100-101.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Eugene Lunn, Marxism and Modernism. [REVIEW]Richard Edwards - 1986 - Radical Philosophy 44:44.
     
    Export citation  
     
    Bookmark  
  36. Partial Constraint Satisfaction.Eugene C. Freuder & Richard J. Wallace - 1992 - Artificial Intelligence 58 (1-3):21-70.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Promoting Coherent Minimum Reporting Guidelines for Biological and Biomedical Investigations: The MIBBI Project.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 - 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  
     
    Bookmark   6 citations  
  38. Intellectual Property: Moral, Legal, and International Dilemmas.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 - 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  
     
    Bookmark   5 citations  
  39. A Response to Richards' "Limited Government and Natural Property Rights".Eugene E. Dais - 1978 - Pacific Philosophical Quarterly 59 (4):370.
  40.  11
    The Social Environment and Eugenics.Richard M. Titmuss - 1944 - The Eugenics Review 36 (2):53.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  32
    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]Eugene L. Donahue - 1968 - Modern Schoolman 45 (2):171-171.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42. 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]Angus Paddison - 2011 - Studies in Christian Ethics 24 (2):245-247.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  43.  39
    The Parallels Between the Dominant Consumer Culture of the United States and That of France: Review of a Recent Book by Richard Kuisel. [REVIEW]Eugen Weber - 1994 - The Chesterton Review 20 (2/3):388-389.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  41
    Symmetries and Reflections: Scientific Essays of Eugene P. Wigner. Walter J. Moore, Michael Scriven.Richard Schlegel - 1967 - Philosophy of Science 34 (4):383-386.
  45.  3
    L'Europe Occidentale de la Fin du Xive Siècle aux Guerres d'Italie. Joseph Calmette, Eugène Déprez.Richard A. Newhall - 1938 - Speculum 13 (2):241-242.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  8
    L'Europe Occidentale de la Fin du XIVe Siècle aux Guerres d'Italie. 2e Partie: Les Premières Grandes Puissances. Joseph Calmette, Eugenè Dèprez.Richard A. Newhall - 1940 - Speculum 15 (1):99-100.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  17
    Book Review:A Poetic for Sociology: Toward a Logic of Discovery for the Human Sciences. Richard H. Brown. [REVIEW]Eugene Garver - 1979 - Ethics 89 (2):217-.
  48.  25
    Book Review: The Exact Location of the Soul, by Richard Selzer. New York: Picador USA, 2001. 337 Pp. [REVIEW]Eugene Radice - 2004 - Journal of Medical Humanities 25 (2):159-161.
  49.  10
    The Transcendence of the World: Phenomenological Studies Richard Holmes Waterloo: Wilfrid Laurier University Press, 1995, X + 110 Pp., $29.95. [REVIEW]Eugene Bertoldi - 1997 - Dialogue 36 (4):857-.
  50.  10
    Use of Instructions and Hypnosis to Minimize Anchor Effects.B. Jack White, Richard D. Alter, Mark E. Snow & D. Eugene Thorne - 1968 - Journal of Experimental Psychology 77 (3p1):415.
1 — 50 / 1000