Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/wang-hao

Hao Wang (wang-hao)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Fenstad, Jens Erik and Wang, Hao. 2009. Thoralf Albert Skolem.” in Handbook of the History of Logic. Volume 5: Logic from Russell to Church, edited by Dov M. Gabbay and John Woods, pp. 127–194. Amsterdam: North-Holland Publishing Co.
    Lim, Daniel and Wang, Hao. 2014. Can Mary’s Qualia Be Epiphenomenal? Res Philosophica 91(3): 503–512.
    Skolem, Thoralf, Hasenjaeger, Gisbert, Kreisel, Georg, Robinson, Abraham, Wang, Hao, Henkin, Leon and Łoś, Jerzy. 1955. Mathematical Interpretation of Formal Systems. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.
    Wang, Hao. 1947. Notes on the Justification of Induction.” The Journal of Philosophy 44(26): 701–710.
    Wang, Hao. 1948. A New Theory of Element and Number.” The Journal of Symbolic Logic 13: 129–137.
    Wang, Hao. 1950. Existence of Classes and Value Specification of Variables.” The Journal of Symbolic Logic 15: 103–112.
    Wang, Hao. 1953. What is an Individual? The Philosophical Review 62: 413–420.
    Wang, Hao. 1954. The Formalization of Mathematics.” The Journal of Symbolic Logic 19: 241–266.
    Wang, Hao. 1955a. On Formalization.” Mind 64: 226–238.
    Wang, Hao. 1955b. Undecidable Sentences Generated by Semantic Paradoxes.” The Journal of Symbolic Logic 20: 31–43.
    Wang, Hao. 1955c. On Denumerable Bases of Formal Systems.” in Mathematical Interpretation of Formal Systems, pp. 57–84. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.
    Wang, Hao. 1957. The Axiomatization of Arithmetic.” The Journal of Symbolic Logic 22: 145–158.
    Wang, Hao. 1958. Eighty Years of Foundational Studies.” Dialectica 12(47–48): 466–497.
    Wang, Hao. 1959. Ordinal Numbers and Predicative Set Theory.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 5: 216–239.
    Wang, Hao. 1961. Process and Existence in Mathematics.” in Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary, edited by Yehoshua Bar-Hillel, Edward Poznański, Michael O. Rabin, and Abraham Robinson, pp. 328–351. Jerusalem: The Magnes Press. Reworked into Wang (1974h).
    Wang, Hao. 1963a. A Survey of Mathematical Logic. Studies in Logic and the Foundations of Mathematics n. 33. Amsterdam: North-Holland Publishing Co.
    Wang, Hao. 1963b. Mechanical Mathematics and Inferential Analysis.” in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirschberg, pp. 1–20. Studies in Logic and the Foundations of Mathematics n. 35. Amsterdam: North-Holland Publishing Co.
    Wang, Hao. 1965a. Remarks on Machines, Sets, and the Decision Problem.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 304–320. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.
    Wang, Hao. 1965b. Russell and His Logic.” Ratio 7: 1–34. Reprinted as Wang (1974d).
    Wang, Hao. 1974a. From Mathematics to Philosophy. London: Routledge & Kegan Paul.
    Wang, Hao. 1974b. Mathematical Logic and Philosophy of Mathematics.” in From Mathematics to Philosophy, pp. 40–58. London: Routledge & Kegan Paul.
    Wang, Hao. 1974c. Characterization of General Mathematical Concepts.” in From Mathematics to Philosophy, pp. 59–120. London: Routledge & Kegan Paul.
    Wang, Hao. 1974d. Russell’s Logic and some General Issues.” in From Mathematics to Philosophy, pp. 103–130. London: Routledge & Kegan Paul.
    Wang, Hao. 1974e. Logical Truth.” in From Mathematics to Philosophy, pp. 131–165. London: Routledge & Kegan Paul.
    Wang, Hao. 1974f. Metalogic.” in From Mathematics to Philosophy, pp. 166–180. London: Routledge & Kegan Paul.
    Wang, Hao. 1974g. The Concept of Set.” in From Mathematics to Philosophy, pp. 181–223. London: Routledge & Kegan Paul.
    Wang, Hao. 1974h. Theory and Practice in Mathematics.” in From Mathematics to Philosophy, pp. 224–250. London: Routledge & Kegan Paul.
    Wang, Hao. 1974i. Necessity, Analyticity, and Apriority.” in From Mathematics to Philosophy, pp. 251–279. London: Routledge & Kegan Paul.
    Wang, Hao. 1974j. Mathematics and Computers.” in From Mathematics to Philosophy, pp. 280–297. London: Routledge & Kegan Paul.
    Wang, Hao. 1974k. Minds and Machines.” in From Mathematics to Philosophy, pp. 298–328. London: Routledge & Kegan Paul.
    Wang, Hao. 1974l. Appendix: Exercises in Criticism.” in From Mathematics to Philosophy, pp. 329–361. London: Routledge & Kegan Paul.
    Wang, Hao. 1974m. Themes and Approaches.” in From Mathematics to Philosophy, pp. 362–397. London: Routledge & Kegan Paul.
    Wang, Hao. 1974n. Notes on Knowledge and Life.” in From Mathematics to Philosophy, pp. 398–422. London: Routledge & Kegan Paul.
    Wang, Hao. 1977. Large Sets.” in Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E. Butts and Jaakko Hintikka, pp. 309–334. The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.
    Wang, Hao. 1981a. Popular Lectures on Mathematical Logic. New York: Van Nostrand Reinhold.
    Wang, Hao. 1981b. Some Facts about Kurt Gödel.” The Journal of Symbolic Logic 46.
    Wang, Hao. 1985a. Beyond Analytic Philosophy. Doing Justice to What We Know. Cambridge, Massachusetts: The MIT Press.
    Wang, Hao. 1985b. Two Commandments of Analytic Empiricism.” The Journal of Philosophy 82: 449–462.
    Wang, Hao. 1986. Quine’s Logical Ideas in Historical Perspective.” in The Philosophy of W.V. Quine, edited by Lewis Edwin Hahn and Paul Arthur Schilpp, pp. 623–643. The Library of Living Philosophers n. 18. LaSalle, Illinois: Open Court Publishing Co.
    Wang, Hao. 1987a. Reflections on Kurt Gödel. Cambridge, Massachusetts: The MIT Press.
    Wang, Hao. 1987b. Gödel and Wittgenstein.” in Proceedings of the 11th International Wittgenstein Symposium: Logic, Philosophy of Science, and Epistemology, edited by Paul Weingartner and Gerhard Schurz, pp. 83–90. Schriftenreihe der Österreichischen Ludwig Wittgenstein Gesellschaft n. 13. Wien: Hölder-Pichler-Tempsky.
    Wang, Hao. 1990a. Computation, Logic, Philosophy. A Collection of Essays. Beijing: Science Press.
    Wang, Hao. 1990b. Philosophy Through Mathematics and Logic.” in Proceedings of the 14th International Wittgenstein Symposium: Wittgenstein – Towards a Re-Evaluation. Volume I, edited by Rudolf Haller and Johannes L. Brandl, pp. 142–154. Schriftenreihe der Österreichischen Ludwig Wittgenstein Gesellschaft n. 19/1. Wien: Hölder-Pichler-Tempsky.
    Wang, Hao. 1993. On Physicalism and Algorithmism: Can Machines Think? Philosophia Mathematica 1(2): 97–138, doi:10.1093/philmat/1.2.97.
    Wang, Hao. 1994. What is Logic? The Monist 77(3): 261–277.
    Wang, Hao. 1995. Time in Philosophy and in Physics: From Kant and Einstein to Gödel.” Synthese 102: 215–234.
    Wang, Hao. 1996. A Logical Journey: From Gödel to Philosophy. Cambridge, Massachusetts: The MIT Press.