95 found
Order:
Disambiguations
John Myhill [85]John R. Myhill [10]
  1.  25
    Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
  2. Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  3.  97
    Problems arising in the formalization of intensional logic.John Myhill - 1958 - Logique Et Analyse 1 (1):78-83.
  4. 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   39 citations  
  5.  32
    Creative sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  6.  28
    On Carnap's Views on Ontology.John Myhill & W. V. Quine - 1955 - Journal of Symbolic Logic 20 (1):61.
  7.  31
    Creative sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  8. 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. Humanities Press. pp. 81--90.
     
    Export citation  
     
    Bookmark   20 citations  
  9.  41
    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.
  10.  77
    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  
  11. 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  
  12. 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  
  13.  29
    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   8 citations  
  14. Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.
  15.  24
    Implication and analysis in classical frege structures.Robert C. Flagg & John Myhill - 1987 - Annals of Pure and Applied Logic 34 (1):33-85.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  16.  12
    A derivation of number theory from ancestral theory.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):192-197.
  17.  17
    On the interpretation of the sign '⊃'.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):60-62.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  35
    A complete theory of natural, rational, and real numbers.John R. Myhill - 1950 - Journal of Symbolic Logic 15 (3):185-196.
  19.  16
    Retort to Mr. Benes.John Myhill - 1954 - Philosophical Studies 5 (3):47-48.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  7
    On the interpretation of the sign `$\supset$'.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):60 - 62.
  21.  17
    Criteria of constructibility for real numbers.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):7-10.
  22.  8
    The Hypothesis That All Classes are Nameable.John Myhill - 1955 - Journal of Symbolic Logic 20 (1):80-80.
  23.  31
    Two Ways of Ontology in Modern Logic.John Myhill - 1952 - Review of Metaphysics 5 (4):639 - 655.
  24.  11
    Recursive Equivalence Types and Combinatorial Functions.John Myhill - 1966 - Journal of Symbolic Logic 31 (3):510-511.
  25.  10
    Note on degrees of partial functions.John Myhill - 1972 - Journal of Symbolic Logic 37 (2):408-408.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Remarks on the language of physics.John Myhill - 1963 - Philosophy of Science 30 (4):305-306.
    A notation for the language of physics is given, and a system of axioms constructed. It is argued that from the standpoint of a 'realistic' ontology our method is preferable to Carnap's 'coordinate languages.' The primitive ideas are the part-whole relation μ and the set H of coordinate systems. Only such statements are intended in the axioms as are non-controversial; i.e. no open cosmological questions are prejudged.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  27.  2
    A Derivation of Number Theory from Ancestral Theory.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):77-77.
  28.  22
    An Absolutely Independent Set of ΣO01-Sentences.John Myhill - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):107-109.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  5
    Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo, N.Y., 1968.Akiko Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam, Netherlands: North-Holland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Two Ways of Ontology in Modern Logic.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):91-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Variations on a Theme of Bernays.John Myhill - 1970 - Journal of Symbolic Logic 35 (2):345-346.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  18
    Creative Sets.John Myhill - 1957 - Journal of Symbolic Logic 22 (1):73-76.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  3
    A Complete Theory of Natural, Rational, and Real Numbers.John R. Myhill - 1951 - Journal of Symbolic Logic 16 (1):65-67.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  25
    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  
  35.  13
    Gödel's Proof. [REVIEW]John Myhill - 1961 - Journal of Philosophy 58 (8):209-218.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  13
    The Formalization of Intuitionism.John Myhill & Raymond Klibansky - 1975 - Journal of Symbolic Logic 40 (4):625-625.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  25
    The Invalidity of Markoff's Schema.John Myhill - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (23):359-360.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  22
    Gödel's Proof. [REVIEW]John Myhill - 1961 - Journal of Philosophy 58 (8):209-218.
  39.  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  
  40.  24
    Review: Leon Chwistek, Helen Charlotte Brodie, Arthur P. Coleman, The Limits of Science. Outline of Logic and the Methodology of the Exact Sciences. [REVIEW]John R. Myhill - 1949 - Journal of Symbolic Logic 14 (2):119-125.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    The Islamization of Arab Nationalism.John Myhill - 2010 - Critical Review: A Journal of Politics and Society 22 (1):19-43.
    Unlike all other present-day nationalities, Arab nationality is defined exclusively in terms of a single written language, which encompasses a huge range of mutually incomprehensible speech forms—the better to make the “Arab nationality” as large as possible, and to establish continuity between today's “Arabs” and the glorious past of the early Islamic conquerors. The secular version of Arabic nationalism lost its appeal when the Arab countries failed to unite politically and when they were defeated by Israel in 1967. The apparent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  36
    Note on an idea of Fitch.John R. Myhill - 1949 - Journal of Symbolic Logic 14 (3):175-176.
  43.  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  
  44.  7
    Problems in symbolic logic.John Myhill - 1956 - Journal of Symbolic Logic 21 (2):215-215.
  45.  32
    Solution of a problem of Tarski.John Myhill - 1956 - Journal of Symbolic Logic 21 (1):49-51.
  46.  16
    Reviews. Leon Chwistek. The limits of science. Outline of logic and the methodology of the exact sciences. Translated by Helen Charlotte Brodie and Arthur P. Coleman, with an introduction and appendix by Helen Charlotte Brodie. Kegan Paul, Trench, Trubner and Co., London 1947; Harcourt, Brace and Co., New York 1948; lvii + 347 pp. [REVIEW]John R. Myhill - 1949 - Journal of Symbolic Logic 14 (2):119-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  7
    The Limits of Science.John R. Myhill - 1949 - Philosophy and Phenomenological Research 9 (4):749-753.
  48.  15
    Quine W. V.. On Carnap's views on ontology. Philosophical studies, vol. 2 , pp. 65–72.John Myhill - 1955 - Journal of Symbolic Logic 20 (1):61-62.
  49.  18
    The Islamization of Arab Nationalism.John Myhill - 2010 - Critical Review: A Journal of Politics and Society 22 (1):19-43.
    Unlike all other present-day nationalities, Arab nationality is defined exclusively in terms of a single written language, which encompasses a huge range of mutually incomprehensible speech forms—the better to make the “Arab nationality” as large as possible, and to establish continuity between today's “Arabs” and the glorious past of the early Islamic conquerors. The secular version of Arabic nationalism lost its appeal when the Arab countries failed to unite politically and when they were defeated by Israel in 1967. The apparent (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  23
    Musical theory and musical practice.John Myhill - 1955 - Journal of Aesthetics and Art Criticism 14 (2):191-200.
1 — 50 / 95