1、被国外学者称为“中国现代心理学之父”的王国维,也是中国第一个比较全面地把现代心理学知识运用到文艺理论中的学者。艺术创作是一个自始至终贯穿着主观能动性的过程。
1、图灵是20世纪三四十年代英国著名的数学家、逻辑学家,也是计算机科学的奠基人,被称为“计算机科学之父”、“人工智能之父”。由于是一名同性恋者,1952年,图灵被判犯有“严重猥亵罪”。
2、他不是被陷害,他确实是同性恋,在当时的社会,同性恋是非法的。图灵应该是自杀。前几天英国政府对此事道歉了。
3、他用一阶逻辑中的公式对图灵机进行编码,再由图灵机停机问题的不可判定性推出一阶逻辑的不可判定性。他在此处创用的“编码法”成为后来人们证明一阶逻辑的公式类的不可判定性的主要方法之一。
4、计算机发明者约翰·冯·诺依曼。冯·诺依曼被称为现代计算机之父,20世纪最重要的数学家之一,提出了电子计算机的模式。
5、艾伦·麦席森·图灵Alan Mathison Turing 艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,被称为计算机科学之父,人工智能之父。
彼得吕斯·拉米斯(法语:Petrus Ramus,1515年-1572年8月26日)又名皮埃尔·德拉拉梅(法语:Pierre de la Ramée)是法国男人文主义学家、逻辑学家、哲学家、教育改革者。他在1972年发生的圣巴托洛缪大屠杀中被杀。
乔治·布尔(Gerge Boole 1815-1864),英国著名数学家和逻辑学家。 罗素(Bertrand Arthur William Russell,1872-1970)英国现代著名数理逻辑学家、哲学家,国际著名学者。
金岳霖 金岳霖(1895-1984) 字龙荪。著名哲学家、逻辑学家。1911年考入清华学堂,1914年考取官费留学生,1920年获美国哥伦比亚大学博士学位,1921年到英国学习,1925年回国。历任清华大学、西南联大、北京大学哲学系教授。
70年代王浩在中国科学院开始了数理逻辑讨论班,讨论班的讲义后来由科学出版社结集出版为《数理逻辑通俗讲话》,现在仍是许多研究生的数理逻辑课程教材。除此之外,王浩还为很多赴美访问学者提供了不少帮助。
直觉主义,典型的直觉主义者有H.柏格森、B.克罗齐、E.胡塞尔等人。分析哲学,分析哲学的基本思想最初见于19世纪末德国哲学家、逻辑学家G.弗雷格?的著作中,正式形成于20世纪初的英国。
即便最有可能被大家认为讲了逻辑的《墨辩》和名家的名学也都不是逻辑学,“因为它们都没有系统的研究命题的一般结构和有效的推理形式”。