Works by John Myhill ( view other items matching `John Myhill`, view all matches )
Disambiguations:
John Myhill [22]John R. Myhill [3]

25 found
Sort by:
  1. John Myhill (1984). Paradoxes. Synthese 60 (1):129 - 143.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. John Myhill (1975). Constructive Set Theory. Journal of Symbolic Logic 40 (3):347-382.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. John Myhill (1972). Empirical Meaningfulness and Intuitionistic Logic. Philosophy and Phenomenological Research 33 (2):186-191.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. 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; ...
    $679.99 new   Amazon page
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. John Myhill (1963). Variations on a Theme of Bernays. Notre Dame Journal of Formal Logic 4 (4):274-282.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. John Myhill (1963). Remark on a System of Bernays. Journal of Symbolic Logic 28 (1):75-76.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  8. John Myhill (1960). Some Remarks on the Notion of Proof. Journal of Philosophy 57 (14):461-471.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. John Myhill (1956). Solution of a Problem of Tarski. Journal of Symbolic Logic 21 (1):49-51.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. John Myhill (1955). Musical Theory and Musical Practice. Journal of Aesthetics and Art Criticism 14 (2):191-200.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. John Myhill (1954). Retort to Mr. Benes. Philosophical Studies 5 (3):47 - 48.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. John Myhill (1953). Arithmetic with Creative Definitions by Induction. Journal of Symbolic Logic 18 (2):115-118.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. John Myhill (1953). Criteria of Constructibility for Real Numbers. Journal of Symbolic Logic 18 (1):7-10.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. John Myhill (1953). On the Interpretation of the Sign '⊃'. Journal of Symbolic Logic 18 (1):60-62.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. John Myhill (1953). On the Interpretation of the Sign `$\Supset$'. Journal of Symbolic Logic 18 (1):60 - 62.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. John Myhill (1952). A Derivation of Number Theory From Ancestral Theory. Journal of Symbolic Logic 17 (3):192-197.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. John Myhill (1952). A Finitary Metalanguage for Extended Basic Logic. Journal of Symbolic Logic 17 (3):164-178.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. John Myhill (1952). Some Philosophical Implications of Mathematical Logic: I. Three Classes of Ideas. The Review of Metaphysics 6 (2):165 - 198.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. John Myhill (1952). Two Ways of Ontology in Modern Logic. The Review of Metaphysics 5 (4):639 - 655.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  21. John Myhill (1951). Towards a Consistent Set-Theory. Journal of Symbolic Logic 16 (2):130-136.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. John Myhill (1950). A System Which Can Define its Own Truth. Fundamenta Mathematicae 37 (1):190--92.
     
    My bibliography  
     
    Export citation  
  23. John R. Myhill (1950). A Complete Theory of Natural, Rational, and Real Numbers. Journal of Symbolic Logic 15 (3):185-196.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. John R. Myhill (1950). A Reduction in the Number of Primitive Ideas of Arithmetic. Journal of Symbolic Logic 15 (2):130.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. John R. Myhill (1949). Note on an Idea of Fitch. Journal of Symbolic Logic 14 (3):175-176.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
BibTeX / EndNote / RIS / etc
Export this page:
Restrictions





Configure languages here. Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email   RSS feed
About PhilPapers
General Editors:
David Bourget (London)
David Chalmers (ANU, NYU)

Area Editors:
Anthony Beavers
David Bourget
Berit Brogaard
Margaret Cameron
David Chalmers
Gabriele Contessa
Rafael De Clercq
Catarina Dutilh Novaes
Pablo Gilabert
Hans Halvorson
Jonathan Ichikawa
Jonathan Kvanvig
Øystein Linnebo
JeeLoo Liu
Paul Livingston
Brandon Look
Michiru Nagatsu
Susana Nuccetelli
Gualtiero Piccinini
Darrell Rowbottom
Constantine Sandis
Jonathan Schaffer
Thomas Senor
Robin Smith
Robert Sparrow
Daniel Star
Jussi Suikkanen
Lynne Tirrell
John Simpson Wilkins

Other editors
Contact us
Learn more about PhilPapers





Applied ethicsEpistemologyHistory of Western PhilosophyMeta-ethicsMetaphysicsNormative ethics
Philosophy of biologyPhilosophy of languagePhilosophy of mindPhilosophy of religionScience Logic and MathematicsMore ...
Home | New books and articles | Bibliographies | Philosophy journals | Discussions | The Categorization Project | About PhilPapers | API | Contact us

Hosted by The Institute of Philosophy, School of Advanced Study, University of London
This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by David Bourget and David Chalmers

Page generated Wed May 22 07:16:09 2013 - Hash code: Ts7uAdVx7QpGgjyIdgigZg