Results for 'Myhill, John R.'

(not author) ( search as author name )
990 found
Order:
  1.  7
    Martin R. M.. A note on nominalistic syntax.John Myhill - 1950 - Journal of Symbolic Logic 15 (2):153-153.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  11
    Martin R. M.. A note on nominalism and recursive functions.John Myhill - 1950 - Journal of Symbolic Logic 15 (2):153-153.
  3.  32
    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  
  4.  24
    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  
  5.  14
    Goodstein R. L.. Constructive formalism. Essays on the foundations of mathematics. University College, Leicester, England, 1951, 91 pp.Goodstein R. L.. The foundations of mathematics. An inaugural lecture delivered at the University College of Leicester 13th November 1951. University College, Leicester, England, pub. 1952, 27 pp. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (3):258-260.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    Review: R. L. Goodstein, Constructive Formalism. Essays on the Foundations of Mathematics; R. L. Goodstein, The Foundations of Mathematics. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (3):258-260.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  10
    Review: R. M. Martin, A Note on Nominalistic Syntax. [REVIEW]John Myhill - 1950 - Journal of Symbolic Logic 15 (2):153-153.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    Review: R. M. Martin, A Note on Nominalism and Recursive Functions. [REVIEW]John Myhill - 1950 - Journal of Symbolic Logic 15 (2):153-153.
  9.  59
    Myhill John R.. Symposium: On the ontological significance of the Löwenheim-Skolem theorem. Academic freedom, logic, and religion , University of Pennsylvania Press, Philadelphia 1953, pp. 57–70. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):64-64.
  10.  8
    Myhill John. Constructive set theory.R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  46
    Obituary: John R. Myhill (1923–1987).N. D. Goodman & R. E. Vesley - 1987 - History and Philosophy of Logic 8 (2):243-244.
  12.  32
    Redeeming Philosophy: From Metaphysics to Aesthetics. Edited by John J. Conley, SJ. Pp. xii, 342, Washington, DC, American Maritain Association and The Catholic University of America Press, 2014, $24.95. The Philosophical Question of Christ. By Caitlin Sm. [REVIEW]John R. Williams - 2015 - Heythrop Journal 56 (6):1069-1071.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  4
    Development of control-related beliefs, goals, and styles in childhood and adolescence: A clinical perspective.John R. Weisz - 1990 - In Judith Rodin, Carmi Schooler & K. Warner Schaie (eds.), Self-directedness: cause and effects throughout the life course. Hillsdale, N.J.: L. Erlbaum Associates. pp. 103--145.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  6
    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.
  15.  27
    Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
  16.  41
    Differences in negativity bias underlie variations in political ideology.John R. Hibbing, Kevin B. Smith & John R. Alford - 2014 - Behavioral and Brain Sciences 37 (3):297-307.
    Disputes between those holding differing political views are ubiquitous and deep-seated, and they often follow common, recognizable lines. The supporters of tradition and stability, sometimes referred to as conservatives, do battle with the supporters of innovation and reform, sometimes referred to as liberals. Understanding the correlates of those distinct political orientations is probably a prerequisite for managing political disputes, which are a source of social conflict that can lead to frustration and even bloodshed. A rapidly growing body of empirical evidence (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  17.  10
    Variations on a theme of Bernays.John Myhill - 1963 - Notre Dame Journal of Formal Logic 4 (4):274-282.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  19.  7
    Constructive Formalism. Essays on the Foundations of Mathematics.John Myhill - 1953 - Journal of Symbolic Logic 18 (3):258-260.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  7
    Philosophy of Nature.John Myhill - 1950 - Philosophy and Phenomenological Research 11 (2):268-271.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  57
    Contemporary Aristotelianism.John R. Wallach - 1992 - Political Theory 20 (4):613-641.
  22. Review: John Myhill, Notes Towards an Axiomatization of Intuitionistic Logic. [REVIEW]R. E. Vesley - 1968 - Journal of Symbolic Logic 33 (2):290-290.
  23. Problems arising in the formalization of intensional logic.John Myhill - 1958 - Logique Et Analyse 1 (1):78-83.
  24.  9
    The Mathematical Basis of the Arts.John Myhill - 1950 - Philosophy and Phenomenological Research 11 (1):109-113.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Some remarks on the notion of proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  26.  36
    Creative sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  27.  9
    John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 , pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 , pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
  28.  36
    Creative sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  29.  35
    On Carnap's Views on Ontology.John Myhill & W. V. Quine - 1955 - Journal of Symbolic Logic 20 (1):61.
  30.  18
    Myhill John R.. Note on an idea of Fitch.Paul Bernays - 1950 - Journal of Symbolic Logic 14 (4):260-261.
  31. A refutation of an unjustified attack on the axiom of reducibility.John Myhill - 1979 - In Bertrand Russell & George Washington Roberts (eds.), Bertrand Russell memorial volume. New York: Humanities Press. pp. 81--90.
     
    Export citation  
     
    Bookmark   22 citations  
  32.  46
    Some properties of intuitionistic Zermelo-Frankel set theory.John Myhill - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 206--231.
  33.  82
    Some Philosophical Implications of Mathematical Logic: I. Three Classes of Ideas.John Myhill - 1952 - Review of Metaphysics 6 (2):165 - 198.
    As to the misconceptions: In the first place, the existence of "undecidable propositions" or "unsolvable problems" has only remote connections with the failure of excluded middle. More precisely, from the fact that a certain problem is unsolvable, one cannot infer that the affirmative and negative answers to that problem are both incorrect. Both Gödel's and Church's theorems were originally proved for systems with the excluded middle, i.e. for systems in which 'p or not p' is provable for every proposition 'p'; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  34. The undefinability of the set of natural numbers in the ramified Principia.John Myhill - 1974 - In George Nakhnikian (ed.), Bertrand Russell's philosophy. [London]: Duckworth. pp. 19--27.
     
    Export citation  
     
    Bookmark   12 citations  
  35. Levels of implication.John Myhill - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press. pp. 179--185.
     
    Export citation  
     
    Bookmark   12 citations  
  36. Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.
  37.  17
    American Constitutionalism and Democratic Virtue.John R. Wallach - 2002 - Ratio Juris 15 (3):219-241.
    Neither the historical tradition of American constitutionalism nor those who have theorized about it have promoted political or theoretical designs hospitable to the valorization or promotion of democratic virtue. This article illustrates this point by canvassing practical interpretations of the American constitution, from the document of 1787–1791 to Bush v. Gore, and theoretical interpretations from Madison to Rawls, Dworkin, Ackerman, Elster, Holmes, and other contemporary theorists of liberal constitutionalism and natural law. Exposing these roadblocks to the theory and practice of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  1
    After Virtue: An Essay in Moral Theory.John R. Wallach - 1983 - Telos: Critical Theory of the Contemporary 1983 (57):233-240.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  1
    Books in Review.John R. Wallach - 1989 - Political Theory 17 (2):338-342.
  40.  4
    Books in Review.John R. Wallach - 1997 - Political Theory 25 (6):886-893.
  41.  3
    Books in Review.John R. Wallach - 1984 - Political Theory 12 (2):302-307.
  42. Connolly, The Ethos of Pluralization.John R. Wallach - 1997 - Political Theory 25:886-892.
  43.  4
    Demokratia And Arete In Ancient Greek Political Thought.John R. Wallach - 2011 - Polis 28 (2):181-215.
    This article interprets demokratia and arete as dynamically related terms of political thought in ancient Greek culture, from Homeric times to the end of the classical era. It does so selectively, identifying three stages in which this relationship is developed: from the Homeric to archaic eras; fifth-century Athenian democracy, in which demokratia and arete are posed as complementary terms; and the fourth century era in which philosophers used virtue to critique democracy. Relying mostly on evidence from writers who have become (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  15
    Demokratia and Arete in Ancient Greek Political Thought.John R. Wallach - 2011 - Polis 28 (2):181-215.
    This article interprets demokratia and arete as dynamically related terms of political thought in ancient Greek culture, from Homeric times to the end of the classical era. It does so selectively, identifying three stages in which this relationship is developed: from the Homeric to archaic eras; fifth-century Athenian democracy, in which demokratia and arete are posed as complementary terms; and the fourth century era in which philosophers used virtue to critique democracy. Relying mostly on evidence from writers who have become (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  4
    Democracy and Goodness: A Historicist Political Theory.John R. Wallach - 2018 - New York, NY, USA: Cambridge University Press.
    Citizens, political leaders, and scholars invoke the term 'democracy' to describe present-day states without grasping its roots or prospects in theory or practice. This book clarifies the political discourse about democracy by identifying that its primary focus is human activity, not consent. It points out how democracy is neither self-legitimating nor self-justifying and so requires critical, ethical discourse to address its ongoing problems, such as inequality and exclusion. Wallach pinpoints how democracy has historically depended on notions of goodness to ratify (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  9
    Democracy in Ancient Greek Political Theory: 1906–2006.John R. Wallach - 2006 - Polis 23 (2):350-367.
    The notion of 'democracy' as found in ancient Athens and the work of ancient Greek political theorists has crucially functioned as a critical, distant mirror for major authors of twentieth-century political thought -- starting importantly with Ernest Barker but continuing along diverse paths in the works of Karl Popper, Leo Strauss, Hannah Arendt in the wake of World War II, as well as for recent theorists of democracy who have read Athenian practices and critical discourses against the grain of contemporary (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  12
    Democracy in Ancient Greek Political Theory: 1906–2006.John R. Wallach - 2006 - Polis 23 (2):350-367.
    The notion of ‘democracy’ as found in ancient Athens and the work of ancient Greek political theorists has crucially functioned as a critical, distant mirror for major authors of twentieth-century political thought — starting importantly with Ernest Barker but continuing along diverse paths in the works of Karl Popper, Leo Strauss, Hannah Arendt in the wake ofWorld War II, as well as for recent theorists of democracy who have read Athenian practices and critical discourses against the grain of contemporary philosophy, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  10
    Deconstructing the Ancients/Moderns Trope in Historical Reception.John R. Wallach - 2016 - Polis 33 (2):265-290.
    Notably since Thomas Hobbes, canonically with Benjamin Constant, and conventionally amid Nietzschean, Popperian, Straussian, Arendtian, liberal, republican, political, and sociological readings of ancient texts, contemporary scholarship on the ancients often has employed some version of the dichotomous ancient/modern or ancient/contemporary contrast as a template for explaining, understanding, and interpretively appropriating ancient texts and political practices – particularly those of ancient Greek philosophy and democracy. In particular, this has been done to argue for some conception of political ethics and democracy. I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Intentionality: An Essay in the Philosophy of Mind.John R. Searle - 1983 - New York: Cambridge University Press.
    John Searle's Speech Acts (1969) and Expression and Meaning (1979) developed a highly original and influential approach to the study of language. But behind both works lay the assumption that the philosophy of language is in the end a branch of the philosophy of the mind: speech acts are forms of human action and represent just one example of the mind's capacity to relate the human organism to the world. The present book is concerned with these biologically fundamental capacities, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1388 citations  
  50.  36
    A derivation of number theory from ancestral theory.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):192-197.
1 — 50 / 990