95 found
Order:
Disambiguations
John Myhill [84]John R. Myhill [11]
  1.  21
    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   65 citations  
  3. Some Remarks on the Notion of Proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  4.  60
    Problems Arising in the Formalization of Intensional Logic.John Myhill - 1958 - Logique Et Analyse 1 (1):78-83.
  5.  30
    Creative Sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  6.  25
    Creative Sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  7.  33
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  8.  69
    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 (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  9.  23
    On Carnap's Views on Ontology.John Myhill & W. V. Quine - 1955 - Journal of Symbolic Logic 20 (1):61.
  10.  21
    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   7 citations  
  11. Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.
  12. 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   9 citations  
  13.  22
    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   9 citations  
  14.  11
    A Derivation of Number Theory From Ancestral Theory.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):192-197.
  15.  15
    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  
  16.  32
    A Complete Theory of Natural, Rational, and Real Numbers.John R. Myhill - 1950 - Journal of Symbolic Logic 15 (3):185-196.
  17.  7
    On the Interpretation of the Sign `$\supset$'.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):60 - 62.
  18.  31
    Two Ways of Ontology in Modern Logic.John Myhill - 1952 - Review of Metaphysics 5 (4):639 - 655.
  19.  15
    Retort to Mr. Benes.John Myhill - 1954 - Philosophical Studies 5 (3):47-48.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  10
    Recursive Equivalence Types and Combinatorial Functions.John Myhill - 1966 - Journal of Symbolic Logic 31 (3):510-511.
  21.  8
    Note on Degrees of Partial Functions.John Myhill - 1972 - Journal of Symbolic Logic 37 (2):408-408.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  21
    An Absolutely Independent Set of ΣO01-Sentences.John Myhill - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):107-109.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  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  
  24.  9
    The Formalization of Intuitionism.John Myhill & Raymond Klibansky - 1975 - Journal of Symbolic Logic 40 (4):625-625.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  16
    Criteria of Constructibility for Real Numbers.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):7-10.
  26.  6
    Gödel's Proof.John Myhill - 1961 - Journal of Philosophy 58 (8):209-218.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  6
    The Limits of Science.John R. Myhill - 1949 - Philosophy and Phenomenological Research 9 (4):749-753.
  28.  5
    The Hypothesis That All Classes Are Nameable.John Myhill - 1955 - Journal of Symbolic Logic 20 (1):80-80.
  29.  3
    Problems in Symbolic Logic.John Myhill - 1956 - Journal of Symbolic Logic 21 (2):215-215.
  30.  26
    What is Universal and What is Language-Specific in Emotion Words?: Evidence From Biblical Hebrew.John Myhill - 1997 - Pragmatics and Cognition 5 (1):79-129.
    This paper proposes a model for the analysis of emotions in which each emotion word in each language is made up of a universal component and a language-specific component; the universal component is drawn from a set of universal human emotions which underlie all emotion words in all languages, and the language-specific component involves a language-particular thought pattern which is expressed as part of the meanings of a variety of different words in the language. The meanings of a variety of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  25
    Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (3-6):93-96.
  32.  22
    Symposium: On the Ontological Significance of the Löwenheim-Skolem Theorem.John R. Myhill - 1955 - Journal of Symbolic Logic 20 (1):63-63.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  35
    Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.John Myhill - 1951 - Journal of Symbolic Logic 16 (1):35-42.
  34.  27
    A Finitary Metalanguage for Extended Basic Logic.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):164-178.
  35.  13
    Review: Elisabeth Walther, Kleiner Abriss der Mathematischen Logik. [REVIEW]John Myhill - 1951 - Journal of Symbolic Logic 16 (2):158-158.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  36.  15
    Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3‐6):93-96.
  37.  9
    Symposium: On the Ontological Significance of the Löwenheim-Skolem Theorem.John R. Myhill - 1955 - Journal of Symbolic Logic 20 (1):64-64.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  7
    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  
  39.  7
    An Absolutely Independent Set of ΣOmath Image-Sentences.John Myhill - 1972 - Mathematical Logic Quarterly 18 (7):107-109.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  6
    Creative Sets.John Myhill - 1957 - Journal of Symbolic Logic 22 (1):73-76.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  6
    Towards a Consistent Set-Theory.W. V. Quine & John Myhill - 1951 - Journal of Symbolic Logic 16 (4):273.
  42.  14
    Arithmetic with Creative Definitions by Induction.John Myhill - 1953 - Journal of Symbolic Logic 18 (2):115-118.
  43.  8
    Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (4):341-342.
  44.  8
    A Type-Free System Extending.John Myhill & Bob Flagg - 1989 - Annals of Pure and Applied Logic 43 (1):79-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  3
    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  
  46.  7
    The Limits of Science. Outline of Logic and the Methodology of the Exact Sciences.John R. Myhill - 1949 - Journal of Symbolic Logic 14 (2):119-125.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  8
    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  
  48.  2
    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  
  49. A Derivation of Number Theory From Ancestral Theory.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):77-77.
  50.  19
    A Reduction in the Number of Primitive Ideas of Arithmetic.John R. Myhill - 1950 - Journal of Symbolic Logic 15 (2):130.
1 — 50 / 95