邱德钧

基本信息姓 名：邱德钧

出生年月：1966年2月

籍 贯：重庆市

职 称：副教授

所在研究所：兰州大学外国哲学与科技哲学研究所

研究领域：形式逻辑、数理逻辑

学术特长：自1986年以来,长期从事形式逻辑和数理逻辑教学工作,对传统的经典逻辑和命题演算以及谓词演算教学,积累了丰富的经验.由于后二者是建立在罗素和怀特海的数学原理基础上的,因此能熟练的掌握数学原理的数百个公里和定理,而这正是现代信息科学的理论基础,也是自上世纪90年代末至今逻辑学转向自然语言机器化研究的动力和工具.

逻辑学已经跳出了纠缠于类型论等问题的哲学讨论,大多数老一辈的学者感兴趣的悖论研究,因为不能解决实际问题,而只是停留在范畴的思辨式讨论,也已经不是逻辑研究的重点.它今天关注的是更为实际的问题—即如何把我们某个具体领域的表达式符号化变成机器语言,来交给计算机控制或研究?因为抽象的符号化不但消除了自然语言的歧义,还能通过公式的进一步推演,极大的扩展人类的思维,使许多看似不可能的匪夷所思的可又是正确的思维结构出现,这将极大的丰富人类的想象力,而不是把创造性寄托在不可把握的悟性上.机器能做很多很多,远超我们的想像.

而这里的一个难点,就是目前正在努力的方向:在无穷域如何表达全称量词,用哲学的语言表达就是休模问题如何用机器能理解的公式来表达并不会陷入死循环?

工作简历1982.9—1986.6 兰州大学哲学系学习

1986.6— 至今 兰州大学哲学和社会学院工作

1986.9— 1987.8 参加甘肃省讲师团赴白银市支教

主讲课程硕士生课程：逻辑基础（基础理论课）；本科生课程：逻辑学基础（专业基础课）、数理逻辑（专业课）、高等数学（专业课）、计算机应用（专业课）等。

获奖情况（1）2004年甘肃省教学成果奖（社会学专业实践教学改革的创新设计与实践），二等奖，4/5

（2）1995年甘肃省社会科学优秀成果奖（大学逻辑教程），三等奖，4/4

科研项目（1）青海省循化文化变迁，兰州通合利达电子科技有限公司，06.12-07.12，1/1

（2）西部经济社会发展监测(企业配套)，兰州友和电子有限责任公司，05.12-06.12，1/1

（3）西部经济社会发展监测，中国科学技术促进发展研究中心（科技部），04.8-05.6，5/5

（4）青海省湟水河中游小流域治理环境评估报告，青海省水利厅水土保持局，03.12-04.12，1/1

（5）算法演变对思维方法的改变，兰州友和电子有限责任公司，01.10-02.9，1/1

（6）网络社会行为及其管理，国家社科基金，03.07-04.06，2/6

代表著作（1）大学逻辑教程，兰州大学出版社，1993年，4/4

(2)自然语言的语义推理，《兰州大学学报》（社），1995．1， Vol 23， 1/1

(3)多媒体技术对人类认识行为的改变，《科学.经济.社会》，1995．1 Vol 13 ，1/1

(4)论作为社会行为的网络角色扮演，《宁夏党校学报 》，2004．6 Vol 6 ，1/2

（5）现代产业集群理论的新进展及其评述，《兰州大学学报》（社）， 2007.2VOL35，2/2