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.  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  
  4.  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  
  5.  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  
  6.  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.
  7.  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  
  8.  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  
  9.  22
    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.
  10.  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.
  11.  22
    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  
  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.  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.
  14.  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  
  15.  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  
  16.  39
    Obituary: John R. Myhill (1923–1987).N. D. Goodman & R. E. Vesley - 1987 - History and Philosophy of Logic 8 (2):243-244.
  17.  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  
  18.  17
    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  
  19. 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.
  20. Review: John Myhill, Notes Towards an Axiomatization of Intuitionistic Logic. [REVIEW]R. E. Vesley - 1968 - Journal of Symbolic Logic 33 (2):290-290.
  21. 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  
  22.  17
    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.  8
    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  
  29.  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  
  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.  84
    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  
  34.  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.
  35. Protecting the Vulnerable: A Reanalysis of Our Social Responsibilities.R. E. GOODIN - 1985
    No categories
     
    Export citation  
     
    Bookmark   224 citations  
  36. Better No Longer to Be.R. Mcgregor & E. Sullivan-Bissett - 2012 - South African Journal of Philosophy 31 (1):55-68.
    David Benatar argues that coming into existence is always a harm, and that – for all of us unfortunate enough to have come into existence – it would be better had we never come to be. We contend that if one accepts Benatar’s arguments for the asymmetry between the presence and absence of pleasure and pain, and the poor quality of life, one must also accept that suicide is preferable to continued existence, and that his view therefore implies both anti-natalism (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. 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   122 citations  
  38. 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  
  39.  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  
  40. A Critical Theory of Education: Habermas and Our Children's Future.R. E. Young - 1990 - Teachers College Press.
  41.  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   19 citations  
  42. SARTORIUS, R. E. "Individual Conduct and Social Norms". [REVIEW]R. Norman - 1977 - Mind 86:632.
     
    Export citation  
     
    Bookmark  
  43. Excused by the Unwillingness of Others?R. E. Goodin - 2012 - Analysis 72 (1):18-24.
    No one is excused from doing what he ought to do merely because he is unwilling to do it. But what if others are unwilling to play their necessary role in some joint venture that you all ought to undertake: might that excuse you from doing what you yourself ought to do as part of that? It would, if you were genuinely willing to play your necessary part if they were. But the unwillingness of everyone involved cannot reciprocally serve to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  44.  6
    Elliott, R. "Faking Nature".R. E. Lamb - 2000 - Philosophical Books 41 (3):163-170.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. R. E. Aquila, Representational Mind: A Study of Kant's Theory of Knowledge.R. Meerbote - 1985 - Kant Studien 76 (4):464.
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  8
    Review: Richard E. Vesley, On Strengthening Intuitionistic Logic. [REVIEW]T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  47. MOSSNER, E. C. - Bishop Butler and the Age of Reason. [REVIEW]R. E. Stedman - 1937 - Mind 46:516.
     
    Export citation  
     
    Bookmark  
  48.  43
    Equivalents of the (Weak) Fan Theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.
    This article presents a weak system of intuitionistic second-order arithmetic, WKV, a subsystem of the one in S.C. Kleene, R.E. Vesley [The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions, North-Holland Publishing Company, Amsterdam, 1965]. It is then shown that some statements of real analysis, like a version of the Heine–Borel Theorem, and some statements of logic, e.g. compactness of classical proposition calculus, are equivalent to the Fan Theorem in this system.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  49.  15
    Plotinus: The Road to Reality.R. E. Witt - 1967 - Journal of Hellenic Studies 88:198-200.
  50. Argumentation and Evidence.R. E. G. Upshur & Errol Colak - 2003 - Theoretical Medicine and Bioethics 24 (4):283-299.
    This essay explores the role of informal logicand its application in the context of currentdebates regarding evidence-based medicine. This aim is achieved through a discussion ofthe goals and objectives of evidence-basedmedicine and a review of the criticisms raisedagainst evidence-based medicine. Thecontributions to informal logic by StephenToulmin and Douglas Walton are explicated andtheir relevance for evidence-based medicine isdiscussed in relation to a common clinicalscenario: hypertension management. This essayconcludes with a discussion on the relationshipbetween clinical reasoning, rationality, andevidence. It is argued that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
1 — 50 / 1000