A Bibliography of Hao Wang

MARIE GROSSI (address endnote 1)
MONTGOMERY LINK (address endnote 2)
KATALIN MAKKAI (address endnote 3)
CHARLES PARSONS (address endnote 4)

The original of this bibliography appeared in Philosophia Mathematica (3) 6 (1998), 25-38. The present version incorporates and augments the updating and corrections embodied in the reprint in Hao Wang, Logician and Philosopher, edited by Parsons and Link (London: College Publications, 2011). Further corrections and additions should be sent to Montgomery Link.

The following is as complete a listing of the published writings of Hao Wang as we have been able to assemble. It is based on a list kept over the years by Marie Grossi in her capacity as Wang's secretary at The Rockefeller University. Some further items, mainly reviews, were uncovered by Katalin Makkai. Items in Chinese were scrutinized, and entries in some cases revised, by Montgomery Link. Some items that we had overlooked, both in English and Chinese, were called to our attention by Hongkuei Kang, to whom we are very grateful. (endnote 5)

In the entries for items written in Chinese, Chinese is rendered according to the Pinyin system of romanization. (endnote 6) Our information concerning translations of Wang's writings into other languages may be incomplete. Any additions or corrections concerning this or other matters should be sent to Montgomery Link.

The order of items within a given year for the most part follows that of Grossi's list. We have, however, placed books first and reviews last. A small number of items are listed with a date some time before their publication because of the long delay in publication; we assume these items circulated in the interim. These are indicated by an asterisk on the date.

We wish to thank Robert S.D. Thomas, editor of Philosophia Mathematica, for his encouragement of this project.

1944

1944 'The metaphysical system of the New Lixue' (Chinese), Zhe xue ping lun. Philosophical Review 9, No. 3, 39-62.

1945

1945 'Language and metaphysics' (Chinese), Ibid. 10, No. 1, 35-38. Published in 1946. English translation, [2005].

1947

1947a 'Notes on the justification of induction', Journal of Philosophy 44, 701-710. Reprinted in [1974a], Appendix.
1947b 'A note on Quine's principles of quantification', Journal of Symbolic Logic 12, 130-132.

1948

1948a 'A new theory of element and number', Journal of Symbolic Logic 13, 129-137. Reprinted in [1962a] as Chapter XX, Section 2.
1948b 'The existence of material objects', Mind 57, 488-490. Reprinted in [1974a], Appendix.
1948c Review of Eugene Shen, Luen li hsueh (Logic), Journal of Symbolic Logic 13, 215-216.

1949

1949a 'A theory of constructive types', Methodos 1, 374-384.
1949b 'New hopes and old fears', Chinese Student Opinion 3, No. 4 (July 1949), 1-3.
1949c 'On Zermelo's and von Neumann's axioms for set theory', Proceedings of the National Academy of Sciences, U. S. A. 35, 150-155.
1949d Review of Hermann Weyl, Philosophy of Mathematics and Natural Science, Physics Today 2, No. 11 (November 1949), 35-36.

1950

1950a 'Remarks on the comparison of axiom systems', Proceedings of the National Academy of Sciences, U. S. A. 36, 448-453. Reprinted in [1962a] in Chapter XVII.
1950b 'The non-finitizability of impredicative principles', Proceedings of the National Academy of Sciences, U. S. A. 36, 479-484.
1950c 'On scepticism about induction', Philosophy of Science 17, 333-335. Reprinted in [1974a], Appendix.
1950d 'A proof of independence', American Mathematical Monthly 57, 99-100.
1950e 'A formal system of logic', Journal of Symbolic Logic 15, 25-32. Reprinted in [1962a] as Chapter XVI, Section 5.
1950f 'Existence of classes and value specification of variables', Journal of Symbolic Logic 15, 103-112. Reprinted in [1962a] in Chapter XX, Section 1.
1950g (With J. Barkley Rosser) 'Nonstandard models for formal logics', Journal of Symbolic Logic 15, 113-129.
1950h 'Set-theoretical basis for real numbers', Journal of Symbolic Logic 15, 241-247. Reprinted in [1962a] as Chapter XX, Section 3.

1951

1951a 'Arithmetic models for formal systems', Methodos 3, 217-232.
1951b 'Arithmetic translations of axiom systems', Transactions of the American Mathematical Society 71, 283-293. Reprinted in [1962a] as Chapter XIII, Section 4.
1951c Review of Alfons Borgers, 'Development of the notion of set and of the axioms for sets', Journal of Symbolic Logic 16, 152-153.
1951d Review of Paul Lorenzen, 'Algebraische und logistische Untersuchungen über freie Verbände', Journal of Symbolic Logic 16, 269-272.
1951e Review of Shen Yu-Ting, 'Yu-yen, su-hsiang, yu i-i (Language, thought, and meaning)', Journal of Symbolic Logic 16, 302-303.
1951f Review of Yin Fu-Sheng, 'Characteristics of scientific empiricism and comments thereon' (in Chinese), Journal of Symbolic Logic 16, 304.

1952

1952a 'Truth definitions and consistency proofs', Transactions of the American Mathematical Society 73, 243-275. Reprinted in [1962a] as Chapter XVIII.
1952b 'Negative types', Mind 61, 366-368.
1952c 'Logic of many-sorted theories', Journal of Symbolic Logic 17, 105-116. Partially incorporated into Chapter XII of [1962a] and reprinted in [1990a].
1952d 'The irreducibility of impredicative principles', Mathematische Annalen 125, 56-66. Reprinted in [1962a] in Chapter XVII.
1952e Review of Arnold Schmidt, 'Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik', Journal of Symbolic Logic 17, 76.

1953

1953a (With Robert McNaughton) Les systèmes axiomatiques de la théorie des ensembles. Collection de Logique Mathématique, Série A, No. 4. Paris: Gauthier-Villars. Louvain: E. Nauwelaerts. Russian translation by N. B. Polgrebisski, Moscow, 1963.
1953b 'Between number theory and set theory', Mathematische Annalen 126, 385-409. Reprinted in [1962a] as Chapter XIX.
1953c 'Certain predicates defined by induction schemata', Journal of Symbolic Logic 18, 49-59. Reprinted in [1962a] as Chapter XXI.
1953d 'What is an individual?', Philosophical Review 62, 413-420. Reprinted in [1974a], Appendix. German translation in W. Stegmüller (ed.), Das Universalien-Problem, pp. 280-290. Darmstadt: Wissenschaftliche Buchgesellschaft, 1978.
1953e 'The categoricity question of certain grand logics', Mathematische Zeitschrift 59, 47-56.
1953f 'Quelques notions d'axiomatique', Revue philosophique de Louvain 51, 409-443. French translation of what was later published as chapter 1 of [1962a].
1953g 'A problem on propositional calculus (problem 6)', Journal of Symbolic Logic 18, 186.
1953h Review of G. Kreisel, 'Note on arithmetic models for consistent formulae of the predicate calculus', Journal of Symbolic Logic 18, 180-181.

1954

1954a 'A question on knowledge of knowledge', Analysis 14, 142-146. Reprinted in [1974a], Appendix.
1954b 'The formalization of mathematics', Journal of Symbolic Logic 19, 241-266. Reprinted in [1962a] as Chapter XXIII.

1955

1955a 'Undecidable sentences generated by semantic paradoxes', Journal of Symbolic Logic 20, 31-43. Reprinted in [1962a] as Chapter XXII.
1955b 'Notes on the analytic-synthetic distinction', Theoria 21, 158-178. Incorporated into Chapter VIII of [1974a]. Chinese translation, Translations in Philosophy, No. 1 (1982), 28-38.
1955c (With G. Kreisel) 'Some applications of formalized consistency proofs', Fundamenta Mathematicae 42, 101-110. Summarized with part II [1958c] in Chapter XV, Section 2, of [1962a].
1955d 'On denumerable bases of formal systems', in Th. Skolem et al., Mathematical Interpretation of Formal Systems, pp. 57-84. Amsterdam: North-Holland.
1955e 'On formalization', Mind 64, 226-238. Reprinted in [1962a] as Chapter III and in [1990a]. Also reprinted in Irving M. Copi and James A. Gould (eds.), Contemporary Readings in Logical Theory. New York: Macmillan, 1967.

1957

1957a 'The axiomatization of arithmetic', Journal of Symbolic Logic 22, 145-158. Reprinted in [1962a] as Chapter IV.
1957b 'A variant to Turing's theory of computing machines', Journal of the Association for Computing Machinery 4, 63-92. Reprinted in [1962a] as Chapter VI.
1957c 'Universal Turing machines: An exercise in coding', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 3, 69-80. Reprinted in [1962a] as Chapter VII.
1957d (With A. W. Burks) 'The logic of automata', Journal of the Association for Computing Machinery 4, 193-218, 279-297. Reprinted in [1962a] as Chapter VIII.

1958

1958a 'Eighty years of foundational studies', Dialectica 12, 466-497. Also in Logica: Studia Paul Bernays dedicata, pp. 262-293. Neuchâtel: Éditions du Griffon, 1959. Reprinted in [1962a] as Chapter II.
1958b 'Alternative proof of a theorem of Kleene', Journal of Symbolic Logic 23, 250.
1958c (With G. Kreisel) 'Some applications of formalized consistency proofs. Part II', Fundamenta Mathematicae 45, 334-335. Summarized with [1955c] in Chapter XV, Section 2, of [1962a].

1959

1959a 'Ordinal numbers and predicative set theory', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 5, 216-239. Reprinted in [1962a] as Chapter XXV.
1959b 'Circuit synthesis by solving sequential Boolean equations', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 5, 291-322. Reprinted in [1962a] as Chapter X.
1959c (With G. Kreisel and J. R. Shoenfield) 'Number-theoretic concepts and recursive well-orderings', Archiv für Mathematische Logik und Grundlagenforschung 5, 42-64.

1960

1960a 'Toward mechanical mathematics', IBM Journal of Research and Development 4, 2-22. Reprinted in [1962a] as Chapter IX. Also reprinted in K. Sayre and F. Crosson (eds.), The Modelling of Mind, pp. 91-120. University of Notre Dame Press, 1963. (Paperback edition, New York: Simon and Schuster, 1968.) Also reprinted in Jörg Siekmann and Graham Wrightson (eds.), Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966. Springer-Verlag, 1983. Russian translation in Problems of Cybernetics. (endnote 7)
1960b 'Proving theorems by pattern recognition, Part I', Communications of the Association for Computing Machinery 3, 220-234. Reprinted together with Part II ([1961a]), as Bell Technical Monograph 3745. Also reprinted in Jörg Siekmann and Graham Wrightson (eds.), Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966. Springer-Verlag, 1983 (see [1960a]), and in [1990a].
1960c 'Symbolic representations of calculating machines', Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, pp. 181-188. Princeton, N. J.: Institute for Defense Analyses, Communications Research Division.
1960d 'Remarks on constructive ordinals and set theory', Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, pp. 383-390. Princeton, N. J.: Institute for Defense Analyses, Communications Research Division.
1960e Review of Moh Shaw-Kwei, 'Simplified introduction to intuitionistic logic' (in Chinese), Journal of Symbolic Logic 25, 181.
1960f Review of Moh Shaw-Kwei, 'About the rules of procedure' (in Chinese), Journal of Symbolic Logic 25, 182.
1960g Review of Moh Shaw-Kwei, 'Axiomatization of many-valued logical systems' (in Chinese), Journal of Symbolic Logic 25, 181-182.
1960h Review of Moh Shaw-Kwei, 'On the explicit form of number-theoretic functions' (in Chinese), Journal of Symbolic Logic 25, 182.
1960i Review of Moh Shaw-Kwei, 'On the definition of primitive recursive functions' (in Chinese), Journal of Symbolic Logic 25, 182.
1960j Review of Moh Shaw-Kwei, 'Some axiom systems for propositional calculus' (in Chinese), Journal of Symbolic Logic 25, 182-183.
1960k Review of Moh Shaw-Kwei, 'On the explicit form of general recursive functions' (in Chinese), Journal of Symbolic Logic 25, 183.

1961

1961a 'Proving theorems by pattern recognition. Part II', Bell System Technical Journal 40, 1-41. Also appeared, together with Part I ([1960b]), as Bell Technical Monograph 3745. Reprinted in [1990a].
1961b 'Process and existence in mathematics', in Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson (eds.), Essays on the Foundations of Mathematics, Dedicated to Prof. A. A. Fraenkel on His 70th Anniversary, pp. 328-351. (endnote 8) Jerusalem: Magnes Press, The Hebrew University of Jerusalem. Partly incorporated into [1974a], Chapter VII, and reprinted in [1990a].
1961c 'The calculus of partial predicates and its extension to set theory I', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 7, 283-288. Reprinted in [1990a]. Partial Romanian translation by Ilie Parvu in Parvu (ed.), Epistemologie — Orientari contemporane. Bucharest: Editura Politica, 1974.

1962

1962a A Survey of Mathematical Logic. Peking: Science Press. Also Amsterdam: North-Holland Publishing Company, 1963. Reprinted as Logic, Computers and Sets. New York: Chelsea, 1970. Rumanian translation by Sorin Vieru and Usher Morgenstern. Bucharest: Editura Stintififica, 1972.
1962b (With A. S. Kahr and Edward F. Moore) 'Entscheidungsproblem reduced to the AEA case', Proceedings of the National Academy of Sciences, U. S. A. 48, 365-377.
1962c (With Burton Dreben and A. S. Kahr) 'Classification of AEA formulas by letter atoms', Bulletin of the American Mathematical Society 68, 528-532.
1962d (With A. S. Kahr) 'A remark on the reduction problem with application to the AEA formulas' (Abstract), Notices of the American Mathematical Society 9, 130.
1962e (endnote 9) 'An unsolvable problem on dominoes'. In Theory of Switching, pp. 1-5. Report BL-30, The Computation Laboratory, Harvard University.

1963

1963a 'Mechanical mathematics and inferential analysis', in P. Braffort and D. Hirschberg (eds.), Computer Programming and Formal Systems, pp. 1-20. Amsterdam: North-Holland. Reprinted in [1990a].
1963b (With M. O. Rabin) 'Words in the history of a Turing machine with a fixed input', Journal of the Association for Computing Machinery 10, 526-527.
1963c 'Dominoes and the AEA case of the decision problem', in Jerome Fox et al. (eds.), Proceedings of the Symposium on the Mathematical Theory of Automata, New York, April 1962, pp. 23-55. Brooklyn: Polytechnic Press. Reprinted in [1990a].
1963d 'Tag systems and lag systems', Mathematische Annalen 152, 65-74.
1963e 'The mechanization of mathematical arguments', in N. C. Metropolis, A. H. Taub, John Todd, and C. B. Tompkins (eds.), Experimental Arithmetic, High Speed Computing and Mathematics, pp. 31-40. Proceedings of Symposia in Applied Mathematics, vol. 15. Providence: American Mathematical Society. Reprinted in [1990a].
1963f (With A. S. Kahr) 'Degrees of RE models of AEA formulas' (Abstract), Notices of the American Mathematical Society 10, 192-193.
1963g Review of William and Martha Kneale, The Development of Logic, Mathematical Reviews 26, 450.

1964

1964a (With W. V. Quine) 'On ordinals', Bulletin of the American Mathematical Society 70, 297-298.
1964b 'Remarks on machines, sets and the decision problem', in J. N. Crossley and M. A. E. Dummett (eds.), Formal Systems and Recursive Functions, pp. 304-320. Amsterdam: North-Holland. Reprinted in [1990a].
1964c Critique [of Robert R. Kofhage, 'Logic for the Computer Sciences'], Communications of the ACM 7, 218.

1965

1965a 'Russell and his logic', Ratio 7, 1-34. Reprinted, revised, as Chapter III of [1974a]. German translation in the German edition of Ratio. Spanish translation by E. Casaban and E. Garcia, Teorema (December 1971), 31-76.
1965b 'Formalization and automatic theorem proving', in Wayne A. Kalenich (ed.), Proceedings of IFIP Congress 65, pp. 51-58. Washington, D. C.: Spartan Books. Reprinted in [1990a]. Russian translation in Problems of Cybernetics 7 (1970), 180-193.
1965c 'Note on rules of inference', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 11, 193-196.
1965d 'Logic and computers', American Mathematical Monthly 72, 135-140. Reprinted as Chapter IX, Section 6, of [1974a] and in [1990a].
1965e 'Games, logic and computers', Scientific American 213, No. 5 (November 1965), 98-106. Reprinted in [1990a]. Swedish translation in Modern Datateknik.

1966

1966a (With S. A. Cook) 'Characterizations of ordinal numbers in set theory', Mathematische Annalen 164, 1-25.
1966b (With Kenneth R. Brown) 'Finite set theory, number theory and axioms of limitation', Mathematische Annalen 164, 26-29.
1966c (with Kenneth R. Brown) 'Short definitions of ordinals', Journal of Symbolic Logic 31, 409-414.
1966d 'Russell and philosophy', Journal of Philosophy 63, 670-673. Partly incorporated into [1974a], Chapter XI, Section 4.

1967

1967a 'Natural hulls and set existence', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 13, 175-182. Reprinted in [1990a].
1967b 'On axioms of conditional set existence', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 13, 183-188. Reprinted in [1990a].
1967c 'A theorem on definitions of the Zermelo-von Neumann ordinals', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 13, 241-250. Reprinted in [1990a].
1967d Introductory note to Andrei Nikolaevich Kolmogorov, 'On the principle of excluded middle', in Jean van Heijenoort (ed.), From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931, pp. 414-416. Cambridge, Mass.: Harvard University Press.

1970

1970a 'A survey of Skolem's work in logic', in Th. Skolem, Selected Works in Logic, J. E. Fenstad (ed.), pp. 17-52. Oslo: Universitetsforlaget. Incorporated, with additions and corrections by J. E. Fenstad, into [2009].
1970b 'Remarks on mathematics and computers', in R. B. Banerji and M. D. Mesarovic (eds.), Theoretical Approaches to Nonnumerical Problem Solving, pp. 152-160. Berlin: Springer-Verlag. Partly incorporated into [1974a], Chapter IX. Reprinted in [1990a].
1970c 'On the long-range prospects of automatic theorem-proving', in M. Laudet, D. Lacombe, L. Nolin, and M. Schützenberger (eds.), Symposium on Automatic Demonstration, pp. 101-111. Berlin: Springer-Verlag. Reprinted in [1990a].

1971

1971a 'Logic, computation and philosophy', L'age de la science 3, 101-115. Partly incorporated into [1974a], Chapter VII. Reprinted in [1990a].
1971b Letter to the Editor. The New York Times, May 30, 1971.

1972

1972 'Reflections on a Visit to China' (Chinese), New China Bimonthly, No. 7 (October 1, 1972), 23-26 and 31. Reprinted in Xinwan Bao, November 1972. Second enlarged version, The Seventies Monthly, No. 36 (January 1973), 54-60 and No. 37 (February 1973), 85-90; also in Dagong Bao, December 1972; and as a separate pamphlet by Bagu Publishing Co., February 1973. Third revised version, published as a separate pamphlet by The Seventies Publishing Company, Shanghai 1973. Also in People's Daily, Reference Information, March 3, 4, 5, 6, 7, 1973.

1973

1973a 'Forty years of culture in Hong Kong' (Chinese), The Seventies Monthly, No. 44 (September, 1973), 22-23. (endnote 10)
*1973b (With Bradford Dunham) 'A recipe for Chinese typewriters', IBM report RC4521, September 5, 1973. Published in Chinese; see [1976a].

1974

1974a From Mathematics to Philosophy. London: Routledge & Kegan Paul. Chapter VI reprinted in Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings, 2nd ed. Cambridge University Press, 1983. Chapter VII reprinted with slight revisions in Thomas Tymoczko (ed.), New Directions in the Philosophy of Mathematics, pp. 131-152. Boston: Birkhäuser, 1986. 2nd ed., Princeton University Press, 1997. Chapter IX, Sections 3-4, reprinted (in English) in Christian Thiel (ed.), Erkenntnistheoretische Grundlagen der Mathematik, pp. 332-337. Hildesheim: Gerstenberg Verlag, 1982. Italian translation: Torino: Boringhieri, 1984. Chinese translation forthcoming.
1974b 'Metalogic', in Encyclopaedia Britannica, Fifteenth edition, Vol. 11, pp. 1078-1086. Chicago: Encyclopaedia Britannica, Inc. Incorporated into Chapter V of [1974a]. Reprinted in part in [1990a].
1974c 'Concerning the materialist dialectic', Philosophy East and West 24, 303-319.
1974d Letter to the Editor. The New York Times, June 18, 1974.

1975

1975a 'Notes on a class of tiling problems', Fundamenta Mathematicae 82, 295-305. Reprinted in [1990a].
1975b Letter to the Editor. Washington Post, November 1, 1975.

1976

1976a (With Bradford Dunham) 'A recipe for Chinese typewriters' (Chinese), Dousou Bimonthly, No. 14 (March 1976), 56-62. Chinese version of [*1973b].
1976b (With Bradford Dunham) 'Toward feasible solutions of the tautology problem', Annals of Mathematical Logic 10, 117-154. Reprinted in [1990a].
1976c Letter to the Editor. The New York Times, February 9, 1976.

1977

1977a 'Large sets', in Robert E. Butts and Jaakko Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory, pp. 309-333. Dordrecht: Reidel.
1977b 'The searchings of Lu Xun' (Chinese), Dousou Bimonthly, No. 19 (January 1977), 1-14. Abridged version, The Seventies Monthly, No. 85 (February 1977), 70-73.
1977c 'Dialectics and natural science', Overseas Chinese Life Scientists Association Newsletter 1, No. 2 (March 1977), 48-55. (endnote 11)
*1977d (With D. A. Martin) 'Ranked matching and hospital interns'. Published in [1990a], pp. 275-289, but dated 1977.

1978

1978 'Kurt Gödel's intellectual development', Mathematical Intelligencer 1, No. 3, 182-184. Chinese translation, Philosophical Problems of Natural Science, No. 4 (1980), 88-90.

1979

*1979a 'Kurt Gödel and some of his philosophical views: On mind, matter, machine and mathematics', Proceedings of the Roundtable on Aristotle, June 1978. Paris: UNESCO, 1979. Published in French translation; see [1991c].
1979b 'Mechanical treatment of Chinese characters' (Chinese), Dianzi Jisuanji Dongtai, No. 6, 1-4. English translation by Fan Lanying, 'On information processing in the Chinese language', in [1990a].
1979c 'China today and its development over the last sixty years' (Chinese), Wide Angle Monthly, No. 86, 32-49.

1980

1980 'Kurt Gödel', in McGraw-Hill Encyclopedia of Scientists and Engineers, pp. 438-439. New York: McGraw-Hill.

1981

1981a Popular Lectures on Mathematical Logic. Beijing: Science Press. Also New York: Van Nostrand Reinhold. Reprinted with a Postscript, New York: Dover Publications, 1993. Chinese translation, Beijing: Science Press, 1981.
1981b 'Remeeting Mr. Shen Congwen' (Chinese), Hai Nei Wai 28, 25-26. Reprinted in Dadi, No. 2, 27-28.
1981c 'Some facts about Kurt Gödel', Journal of Symbolic Logic 46, 653-659. Reprinted with some revisions in [1987a], Chapter 2.
1981d 'Specker's mathematical work from 1949 to 1979', L'enseignement mathématique 72, 85-98. Also in Erwin Engeler, Hans Läuchli, and Volker Strassen (eds.), Logic and Algorithmic: An International Symposium Held in Honour of Ernst Specker, Zürich, February 5-11, 1980, pp. 11-24. Monographie de L'enseignement mathématique No. 30. Genève: L'enseignement mathématique, Université de Genève.
1981e 'Gödel and Wittgenstein' (Chinese), Philosophical Research Monthly, No. 3, 25-37.
1981f 'Mathematical logic' (Chinese), Problems of Natural Sciences, No. 3, 70-71.

1982

1982a 'To confirm some impressions by Lu Xun' (Chinese), Dushu Monthly, April 1982, 70-76.
1982b 'Memories related to Professor Jin Yuelin' (Chinese), Wide Angle Monthly, No. 122, 61-63. Reprinted in Chinese Philosophy 11 (1984), 487-493. Also reprinted in Liu Peiyu (ed.), The Reminiscences of Jin Yuelin and Reminiscences about Jin, pp. 161-167. Chengdu: Sichuan Educational Press, 1995. English translation, [2011a].

1983

1983 'Philosophy: Chinese and Western', Commentary: Journal of the National University of Singapore Society 6, No. 1 (September 1983), 1-9.

1984

1984a 'The formal and the intuitive in the biological sciences', Perspectives in Biology and Medicine 27, 525-542.
1984b 'Computer theorem proving and artificial intelligence', Contemporary Mathematics 29, 49-70. Reprinted in [1990a].
1984c 'Wittgenstein's and other mathematical philosophies', The Monist 67, 18-28.
1984d 'Thought and action', South China Morning Post, The Hong Kong Standard, June 1, 1984.

1985

1985a Beyond Analytic Philosophy. Doing Justice to What We Know. Cambridge, Mass.: MIT Press. Paperback edition, 1987.
1985b 'Two commandments of analytic empiricism', Journal of Philosophy 82, 449-462. Partly incorporated into [1985a], Introduction. Chinese translation, Social Sciences in China, No. 4 (July 1985).

1986

1986a 'China and Western philosophy' (Chinese), Chinese Culture Quarterly 1, No. 1 (September 1986), 39-60.
1986b 'Quine's logical ideas in historical perspective', in Lewis Edwin Hahn and Paul Arthur Schilpp (eds.), The Philosophy of W. V. Quine, pp. 623-643. La Salle, Ill.: Open Court. 2d ed. 1998.
1986c 'Gödel's and some other examples of problem transmutation' (Chinese). Zhe xue yi cong. Collection of Translations of Philosophy 6, 62-66. (endnote 12)

1987

1987a Reflections on Kurt Gödel. Cambridge, Mass.: The MIT Press. Paperback edition, 1990. Japanese translation: Sangyo Tosho, 1988. French translation: Paris: Armand Colin, 1991. Spanish translation: Alianza, 1992. Korean translation: Seoul: Minumsa Publishing, forthcoming 1997. Chinese translation, with a new Preface: Shanghai: Shanghai Translation Publishing House, 1997.
1987b 'Gödel and Wittgenstein', in Paul Weingartner and Gerhard Schurz (eds.), Logic, Philosophy of Science and Epistemology, pp. 83-90. Proceedings of the 11th International Wittgenstein Symposium, Kirchberg am Wechsel, Austria, 4-13 August, 1987. Vienna: Verlag Hölder-Pichler-Tempsky.
1987c 'On distinguishing problems of different orders' (Chinese), Chinese Culture Quarterly 1, No. 4 (Summer 1987), 35-40.
1987d 'Einstein and Gödel: Contrast and friendship', Journal of Tsinghua University 2, No. 1, 32-39, 56. Revised and enlarged version in Chinese, 'Exploring the eternal: Gödel and Einstein', Twenty-First Century Bimonthly, No. 2 (December 1990), 72-81.
1987e 'The way of Jin Yuelin' (Chinese), in Institute of Philosophical Research, Chinese Academy of Social Science (ed.), Studies in Jin Yuelin's Thought, pp. 45-50. Chengdu: Sichuan People's Publishing Co.
1987f Review of Galvano Della Volpe, Logic as a Positive Science (Chinese). Chinese Culture Quarterly 1, No. 3 (Spring 1987), 101-104. Translated from English by Ser-min Shei.
1987g Review of David Rubenstein, Marx and Wittgenstein: Social Praxis and Social Explanation (Chinese). Chinese Culture Quarterly 1, No. 3 (Spring 1987), 104-107. Translated from English by Ser-min Shei. (endnote 13)

1989

1989a 'Tharp and conceptual logic', Synthese 81, 141-152.
1989b 'A reading of Wang Youqin on Lu Xun' (Chinese), W. M. Semi-Annual, No. 2 (July 1989), 118-133.

1990

1990a Computation, Logic, Philosophy. A Collection of Essays. Beijing: Science Press. Dordrecht: Kluwer Academic Publishers.
1990b 'Philosophy through mathematics and logic', in Rudolf Haller and Johannes Brandl (eds.), Wittgenstein — Towards a Re-evaluation, pp. 142-154. Proceedings of the 14th International Wittgenstein Symposium, Centenary Celebration, Kirchberg am Wechsel, Austria, 1989. Vienna: Verlag Hölder-Pichler-Tempsky.
1990c 'Mind, brain, machine', Jahrbuch 1990 der Kurt-Gödel-Gesellschaft, 5-43. Proceedings of the First Kurt Gödel Colloquium, Salzburg, Austria, September 1989.
1990d 'Aperiodicity and constraints', Jahrbuch 1990 der Kurt-Gödel-Gesellschaft, 88-93.
1990e 'Between philosophy and literature' (Chinese), Dushu Monthly (April 1990), 58-66.

1991

1991a 'Gödel's and some other examples of problem transmutation', in T. Drucker (ed.), Perspectives on the History of Mathematical Logic, pp. 101-109. Boston: Birkhäuser. Chinese translation, [1986c].
1991b 'To and from philosophy — Discussions with Gödel and Wittgenstein', Synthese 88, 229-277.
1991c 'Kurt Gödel et certaines de ses conceptions philosophiques: l'esprit, la matière, la machine et les mathématiques', in G. Hahn and M. A. Sinaceur (eds.), Penser avec Aristote: Etudes réunies sous la direction de M. A. Sinaceur, pp. 441-451. Toulouse: Erès. (Cf. [*1979a].)
1991d 'Gödel and Einstein as companions', in John Brockman (ed.), Doing Science: The Reality Club, pp. 282-294. New York: Prentice Hall Press.

1993

1993a 'Imagined discussions with Gödel and with Wittgenstein', Jahrbuch 1992 der Kurt-Gödel-Gesellschaft, pp. 3-49.
1993b 'Can bodies or computers have souls? I. Psychophysical parallelism and algorithmism for the physical world' (Chinese), Twenty-First Century Bimonthly, No. 15 (February 1993), 102-110.
1993c 'Can bodies or computers have souls? II. On algorithmism of the mind and the problem of feasibility' (Chinese), Twenty-First Century Bimonthly, No. 16 (April 1993), 72-78.
1993d 'On physicalism and algorithmism: Can machines think?' Philosophia Mathematica (III) 1, 97-138.
1993e 'What is logic?', in Klaus Puhl (ed.), Wittgenstein's Philosophy of Mathematics, pp. 11-23. Proceedings of the 15th International Wittgenstein Symposium, part 2. Vienna: Verlag Hölder-Pichler-Tempsky. Also The Monist 77 (1994), 261-274.
1993f 'From Kunming to New York' (Chinese), Dushu Monthly (May 1993), 140-143. English translation, [2011b].
1993g 'New Directions in Science and in Society: From Traditions to Innovations', in Nineteenth World Congress of Philosophy, Moscow, August 1993, Book of Abstracts: Invited Lectures, pp. 52-59. Moscow.

1995

1995 'Time in philosophy and in physics: From Kant and Einstein to Gödel', Synthese 102, 215-234.

1996

1996a A Logical Journey: From Gödel to Philosophy. Cambridge, Mass.: MIT Press.
1996b 'Skolem and Gödel', Nordic Journal of Philosophical Logic 1, 119-132.

2005

2005 ‘Language and metaphysics’. Translation by Richard Jandovitz and Montgomery Link of [1945]. Journal of Chinese Philosophy 32, no. 1, 139-147

2009

2009 (With Jens-Erik Fenstad.) ‘Thoralf Albert Skolem’. In Dov Gabbay and John Woods (eds.), Handbook of the History of Logic, volume 5: Logic from Russell to Church, pp. 127-194. Amsterdam: North-Holland.

2011

2011a ‘Memories related to Professor Jin Yuelin’. Translation by Montgomery Link and Richard Jandovitz of [1982b]. In Charles Parsons and Montgomery Link (eds.), Hao Wang, Logician and Philosopher (London: College Publications, 2011), pp. 27-38.
2011b ‘From Kunming to New York’. Translation by Richard Jandovitz and Montgomery Link of [1993f]. In Charles Parsons and Montgomery Link (eds.), Hao Wang, Logician and Philosopher (London: College Publications, 2011), pp. 39-45.
2011c ‘Sets and concepts, on the basis of discussions with Gödel’. Edited with introduction and notes by Charles Parsons. In Charles Parsons and Montgomery Link (eds.), Hao Wang, Logician and Philosopher (London: College Publications, 2011), pp. 79-118.

Endnotes

Marie Grossi, 272 Silvermine Avenue, Norwalk, Connecticut 06850, U. S. A. [email protected]
Montgomery Link, Department of Philosophy, Suffolk University, 8 Ashburton Place, Boston, Massachusetts 02108, U. S. A. [email protected] orcid.org/0000-0001-6250-4851
Katalin Makkai, Bard College Berlin, Platanenstrasse 24, 13156 Berlin, Germany. [email protected]
Charles Parsons, Department of Philosophy, Emerson Hall, Harvard University, Cambridge, Massachusetts 02138, U. S. A. [email protected]
Thanks to Richard Jandovitz for his help with this and the original published version. We are indebted to Xing Taotao, Ser-min Shei, Phally Eth, Ma Xiaohe, and Li Dan for supplying further information concerning publications of Wang in Chinese, and to Mihai Ganea, Giovanni Sambin, and the MIT Press for further information concerning translations.
We note that in some items in English, mostly earlier, the Chinese occurs romanized by the older Wade-Giles system.
Grossi's list states that an Italian translation of this paper is in preparation (as of 1995 or earlier). Inquiries in Italy have not yielded a published translation, and it seems likely that none has been published.
We here follow the title page of the book. Curiously, a reprint of the paper in our possession gives the subtitle as 'dedicated to Prof. A. H. Fraenkel on his 70th birthday'. 'A. H. Fraenkel' evidently abbreviates the Hebrew form of his name, Abraham Halevi Fraenkel.
Formerly [1961d]. Thanks to Byeonghoon Kim for pointing out to us that the report in which this paper appeared is dated 1962, not 1961. In [1990a], p. xxiii, Wang states that this paper is included in that book as an appendix to Chapter 9. However, it is not. Hongkuei Kang, who pointed this out to us, states that Wang told him he had forgotten to include it.
1973a This item is included in Grossi's list, but it appears in The Seventies Monthly under the author name Xu Shangwen. See Richard Jandovitz and Montgomery Link, "Hao Wang's Chinese writings," in Charles Parsons and Link (eds.), Hao Wang, Logician and Philosopher (London: College Publications, 2011), pp. 15-26, at p. 15.
1977c We have not been able to locate this item or determine with certainty whether it is written in English or Chinese.
This journal has been known as Shi jie zhe xue since 2002. Grossi's list identifies the journal where this paper appeared as Dialectics of Nature.
Shei, who told us of these items, states that he no longer has the English originals. However, copies may be in the Hao Wang papers at the Rockefeller University Archives.