Results for 'R. E. Vesley'

1000+ found
Order:
  1.  10
    R. E. Vesley. A Palatable Substitute for Kripke's Schema. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London 1970, Pp. 197–207. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
  2.  8
    Review: R. E. Vesley, A. Kino, J. Myhill, A Palatable Substitute for Kripke's Schema. [REVIEW]William A. Howard - 1974 - Journal of Symbolic Logic 39 (2):334-334.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    Review: David Isles, A. Kino, J. Myhill, R. E. Vesley, Regular Ordinals and Normal Forms. [REVIEW]Helmut Pfeiffer - 1973 - Journal of Symbolic Logic 38 (2):334-335.
  4.  30
    A. S. Yessenin-Volpin. The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 3–45. [REVIEW]James R. Geiser - 1975 - Journal of Symbolic Logic 40 (1):95-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  29
    Schütte Kurt. Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 42. Springer-Verlag, Berlin-Heidelberg-New York 1968, VII + 87 pp. [REVIEW]R. E. Vesley - 1971 - Journal of Symbolic Logic 36 (3):522-522.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  6.  25
    Robert R. Tompkins. On Kleene's Recursive Realizability as an Interpretation for Intuitionistic Elementary Number Theory. Notre Dame Journal of Formal Logic, Vol. 9 No. 4 , Pp. 289–293. [REVIEW]R. E. Vesley - 1970 - Journal of Symbolic Logic 35 (3):475.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  22
    Charles Parsons. On a Number Theoretic Choice Schema and its Relation to Induction. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London 1970, Pp. 459–473. - Charles Parsons. Review of the Foregoing. Zentralblatt Für Mathematik and Ihre Grenzgebiete, Vol. 202 , Pp. 12–13. - Charles Parsons. On N-Quantifier Induction. The Journal of Symbolic Logic, Vol. 37 , Pp. 466–482. [REVIEW]Helmut Schwichtenberg - 1974 - Journal of Symbolic Logic 39 (2):342.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  14
    David Isles. Regular Ordinals and Normal Forms. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N. Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 339–361. [REVIEW]Helmut Pfeiffer - 1973 - Journal of Symbolic Logic 38 (2):334-335.
  9.  17
    Oliver Aberth. Computable Analysis and Differential Equations. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 47–52. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
  10.  9
    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]Helmut Schwichtenberg - 1974 - Journal of Symbolic Logic 39 (2):342-342.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  23
    Errett Bishop. Foundations of Constructive Analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney, 1967, Xiii + 370 Pp. - Errett Bishop. Mathematics as a Numerical Language. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 53–71. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  5
    Review: Robert R. Tompkins, On Kleene's Recursive Realizability as an Interpretation for Intuitionistic Elementary Number Theory. [REVIEW]R. E. Vesley - 1970 - Journal of Symbolic Logic 35 (3):475-475.
  13.  21
    Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  21
    Per Martin-Löf. The Definition of Random Sequences. Information and Control, Vol. 9 , Pp. 602–619. - Per Martin-Löf. The Literature on von Mises' Kollectivs Revisited. Theoria, Vol. 35 , Pp. 12–37. - Per Martin-Löf. On the Notion of Randomness. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo, N. Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 73–78. [REVIEW]Robert A. DiPaola - 1975 - Journal of Symbolic Logic 40 (3):450-452.
  15.  10
    Review: Per Martin-Lof, The Definition of Random Sequences; Per Martin-Lof, The Literature on von Mises' Kollectivs Revisited; Per Martin-Lof, A. Kino, J. Myhill, R. E. Vesley, On the Notion of Randomness. [REVIEW]Robert A. DiPaola - 1975 - Journal of Symbolic Logic 40 (3):450-452.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  22
    B. Van Rootselaar. Intuition Und Konstruktion. Studium Generale, Vol. 19 , Pp. 175–181.R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (4):656.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. John Myhill. Notes Towards an Axiomatization of Intuitionistic Logic. Logique Et Analyse, N.S. Vol. 9 , Pp. 280–297.R. E. Vesley - 1968 - Journal of Symbolic Logic 33 (2):290.
  18. Review: John Myhill, Notes Towards an Axiomatization of Intuitionistic Logic. [REVIEW]R. E. Vesley - 1968 - Journal of Symbolic Logic 33 (2):290-290.
  19.  15
    Georg Kreisel. Mathematical Logic. Lectures on Modern Mathematics, Vol. 3, Edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, Pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Review: Clifford Spector, Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated in Current Intuitionistic Mathematics. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (1):128-128.
     
    Export citation  
     
    Bookmark  
  21.  39
    Obituary: John R. Myhill (1923–1987).N. D. Goodman & R. E. Vesley - 1987 - History and Philosophy of Logic 8 (2):243-244.
  22.  14
    Functionals Defined by Transfinite Recursion.R. E. Vesley & W. W. Tait - 1966 - Journal of Symbolic Logic 31 (3):509.
  23.  13
    Troelstra A. S.. The Theory of Choice Sequences. Logic, Methodology and Philosophy of Science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, Edited by van Rootselaar B. And Staal J. F., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1968, Pp. 201–223. [REVIEW]R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):332-332.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  12
    Review: B. Van Rootselaar, On Intuitionistic Difference Relations. [REVIEW]R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (3):519-520.
  25.  10
    Paul Bernays. On the Original Gentzen Consistency Proof for Number Theory. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  26.  5
    W. W. Tait. Functionals Defined by Transfinite Recursion. The Journal of Symbolic Logic, Vol. 30 , Pp. 155–174.R. E. Vesley - 1966 - Journal of Symbolic Logic 31 (3):509-510.
  27.  9
    B. Van Rootselaar. On Intuitionistic Difference Relations. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 63 , Pp. 316–322; Also Inda-Gationes Mathematicae, Vol. 22 , Pp. 316-322. - B. Van Rootselaar. Corrections. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 66 , Pp. 132–133; Also Ibid., Vol. 25 , Pp. 132-133. [REVIEW]R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (3):519-520.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  9
    Review: A. S. Troelstra, B. Van Rootselaar, J. F. Staal, The Theory of Choice Sequences. [REVIEW]R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):332-332.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  7
    Spector Clifford. Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated in Current Intuitionistic Mathematics. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 1–27. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (1):128-128.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  9
    Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  31. Review: Georg Kreisel, Mathematical Logic. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.
  32.  8
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  33.  26
    Co-Operation and Human Values: A Study of Moral Reasoning.R. E. Ewin - 1981 - New York: St. Martin's Press.
    I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  34.  83
    Moore's Defence of Common Sense: A Reappraisal After Fifty Years: R. E. Tully.R. E. Tully - 1976 - Philosophy 51 (197):289-306.
    G. E. Moore's ‘A Defence of Common Sense’ has generated the kind of interest and contrariety which often accompany what is new, provocative, and even important in philosophy. Moore himself reportedly agreed with Wittgenstein's estimate that this was his best article, while C. D. Broad has lamented its very great but largely unfortunate influence. Although the essay inspired Wittgenstein to explore the basis of Moore's claim to know many propositions of common sense to be true, A. J. Ayer judges its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  36
    Virtues and Rights: The Moral Philosophy of Thomas Hobbes.R. E. EWIN - 1991 - Westview Press.
    This book is a timely new interpretation of the moral and political philosophy of Thomas Hobbes. Staying close to Hobbes's text and working from a careful examination of the actual substance of the account of natural law, R.E. Ewin argues that Hobbes well understood the importance of moral behavior to civilized society. This interpretation stands as a much-needed corrective to readings of Hobbes that emphasize the rationally calculated, self-interested nature of human behavior. It poses a significant challenge to currently fashionable (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  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.
  37.  3
    The Dialogues of Plato, Volume 2: The Symposium.R. E. Allen (ed.) - 1993 - Yale University Press.
    R. E. Allen's superb new translation of Plato's Symposium brings this classic text to life for modern readers. Allen supplements his translation with a commentary that not only enriches our understanding of Plato's philosophy and the world of Greek antiquity but also provides insights into present-day philosophical concerns. Allen reveals the unity of Plato's intentions in the Symposium, explores the dialogue's major themes, and links them with Plato's other dialogues. His wide-ranging commentary includes discussions of Greek religious, social, and sexual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  1
    Christian Democracy in France.R. E. M. Irving - 2010 - Routledge.
    Christian Democracy, which may briefly be defined as organised political action by Catholic democrats, has been a major political force in Western Europe since the Second World War, not least in France. The aim of this book, first published in 1973, is to trace the Development of Christian Democracy in France from its origins in the 1830s to the present day, discussing its theories and its importance in French history and politics, with particular reference to the Fourth Republic when the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Free Will as Involving Determination and Inconceivable Without It.R. E. Hobart - 1934 - Mind 43 (169):1-27.
    The thesis of this article is that there has never been any ground for the controversy between the doctrine of free will and determinism, that it is based upon a misapprehension, that the two assertions are entirely consistent, that one of them strictly implies the other, that they have been opposed only because of our natural want of the analytical imagination. In so saying I do not tamper with the meaning of either phrase. That would be unpardonable. I mean free (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   119 citations  
  40. Protecting the Vulnerable: A Reanalysis of Our Social Responsibilities.R. E. GOODIN - 1985
    No categories
     
    Export citation  
     
    Bookmark   218 citations  
  41. Toward the Development of a Multidimensional Scale for Improving Evaluations of Business Ethics.R. E. Reidenbach & D. P. Robin - 1990 - Journal of Business Ethics 9 (8):639 - 653.
    This study represents an improvement in the ethics scales inventory published in a 1988 Journal of Business Ethics article. The article presents the distillation and validation process whereby the original 33 item inventory was reduced to eight items. These eight items comprise the following ethical dimensions: a moral equity dimension, a relativism dimension, and a contractualism dimension. The multidimensional ethics scale demonstrates significant predictive ability.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   212 citations  
  42. Philosophies of Education: An Introductory Course.R. E. Barker - 1986 - College Press.
     
    Export citation  
     
    Bookmark   1 citation  
  43. Kant’s Philosophy of Physical Science.R. E. Butts (ed.) - 1986 - Springer.
     
    Export citation  
     
    Bookmark  
  44. Liberty, Community, and Justice.R. E. Ewin - 1987 - Totowa, NJ: Rowman and Littlefield.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  24
    Why Worry About Business Ethics?R. E. Ewin - 1992 - Perth and Melbourne: Institute of Public Affairs.
    There are many problems about business ethics. What I want to deal with is only part of the problem: I want to consider just what can properly be expected of business in general terms by way of ethical behaviour and, along with that, what is special about business ethics and how it is related to the personal morality we are all expected to exhibit in our day-to-day lives; I want to consider how it is that ethical confusions arise from people's (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  5
    Reasons and the Fear of Death.R. E. Ewin - 2002 - Lanham: Rowman & Littlefield Publishers.
    Death, violent or otherwise, is a matter of widespread concern with ongoing debates about such matters as euthanasia and the nature of brain death. Philosophers have often argued about the rationality of fear of death. This book argues that that dispute has been misconceived: fear of death is not something that follows or fails to follow from reason, but rather, it forms the basis of reasoning and helps to show why people must be cooperating beings who accept certain sorts of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  94
    Papyrologica Lugduno-Batava, edidit Institutum Papyrologicum Universitatis Lugduno-Batavae, moderantibus M. David, B. A. van Groningen, J. C. van Oven. I. The Warren Papyri. Ed. by M. David, B. A. van Groningen, and J. C. van Oven. Pp. xii + 76, 7 pll. 1941. Gld. 15. E. J. Brill, Leyden.II. Einige Wiener Papyri. Ed. by E. Boswinkel. Pp. viii + 76, 6 pll. 1942. Gld. 15. E. J. Brill, Leyden. III. Some Oxford Papyri. Ed. by E.P. Wegener. A. Text, pp. xxi + 96. 1942. B. Plates . 1948. Gld. 25. E. J. Brill, Leyden. IV. De Herodoti reliquiis in papyris et membranie Aegyptiis servatis. Ed. by A. H. R. E. Paap. Pp. viii + 104. 1948. Gld. 17.50. E. J. Brill, Leyden. V. Recherches sur le Recensement dans l'Égypte romaine . Ed. by M. Humbert and Cl. Préaux. Pp. x + 186, 1 pl. 1952. Gld. 50. E. J. Brill, Leyden.VI. A Family-Archive from Tebtunis. Ed. by B. A. van Groningen. 1950. Pp. xvi + 190. Gld. 40. E. J. Brill, Leyden. [REVIEW]E. G. Turner, M. David, B. A. van Groningen, J. C. van Oven, E. Boswinkel, E. P. Wegener, A. H. R. E. Paap, M. Hombert & Cl Preaux - 1953 - Journal of Hellenic Studies 73:163-164.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Wittgenstein Conversations : 1949-1951.J. L. Craft & R. E. Hustwit (eds.) - 1986 - Hackett Publishing Company.
    "Remarkable how well Bouwsma understood Wittgenstein's approach to philosophical problems and how intelligently he was able to recount Wittgenstein's discussions. The bits about sensation are especially good. And the asides about the other philosophers--e.g. Dewey, Russell, Anscombe--are, while not frivolous, gossipy and titillating." --Riley Wallihan, Western Oregon University.
     
    Export citation  
     
    Bookmark   14 citations  
  49.  26
    The Seven Vells of Immune Conditioning.R. E. Ballieux & C. J. Heijnen - 1985 - Behavioral and Brain Sciences 8 (3):396-397.
  50.  45
    Exploring Employee Engagement with Social Responsibility: A Social Exchange Perspective on Organisational Participation.R. E. Slack, S. Corlett & R. Morris - 2015 - Journal of Business Ethics 127 (3):537-548.
    Corporate social responsibility is a recognised and common part of business activity. Some of the regularly cited motives behind CSR are employee morale, recruitment and retention, with employees acknowledged as a key organisational stakeholder. Despite the significance of employees in relation to CSR, relatively few studies have examined their engagement with CSR and the impediments relevant to this engagement. This exploratory case study-based research addresses this paucity of attention, drawing on one to one interviews and observation in a large UK (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
1 — 50 / 1000