Results for 'R. E. Vesley'

1000+ found
Order:
  1.  9
    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  
  2.  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.
  3.  31
    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.  6
    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.
  5.  23
    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  
  6.  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  
  7.  28
    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  
  8.  20
    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.
  9.  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  
  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.  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.
  12.  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  
  13.  24
    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  
  14.  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.
  15.  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)  
     
    Export citation  
     
    Bookmark   10 citations  
  16. Review: John Myhill, Notes Towards an Axiomatization of Intuitionistic Logic. [REVIEW]R. E. Vesley - 1968 - Journal of Symbolic Logic 33 (2):290-290.
  17. 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  
  18.  11
    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.
  19.  12
    Review: B. van Rootselaar, On Intuitionistic Difference Relations. [REVIEW]R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (3):519-520.
  20.  10
    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  
  21.  10
    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.
  22. Review: Georg Kreisel, Mathematical Logic. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.
  23.  25
    B. van Rootselaar. Intuition und Konstruktion. Studium generale, vol. 19 (1966), pp. 175–181.R. E. Vesley - 1970 - Journal of Symbolic Logic 34 (4):656-656.
  24. 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.
  25.  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  
  26.  18
    Functionals Defined by Transfinite Recursion.R. E. Vesley & W. W. Tait - 1966 - Journal of Symbolic Logic 31 (3):509.
  27.  39
    Obituary: John R. Myhill (1923–1987).N. D. Goodman & R. E. Vesley - 1987 - History and Philosophy of Logic 8 (2):243-244.
  28.  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  
  29.  10
    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
    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  
  31.  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.
  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. SARTORIUS, R. E. "Individual Conduct and Social Norms". [REVIEW]R. Norman - 1977 - Mind 86:632.
     
    Export citation  
     
    Bookmark  
  34.  11
    Richard E. Vesley. On strengthening intuitionistic logic. Notre Dame journal of formal logic, vol. 4 (1963), p. 80.T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  35. MOSSNER, E. C. - Bishop Butler and the Age of Reason. [REVIEW]R. E. Stedman - 1937 - Mind 46:516.
     
    Export citation  
     
    Bookmark  
  36.  38
    Virtues and rights: the moral philosophy of Thomas Hobbes.R. E. Ewin - 1991 - Boulder: 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   6 citations  
  37. R. E. Aquila, Representational Mind: A Study of Kant's Theory of Knowledge.R. Meerbote - 1985 - Kant Studien 76 (4):464.
     
    Export citation  
     
    Bookmark  
  38. A critical theory of education: Habermas and our children's future.R. E. Young - 1989 - New York: Teachers College Press.
  39. ALLEN, R. E. - "Plato's 'Euthyphro' and the Earlier Theory of Forms". [REVIEW]R. Robinson - 1972 - Mind 81:631.
  40.  10
    Review of Thomas Aquinas, E. M. Atkins (ed., Trans.), Thomas Williams (ed.), Disputed Questions on the Virtues[REVIEW]R. E. Houser - 2007 - Notre Dame Philosophical Reviews 2007 (7).
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. 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  
  42.  9
    Elliott, R. "Faking Nature".R. E. Lamb - 2000 - Philosophical Books 41 (3):163-170.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  43
    Mapping out structural features in clinical care calling for ethical sensitivity: A theoretical approach to promote ethical competence in healthcare personnel and clinical ethical support services (cess).Kristine Bærøe & Ole Frithjof Norheim - 2011 - Bioethics 25 (7):394-402.
    Clinical ethical support services (CESS) represent a multifaceted field of aims, consultancy models, and methodologies. Nevertheless, the overall aim of CESS can be summed up as contributing to healthcare of high ethical standards by improving ethically competent decision-making in clinical healthcare. In order to support clinical care adequately, CESS must pay systematic attention to all real-life ethical issues, including those which do not fall within the ‘favourite’ ethical issues of the day. In this paper we attempt to capture a comprehensive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  38
    On a New Idiom in the Study of Entailment.R. E. Jennings, Y. Chen & J. Sahasrabudhe - 2011 - Logica Universalis 5 (1):101-113.
    This paper is an experiment in Leibnizian analysis. The reader will recall that Leibniz considered all true sentences to be analytically so. The difference, on his account, between necessary and contingent truths is that sentences reporting the former are finitely analytic; those reporting the latter require infinite analysis of which God alone is capable. On such a view at least two competing conceptions of entailment emerge. According to one, a sentence entails another when the set of atomic requirements for the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  49
    Our Brothers' Keepers. [REVIEW]R. E. GOODIN - 2012 - Hastings Center Report 15 (6):46-47.
    Book reviewed in this article: Protecting The Vulnerable: A Reanalysis of Our Social Responsibilities. By Robert E. Goodin. Chicago: University of Chicago Press.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   241 citations  
  46. Participation and predication in Plato's middle dialogues.R. E. Allen - 1960 - Philosophical Review 69 (2):147-164.
  47.  19
    A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree.Y. Yang & R. A. Shore - 2002 - Mathematical Logic Quarterly 48 (1):131-146.
    We construct a nonlow2 r.e. degree d such that every positive extension of embeddings property that holds below every low2 degree holds below d. Indeed, we can also guarantee the converse so that there is a low r.e. degree c such that that the extension of embeddings properties true below c are exactly the ones true belowd.Moreover, we can also guarantee that no b ≤ d is the base of a nonsplitting pair.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. 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   133 citations  
  49. The Encyclopedia of Language and Linguistics.R. E. Asher & J. M. Y. Simpson (eds.) - 1993 - Pergamon.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  9
    Review: Richard E. Vesley, On Strengthening Intuitionistic Logic. [REVIEW]T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
1 — 50 / 1000