John Myhill (myhill)

Beiträge zu Philosophie.ch

Bibliography

Kino, Akiko and Myhill, John. 1975. “A Hierarchy of Languages with Infinitely Long Expressions.” in Logic Colloquium ’73, edited by H. E. Rose and John C. Shepherdson, pp. 55–71. Studies in Logic and the Foundations of Mathematics n. 80. Amsterdam: North-Holland Publishing Co.
Kino, Akiko, Myhill, John and Vesley, Richard E., eds. 1970. Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Lorenzen, Paul and Myhill, John. 1959. “Constructive Definition of Certain Analytic Sets of Numbers.” The Journal of Symbolic Logic 24: 37–49.
Myhill, John. 1953a. “On the Interpretability of the Sign ‘Implies’ .” The Journal of Symbolic Logic 18: 60–62.
Myhill, John. 1953b. “Arithmetic with Creative Definitions by Induction.” The Journal of Symbolic Logic 18: 115–118.
Myhill, John. 1954. “Retort to Mr. Benes [on Benes (1953)].” Philosophical Studies 5(3): 47–48.
Myhill, John. 1956. “Solution of a Problem of Tarski.” The Journal of Symbolic Logic 21: 49–51.
Myhill, John. 1958. “Problems arising in the Formalization of Intensional Logic.” Logique et Analyse [N.S.] 1(2): 74–83.
Myhill, John. 1960. “Remarks on the Notion of Proof.” The Journal of Philosophy 57(14): 461–471.
Myhill, John. 1963a. “Variations on a Theme of Bernays.” Notre Dame Journal of Formal Logic 4(4): 274–282.
Myhill, John. 1963b. “An Alternative to the Method of Extension and Intension.” in The Philosophy of Rudolph Carnap, edited by Paul Arthur Schilpp, pp. 299–310. The Library of Living Philosophers n. 11. LaSalle, Illinois: Open Court Publishing Co.
Myhill, John. 1966. “Notes towards an Axiomatization of Intuitionistic Analysis.” Logique et Analyse 9(35–36): 280–297.
Myhill, John. 1968. “Formal Systems of Intuitionistic Analysis I.” in Logic, Methodology and Philosophy of Science III: Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by Bob van Rootselaar and Johan Frederik [Frits] Staal, pp. 161–178. Studies in Logic and the Foundations of Mathematics n. 52. Amsterdam: North-Holland Publishing Co.
Myhill, John. 1970. “Formal Systems of Intuitionistic Analysis II: The Theory of Species.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 151–162. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Myhill, John. 1971. “Embedding Classical Type Theory in ‘Intuitionistic’ Type Theory.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 267–270. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Cf. the “correction” in Jech (1974, 185–188).
Myhill, John. 1973. “Some Properties of Intuitionistic Zermelo-Fraenkel Set Theory.” in Cambridge Summer School in Mathematical Logic, edited by A. R. D. Mathias and Henry Rogers, pp. 206–231. Springer Lecture Notes in Mathematics. Berlin: Springer.
Myhill, John. 1974. “The Undefinability of the Set of Natural Numbers in the Ramified Principia.” in Bertrand Russell’s Philosophy, edited by George Nakhnikian, pp. 19–27. New York: Harper & Row.
Myhill, John. 1975a. “Levels of Implication.” in The Logical Enterprise: Essays for Frederic B. Fitch, edited by Alan Ross Anderson, Ruth Barcan Marcus, and Richard Milton Martin, pp. 179–185. New Haven, Connecticut: Yale University Press.
Myhill, John. 1975b. “Constructive Set Theory.” The Journal of Symbolic Logic 40: 347–382.
Myhill, John. 1984. “Paradoxes.” Synthese 60: 129–143.
Myhill, John. 1985. “Intensional Set Theory.” in Intensional Mathematics, edited by Stewart Shapiro, pp. 47–62. Studies in Logic and the Foundations of Mathematics n. 113. Amsterdam: North-Holland Publishing Co.
Myhill, John. 1989. “Real Implication.” in Directions in Relevant Logic, edited by Jean Norman and Richard Sylvan, pp. 157–165. Reason and Argument n. 1. Dordrecht: Kluwer Academic Publishers.
Myhill, John and Scott, Dana S. 1971. “Ordinal Definability.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 271–278. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.

Further References

Benes, Vaclav Edvard. 1953. “On some Alleged Philosophical Implications of Mathematical Logic.” Philosophical Studies 4(4): 56–58.
Jech, Thomas J., ed. 1974. Axiomatic Set Theory. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.