143 found
Order:
Disambiguations:
Hao Wang [142]Haobin Wang [2]Hao-bin Wang [1]Haoren Wang [1]
See also:
Profile: Haotian Wang (Macalester College)
  1.  2
    Hao Wang (1997). A Logical Journey: From Gödel to Philosophy. A Bradford Book.
    Hao Wang was one of the few confidants of the great mathematician and logician Kurt Gödel. _A Logical Journey_ is a continuation of Wang's _Reflections on Gödel_ and also elaborates on discussions contained in _From Mathematics to Philosophy_. A decade in preparation, it contains important and unfamiliar insights into Gödel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology. The impact of Gödel's theorem (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  2.  8
    Hao Wang (1990). Reflections on Kurt Gödel. A Bradford Book.
    In this first extended treatment of his life and work, Hao Wang, who was in close contact with Godel in his last years, brings out the full subtlety of Godel's ideas and their connection with grand themes in the history of mathematics and ...
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  3. Hao Wang (1981). Some Facts About Kurt Gödel. Journal of Symbolic Logic 46 (3):653-659.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  4. Hao Wang (1947). A Note on Quine's Principles of Quantification. Journal of Symbolic Logic 12 (4):130-132.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  5. Hao Wang (1948). The Existence of Material Objects. Mind 57 (228):488-490.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  6. Hao Wang (1954). The Formalization of Mathematics. Journal of Symbolic Logic 19 (4):241-266.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7. Hao Wang (1957). The Axiomatization of Arithmetic. Journal of Symbolic Logic 22 (2):145-158.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  8. Hao Wang (1995). Time in Philosophy and in Physics: From Kant and Einstein to Gödel. Synthese 102 (2):215 - 234.
    The essay centers on Gödel's views on the place of our intuitive concept of time in philosophy and in physics. It presents my interpretation of his work on the theory of relativity, his observations on the relationship between Einstein's theory and Kantian philosophy, as well as some of the scattered remarks in his conversations with me in the seventies — namely, those on the philosophies of Leibniz, Hegel and Husserl — as a successor of Kant — in relation to their (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  3
    Hao Wang (1966). A Survey of Mathematical Logic. Philosophical Review 75 (2):240-244.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  10.  55
    Hao Wang (1954). A Question on Knowledge of Knowledge. Analysis 14 (6):142 - 146.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11. Hao Wang (1953). Certain Predicates Defined by Induction Schemata. Journal of Symbolic Logic 18 (1):49-59.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  12.  5
    Hao Wang (1988). Beyond Analytic Philosophy: Doing Justice to What We Know. A Bradford Book.
    This cogent and knowledgeable critique of the tradition of modern analytic philosophy focuses on the work of its central figures -- Russell, Carnap, and Quine -- and finds it wanting. In its place, Hao Wang unfolds his own original view of what philosophy could and should be. The base of any serious philosophy, he contends, should take as its point of departure the actual state of human knowledge. He explains the relation of this new tradition to mathematical logic and reveals (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  13.  59
    Hao Wang (1981). Popular Lectures on Mathematical Logic. Dover Publications.
    Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic’s relationship to computer science, more. Suitable for readers at many levels of mathematical sophistication. 3 appendixes. Bibliography. 1981 edition.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  14.  55
    Hao Wang (1955). On Formalization. Mind 64 (254):226-238.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  15.  11
    Hao Wang (1953). Symbolic Logic; an Introduction. [REVIEW] Journal of Philosophy 50 (4):129-134.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  42
    Hao Wang (1991). To and From Philosophy — Discussions with Gödel and Wittgenstein. Synthese 88 (2):229 - 277.
    I propose to sketch my views on several aspects of the philosophy of mathematics that I take to be especially relevant to philosophy as a whole. The relevance of my discussion would, I think, become more evident, if the reader keeps in mind the function of (the philosophy of) mathematics in philosophy in providing us with more transparent aspects of general issues. I shall consider: (1) three familiar examples; (2) logic and our conceptual frame; (3) communal agreement and objective certainty; (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  33
    Hao Wang (1993). On Physicalism and Algorithmism: Can Machines Think? Philosophia Mathematica 1 (2):97-138.
    This essay discusses a number of questions which arise from attempts to reduce the mental to the physical or the mental and the physical to the computational. It makes, in an organized way, several basic distinctions between different kinds of accounts of the mind. It reconstructs and elaborates many discussions between Gödel and the author on the nature of the human mind, with special emphasis on its mathematical capabilities.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18. Hao Wang (1962). Logic, Computers, and Sets. New York,Chelsea Pub. Co..
     
    Export citation  
     
    My bibliography   5 citations  
  19.  4
    Hao Wang (1961). The Calculus of Partial Predicates and Its Extension to Set Theory I. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (17-18):283-288.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  20.  5
    Hao Wang (1967). Natural Hulls and Set Existence. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (7-12):175-182.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    G. Kreisel, J. Shoenfield & Hao Wang (1966). Number Theoretic Concepts and Recursive Well-Orderings. Journal of Symbolic Logic 31 (3):511-512.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  22.  4
    Hao Wang (1959). Ordinal Numbers and Predicative Set Theory. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):216-239.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  22
    Hao Wang (1984). Wittgenstein's and Other Mathematical Philosophies. The Monist 67 (1):18-28.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  28
    Hao Wang (1994). What is Logic? The Monist 77 (3):261-277.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  25.  4
    Hao Wang (1967). A Theorem on Definitions of the Zermelo-Neumann Ordinals. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (16-18):241-250.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  4
    Hao Wang (1959). Circuit Synthesis by Solving Sequential Boolean Equations. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):291-322.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  4
    Hao Wang (1967). On Axioms of Conditional Set Existence. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (7-12):183-188.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  4
    Hao Wang (1957). Universal Turing Machines: An Exercise in Coding. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (6-10):69-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  7
    Hao Wang (1965). Note on Rules of Inference. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):193-196.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  3
    G. Kreisel & Hao Wang (1956). Some Applications of Formalized Consistency Proofs. Journal of Symbolic Logic 21 (4):404-405.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  31.  2
    Hao Wang (1961). The Calculus of Partial Predicates and Its Extension to Set Theory I. Mathematical Logic Quarterly 7 (17‐18):283-288.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  32.  11
    Hao Wang (1952). Negative Types. Mind 61 (243):366-368.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  33.  3
    Hao Wang (1958). Eighty Years of Foundational Studies. Dialectica 12 (3‐4):466-497.
    A survey is made of work since 1879 on foundational problems viewed as an analysis, by reduction and formalization, of the concepts proof, feasible, number, set, and constructivity. It is suggested that there are five domains of concepts and methods, viz., anthropologism, finitism, intuitionism, predicativism, and platonism. It is also suggested that the central problem is to characterize these domains by formalization and to determine their interrelations by different forms of reduction. Finally, the range of logic in the narrower sense (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  34.  1
    J. L. Bell & Hao Wang (1989). Reflections on Kurt Godel. Philosophical Quarterly 39 (154):115.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35. Daniel Lim & Hao Wang (2014). Can Mary's Qualia Be Epiphenomenal? Res Philosophica 91 (3):503-512.
    Frank Jackson (1982) famously argued, with his so-called Knowledge Argument (KA), that qualia are non-physical. Moreover, he argued that qualia are epiphenomenal. Some have objected that epiphenomenalism is inconsistent with the soundness of KA. One way of developing this objection, following Neil Campbell (2003; 2012), is to argue that epiphenomenalism is at odds with the kind of behavioral evidence that makes the soundness of KA plausible. We argue that Campbell’s claim that epiphenomenalism is inconsistent with the soundness of KA is (...)
     
    Export citation  
     
    My bibliography  
  36.  19
    Hao Wang (1950). A Formal System of Logic. Journal of Symbolic Logic 15 (1):25-32.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37.  23
    Hao Wang (1955). Notes on the Analytic-Synthetic Distinction. Theoria 21 (2-3):158-178.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38.  10
    J. Barkley Rosser & Hao Wang (1950). Non-Standard Models for Formal Logics. Journal of Symbolic Logic 15 (2):113-129.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  39.  29
    Hao Wang (1989). THARP and Conceptual Logic. Synthese 81 (2):141 - 152.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  40.  8
    Hao Wang (1959). Ordinal Numbers and Predicative Set Theory. Mathematical Logic Quarterly 5 (14‐24):216-239.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  20
    Hao Wang (1966). Russell and Philosophy. Journal of Philosophy 63 (21):670-673.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  42.  28
    Hao Wang (1985). Two Commandments of Analytic Empiricism. Journal of Philosophy 82 (9):449-462.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  43.  5
    Hao Wang (1952). Logic of Many-Sorted Theories. Journal of Symbolic Logic 17 (2):105-116.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  44.  25
    Hao Wang (1947). Notes on the Justification of Induction. Journal of Philosophy 44 (26):701-710.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  45.  1
    Bradford Dunham & Hao Wang (1976). Towards Feasible Solutions of the Tautology Problem. Annals of Mathematical Logic 10 (2):117-154.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46. Hao Wang (1987). Reflections on Gôdel. MIT Press.
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  47.  1
    A. S. Kahr, Edward F. Moore & Hao Wang (1962). Entscheidungsproblem Reduced to the ∀∃∀ Case. Journal of Symbolic Logic 27 (2):225-225.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  48.  3
    Hao Wang (1953). Quelques notions d'axiomatique. Revue Philosophique De Louvain 51 (31):409-443.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  16
    Hao Wang (1974). Concerning the Materialist Dialectic. Philosophy East and West 24 (3):301-319.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  50.  13
    Hao Wang (1955). Undecidable Sentences Generated by Semantic Paradoxes. Journal of Symbolic Logic 20 (1):31-43.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 143