113 found
Sort by:
Disambiguations:
Hao Wang [112]Haobin Wang [2]Hao-bin Wang [1]Haoren Wang [1]
See also:
Profile: Haotian Wang (Macalester College)
  1. 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 (...)
     
    My bibliography  
     
    Export citation  
  2. Haobin Wang (2012). Zhongguo Xian Dai Hua Yu Makesi Zhu Yi Zhongguo Hua de Fa Zhan Luo Ji =. Zhongguo She Hui Ke Xue Chu Ban She.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. Jens Erik Fenstad & Hao Wang (2009). Thoralf Albert Skolem. In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. 127-194.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Hao Lin, Hao Wang, Hui Ding, Ying-Li Chen & Qian-Zhong Li (2009). Prediction of Subcellular Localization of Apoptosis Protein Using Chou’s Pseudo Amino Acid Composition. Acta Biotheoretica 57 (3):321-330.
    Apoptosis proteins play an essential role in regulating a balance between cell proliferation and death. The successful prediction of subcellular localization of apoptosis proteins directly from primary sequence is much benefited to understand programmed cell death and drug discovery. In this paper, by use of Chou’s pseudo amino acid composition , a total of 317 apoptosis proteins are predicted by support vector machine . The jackknife cross-validation is applied to test predictive capability of proposed method. The predictive results show that (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Hao Wang (2009). On the Historical View of 'Ourselves Delivering' and 'Delivering Ourselves'. Modern Philosophy 2:121-128.
    Hop to learn "their say" in time and space, the logic of the "three major innovations" basis. "Speak their own" is "about their" independence, pioneering and innovative spirit is further deepened. Chinese philosophy, the discovery of three major innovations logo is "telling their own" theory to support the implementation of steps and also the harmony learn the essence of Chinese philosophy, rooted in the performance. Harmony is harmony, is content-rich areas of philosophy; Hop history seeking truth from facts, in line (...)
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Haobin Wang (2008). Zhongguo Makesi Zhu Yi Jie Shi Xue Yan Jiu. Xin Hua Chu Ban She.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Arthur W. Burks & Hao Wang, The Logic of Automata.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Arthur W. Burks, Hao Wang & John H. Holland, Application of Logic to the Design of Computing Machines : Final Report.
  9. Hao Wang (2005). Richard Jandovitz and Montgomery Link. Journal of Chinese Philosophy 32:139-147.
    No categories
     
    My bibliography  
     
    Export citation  
  10. Hao Wang (1997). A Logical Journey: From Gödel to Philosophy. A Bradford Book.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Hao Wang (1996). Skolem And Gödel. Nordic Journal of Philosophical Logic 1:119-132.
     
    My bibliography  
     
    Export citation  
  12. 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)  
     
    My bibliography  
     
    Export citation  
  13. Hao Wang (1994). What is Logic? The Monist 77 (3):261-277.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. 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)  
     
    My bibliography  
     
    Export citation  
  15. Hao Wang, L. Ovion & Mériaux (1992). Kurt Gödel. Revue Philosophique de la France Et de l'Etranger 182 (3):331-333.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  16. 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)  
     
    My bibliography  
     
    Export citation  
  17. Hao Wang (1990). Computation, Logic, Philosophy a Collection of Essays.
     
    My bibliography  
     
    Export citation  
  18. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  19. J. L. Bell & Hao Wang (1989). Reflections on Kurt Godel. Philosophical Quarterly 39 (154):115.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Hao Wang (1989). THARP and Conceptual Logic. Synthese 81 (2):141 - 152.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Hao Wang (1988). Beyond Analytic Philosophy: Doing Justice to What We Know. A Bradford Book.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Hao Wang (1987). Reflections on Gôdel. Mit Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  23. Hao Wang (1986). Beyond Analytic Empiricism Doing Justice to What We Know. Monograph Collection (Matt - Pseudo).
    No categories
     
    My bibliography  
     
    Export citation  
  24. Hao Wang (1985). Two Commandments of Analytic Empiricism. Journal of Philosophy 82 (9):449-462.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Hao Wang (1984). Wittgenstein's and Other Mathematical Philosophies. The Monist 67 (1):18-28.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. Hao Wang (1981/1993). 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  
     
    My bibliography  
     
    Export citation  
  27. Hao Wang (1981). Some Facts About Kurt Gödel. Journal of Symbolic Logic 46 (3):653-659.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. 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)  
     
    My bibliography  
     
    Export citation  
  29. Hao Wang (1974). Concerning the Materialist Dialectic. Philosophy East and West 24 (3):301-319.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Hao Wang (1974). Logic, Computation and Philosophy. Journal of Symbolic Logic 39 (2):358-359.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Hao Wang (1971). Russell y su lógica. Teorema: International Journal of Philosophy 4 (4):31-76.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  32. Hao Wang, John Cocke, Marvin Minsky & Stephen A. Cook (1971). Tag Systems and Lag Systems. Journal of Symbolic Logic 36 (2):344-344.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Michael O. Rabin & Hao Wang (1969). Words in the History of a Turing Machine with a Fixed Input. Journal of Symbolic Logic 34 (3):508-508.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. S. A. Cook & Hao Wang (1968). Characterizations of Ordinal Numbers in Set Theory. Journal of Symbolic Logic 33 (1):113-113.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Hao Wang (1967). A Theorem on Definitions of the Zermelo‐Neumann Ordinals. Mathematical Logic Quarterly 13 (16‐18):241-250.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Hao Wang (1967). Natural Hulls and Set Existence. Mathematical Logic Quarterly 13 (7‐12):175-182.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Hao Wang (1967). On Axioms of Conditional Set Existence. Mathematical Logic Quarterly 13 (7‐12):183-188.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Hao Wang (1967). Proving Theorems by Pattern Recognition I. Journal of Symbolic Logic 32 (1):119-120.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Hao Wang (1967). The Mechanization of Mathematical Arguments. Journal of Symbolic Logic 32 (1):120-120.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Kenneth R. Brown & Hao Wang (1966). Short Definitions of the Ordinals. Journal of Symbolic Logic 31 (3):409-414.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. G. Kreisel, J. Shoenfield & Hao Wang (1966). Number Theoretic Concepts and Recursive Well-Orderings. Journal of Symbolic Logic 31 (3):511-512.
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Hao Wang (1966). A Survey of Mathematical Logic. Philosophical Review 75 (2):240-244.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Hao Wang (1966). Logic and Computers. Journal of Symbolic Logic 31 (2):264-264.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Hao Wang (1966). Russell and Philosophy. Journal of Philosophy 63 (21):670-673.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. G. Kreisel, H. Wang & Hao Wang (1965). Fundamenta Mathematicae. Journal of Symbolic Logic 30 (1):99-101.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Hao Wang (1965). IBM Journal of Research and Development: Toward Mechanical Mathematics. Journal of Symbolic Logic 30 (2):249-249.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. 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)  
     
    My bibliography  
     
    Export citation  
  48. Hao Wang (1965). Process and Existence in Mathematics. Journal of Symbolic Logic 30 (2):244-244.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Hao Wang (1964). Partial Systems of Number Theory. Journal of Symbolic Logic 29 (3):147-147.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Hao Wang (1963). Many-Sorted Predicate Calculi. Journal of Symbolic Logic 28 (3):250-250.
     
    My bibliography  
     
    Export citation  
1 — 50 / 113