75 found
Order:
Disambiguations:
John Myhill [69]John R. Myhill [6]
  1. John Myhill (1975). Constructive Set Theory. Journal of Symbolic Logic 40 (3):347-382.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   37 citations  
  2. John Myhill (1963). Remarks on the Language of Physics. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  3.  6
    John Myhill (1955). Creative Sets. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  4.  62
    John Myhill (1984). Paradoxes. Synthese 60 (1):129 - 143.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  5.  13
    John Myhill (1961). Gödel's Proof. [REVIEW] Journal of Philosophy 58 (8):209-218.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  56
    John Myhill (1960). Some Remarks on the Notion of Proof. Journal of Philosophy 57 (14):461-471.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  7.  13
    John Myhill (1958). Problems Arising in the Formalization of Intensional Logic. Logique Et Analyse 1 (1):78-83.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  8.  7
    John Myhill (1955). Creative Sets. Mathematical Logic Quarterly 1 (2):97-108.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   22 citations  
  9.  11
    John Myhill (1973). Some Properties of Intuitionistic Zermelo-Frankel Set Theory. In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,Springer-Verlag 206--231.
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  10.  7
    Robert C. Flagg & John Myhill (1987). Implication and Analysis in Classical Frege Structures. Annals of Pure and Applied Logic 34 (1):33-85.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  11.  41
    John Myhill (1952). Some Philosophical Implications of Mathematical Logic: I. Three Classes of Ideas. Review of Metaphysics 6 (2):165 - 198.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  12.  4
    John Myhill (1973). Embedding Classical Logic in Intuitionistic Logic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (3-6):93-96.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  4
    John Myhill (1972). An Absolutely Independent Set of ΣO01-Sentences. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):107-109.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  4
    John Myhill (1963). The Invalidity of Markoff's Schema. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (23):359-360.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  10
    A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. 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  
     
    My bibliography   5 citations  
  16.  5
    John Myhill (1997). What is Universal and What is Language-Specific in Emotion Words?: Evidence From Biblical Hebrew. Pragmatics and Cognitionpragmatics 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  
     
    My bibliography  
  17.  17
    John R. Myhill (1950). A Complete Theory of Natural, Rational, and Real Numbers. Journal of Symbolic Logic 15 (3):185-196.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18. John Myhill (1975). Levels of Implication. In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press 179--185.
     
    Export citation  
     
    My bibliography   5 citations  
  19.  6
    John Myhill (1953). On the Interpretation of the Sign '⊃'. Journal of Symbolic Logic 18 (1):60-62.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  20.  12
    John Myhill (1952). Two Ways of Ontology in Modern Logic. Review of Metaphysics 5 (4):639 - 655.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21. John Myhill (1979). A Refutation of an Unjustified Attack on the Axiom of Reducibility. In Bertrand Russell & George Washington Roberts (eds.), Bertrand Russell Memorial Volume. Humanities Press 81--90.
    No categories
     
    Export citation  
     
    My bibliography   4 citations  
  22.  2
    John Myhill (1950). A System Which Can Define its Own Truth. Fundamenta Mathematicae 37 (1):190--92.
  23.  17
    John Myhill (1951). Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. Journal of Symbolic Logic 16 (1):35-42.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  24.  5
    John Myhill (1953). On the Interpretation of the Sign `$\Supset$'. Journal of Symbolic Logic 18 (1):60 - 62.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  25.  11
    John Myhill (1954). Retort to Mr. Benes. Philosophical Studies 5 (3):47 - 48.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  15
    John R. Myhill (1949). Note on an Idea of Fitch. Journal of Symbolic Logic 14 (3):175-176.
  27.  3
    John Myhill (1972). An Absolutely Independent Set of ΣO 01‐Sentences. Mathematical Logic Quarterly 18 (7):107-109.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  4
    John Myhill (1950). Review: Yehoshua Bar-Hillel, On Syntactical Categories. [REVIEW] Journal of Symbolic Logic 15 (3):220-220.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  11
    John Myhill (1953). Criteria of Constructibility for Real Numbers. Journal of Symbolic Logic 18 (1):7-10.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  5
    John Myhill (1952). A Derivation of Number Theory From Ancestral Theory. Journal of Symbolic Logic 17 (3):192-197.
  31.  13
    John Myhill (1956). Solution of a Problem of Tarski. Journal of Symbolic Logic 21 (1):49-51.
  32. John Myhill (1974). The Undefinability of the Set of Natural Numbers in the Ramified Principia. In George Nakhnikian (ed.), Bertrand Russell's Philosophy. [London]Duckworth 19--27.
     
    Export citation  
     
    My bibliography   3 citations  
  33.  10
    John Myhill (1953). Arithmetic with Creative Definitions by Induction. Journal of Symbolic Logic 18 (2):115-118.
  34.  4
    John Myhill (1972). Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language. [REVIEW] Journal of Symbolic Logic 37 (4):744-747.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  9
    John Myhill (1952). A Finitary Metalanguage for Extended Basic Logic. Journal of Symbolic Logic 17 (3):164-178.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  6
    John Myhill (1963). Remark on a System of Bernays. Journal of Symbolic Logic 28 (1):75-76.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  37.  2
    John Myhill (1973). Embedding Classical Logic in Intuitionistic Logic. Mathematical Logic Quarterly 19 (3‐6):93-96.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  11
    John R. Myhill (1950). A Reduction in the Number of Primitive Ideas of Arithmetic. Journal of Symbolic Logic 15 (2):130.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  39. John Myhill (1953). Review: R. L. Goodstein, Constructive Formalism. Essays on the Foundations of Mathematics; R. L. Goodstein, The Foundations of Mathematics. [REVIEW] Journal of Symbolic Logic 18 (3):258-260.
     
    Export citation  
     
    My bibliography  
  40. John Myhill (1966). Recursive Equivalence Types and Combinatorial Functions. Journal of Symbolic Logic 31 (3):510-511.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  41.  10
    John Myhill (1955). Musical Theory and Musical Practice. Journal of Aesthetics and Art Criticism 14 (2):191-200.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  42.  2
    John Myhill (1953). Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW] Journal of Symbolic Logic 18 (4):341-342.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  3
    John Myhill (1955). Review: W. V. Quine, On Carnap's Views on Ontology. [REVIEW] Journal of Symbolic Logic 20 (1):61-62.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  1
    John Myhill & Bob Flagg (1989). A Type-Free System Extending. Annals of Pure and Applied Logic 43 (1):79-97.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  7
    John Myhill (1963). Variations on a Theme of Bernays. Notre Dame Journal of Formal Logic 4 (4):274-282.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46.  9
    John Myhill (1972). Empirical Meaningfulness and Intuitionistic Logic. Philosophy and Phenomenological Research 33 (2):186-191.
    CONSIDER A NON EMPTY BUT OTHERWISE ARBITRARY SET OF\nPROPERTIES CALLED OBSERVATION-PROPERTIES (O-PROPERTIES).\nCALL A PROPERTY P A MEANINGFUL PROPERTY (M-PROPERTY) IF IT\nIS EQUIVALENT TO A (FINITE OR INFINITE) DISJUNCTION OF\nO-PROPERTIES--I.E., A NECESSARY AND SUFFICIENT CONDITION\nFOR P IS THAT AT LEAST ONE OBSERVATION-PROPERTY IN A\nCERTAIN SET O(P) BE TRUE. OBVIOUSLY THE CONJUNCTION AND\nDISJUNCTION OF TWO M-PROPERTIES IS AN M-PROPERTY; IN\nGENERAL THE NEGATION OF AN M-PROPERTY IS NOT AN M-PROPERTY.\nHOWEVER WE CAN DEFINE THE PSEUDO NEGATION OF AN M-PROPERTY\nP AS THE POSSESSION OF SOME (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  47. John Myhill (1972). Note on Degrees of Partial Functions. Journal of Symbolic Logic 37 (2):408-408.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  48.  7
    John Myhill (1951). Towards a Consistent Set-Theory. Journal of Symbolic Logic 16 (2):130-136.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  49.  2
    John R. Myhill (1949). Review: Leon Chwistek, Helen Charlotte Brodie, Arthur P. Coleman, The Limits of Science. Outline of Logic and the Methodology of the Exact Sciences. [REVIEW] Journal of Symbolic Logic 14 (2):119-125.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  2
    John Myhill (2010). The Islamization of Arab Nationalism. Critical Review 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  
     
    My bibliography  
1 — 50 / 75