[The original of this bibliography appeared in Philosophia Mathematica
(3) 6 (1998), 25–38. Corrections and additions should be sent to
Charles Parsons. Link to the Philosophia Mathematica main page.
]
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.
In the entries for items written in Chinese, Chinese is rendered according to the Pinyin system of romanization. (endnote 5) We have not undertaken to find the complete bibliographical information concerning translations of Wang's writings into other languages. (endnote 6) We would, however, be grateful if readers in the countries where those translations appeared could supply it where it is missing. Such information, as well as any other additions or corrections, should be sent to Charles Parsons. [This Web version is being continuously updated by the authors, Ed.]
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 the editor for his encouragement of this project.
1944 `The metaphysical system of the New Lixue' (Chinese), Philosophical Review of the Chinese Philosophical Society 9, No. 2, 39–62.
1945 `Language and metaphysics' (Chinese), Ibid. 10, No. 1, 35–38.
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.
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.
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.
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.
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.
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.
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. English version, [1962a], ch. I.
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.
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.
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.
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.
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].
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.
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. Italian translation in preparation.
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 Siekmann and Wrightson, op. cit. (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.
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 7) 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].
1961d `An unsolvable problem on dominoes', Report BL-30, The Computation Laboratory, Harvard University, 1–5. (endnote 8)
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, around 1970.
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.
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.
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.
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.
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.
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.
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.
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].
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 `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–59 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. Also in People's Daily, Reference Information, March 3, 4, 5, 6, 7, 1973.
1973a `Forty years of culture in Hong Kong' (Chinese), The Seventies Monthly, No. 44 (September, 1973), 22–23.
*1973b (With Bradford Dunham) `A recipe for Chinese typewriters', IBM report RC4521, September 5, 1973. Published in Chinese; see [1976a].
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 IX, Sections 3–4, reprinted in Christian Thiel (ed.), Erkenntnistheoretische Grundlagen der Mathematik, pp. 332–337. Hildesheim: Gerstenberg Verlag, 1982. Italian translation: Torino: Boringhieri, 1984. Chinese translation forthcoming. 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.
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.
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.
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.
1977a `Large sets', in Robert E. Butts and Jaakko Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory, pp. 309–334. Dordrecht: Reidel.
1977b `The searchings of Lu Xun' (Chinese), Dousou Bimonthly, No. 19 (January 1977), 1–16. 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 9)
*1977d (With D. A. Martin) `Ranked matching and hospital interns'. Published in [1990a], pp. 275–289, but dated 1977.
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.
*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, `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 `Kurt Gödel', in McGraw-Hill Encyclopedia of Scientists and Engineers, pp. 438–439. New York: McGraw-Hill.
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.
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.
1983 `Philosophy: Chinese and Western', Commentary: Journal of the National University of Singapore Society 6, No. 1 (September 1983), 1–9.
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', Monist 67, 18–28.
1984d `Thought and action', South China Morning Post, The Hong Kong Standard, June 1, 1984.
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).
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.
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.
1989a `Tharp and conceptual logic', Synthese 81, 141–152.
1989b `A reading of Wang Youqin on Lu Xun' (Chinese), Nuxingren (W. M. Semi-Annual), No. 2 (July 1989), 118–133.
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.
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, Dialectics of Nature, 1986.
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 Penser avec Aristote, pp. 441–451. Toulouse: Erès. (Cf. [*1979a].)
1991d `Gödel and Einstein as companions', in John Brockman (ed.), Doing Science, pp. 282–294. New York: Prentice Hall Press.
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.
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 `Time in philosophy and in physics: From Kant and Einstein to Gödel', Synthese 102, 215–234.
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.
2. Montgomery Link, Department of Philosophy, Boston University,
745 Commonwealth Avenue,
Boston, Massachusetts 02215, U. S. A. mlink@bu.edu
3. Katalin Makkai, Department of Philosophy, Emerson Hall,
Harvard University,
Cambridge, Massachusetts 02138, U. S. A. makkai@fas.harvard.edu
4. Charles Parsons, Department of Philosophy, Emerson Hall,
Harvard University,
Cambridge, Massachusetts 02138, U. S. A. parsons2@fas.harvard.edu
5. We note that in some earlier items in English, Chinese names
occur romanized by
the older Wade-Giles system.
6. We are indebted to Xing Taotao for supplying information concerning some Chinese publications of Wang. We thank the MIT Press for supplying information on translations
of [1987a].
7. 1961b 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.
8. 1961d 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.
9.1977c We have not been able to locate this item or determine with
certainty whether it is written in English or Chinese.
Back to the main University of Manitoba UMinfo homepage.
This site is maintained by the editor:
Inquiries can be sent to the above address or to thomas@cc.umanitoba.ca .
Back to the Philosophia Mathematica main page.
R. S. D. Thomas
Department of Mathematics
The University of Manitoba
Winnipeg, Manitoba
Canada R3T 2N2