李小五

性别:男 
出生年月:1955.1 
民族:汉 
籍贯:河北涞水 
出生地:浙江省湖州市 
工作单位:中山大学逻辑与认知研究所 
专业:逻辑学 
学历:硕士

研究兴趣: 

动态认知逻辑;条件句逻辑;人工智能逻辑

教育背景: 

1980.9-1984.7 北京大学哲学系80级本科生    
1986.9-1989.1 北京大学哲学系86级硕士生 

职业经历: 
  • 1984.7-1986.9 解放军政治学院哲学教研室    教员 
    1989.1-1992.7 解放军国防大学马列主义教研室    讲师 
    1992.7-2002.8 中国社会科学院哲学所逻辑室    研究员 
    2002.8-至今 中山大学逻辑与认知研究所    教授
    北京书生科技有限公司书生研究中心   客座研究员

 

主要荣誉: 

 

  • 专著《无穷逻辑》获得中国社会科学院哲学所2000年优秀科研成果一等奖,第三届金岳霖学术奖二等奖。
  • 合著《哲学逻辑研究》2000年被评为中国社会科学院(部级)第3届优秀成果1等奖,获中国社科院哲学所1998年度优秀科研成果一等奖。
  • 专著《条件句逻辑》被中国社科院科研局评为1999年社科院精品项目。
  • 合著《逻辑百科辞典》获国家社科基金优秀成果奖。
  • 论文《概率语义与句子结构》获中国社科院哲学所2001年优秀科研成果优秀奖。
  • 论文《The Relational Probability Semantics for Belief Revision》获广东省首届哲学社会科学优秀成果奖论文类三等奖(第一作者)(粤府证[2005]233-1,证书号:2005-B-3-G01-137)

 

代表性论文: 

2010年
●《Topics on Dynamic Epistemic Logic》, Sun Yat-sen University Press. 2010年3月

 

●《A Logic LU for Understanding》,第一作者,Frontiers of Philosophy in China, Higher Education Press and Springer,2010年第1期,第142-153页。
●《一个刻画理解、知识与信念的逻辑UKB》,载《中国分析哲学2009》(论文集),第81-99页,浙江大学出版社,2010年6月。

2009年
●《A Conditional System for Generated Update Semantics》,逻辑学研究,2009年第3期,第1-11页。
●《一个刻画理解的认知逻辑》,第一作者,西南大学学报(社会科学版),2009年第5期,第66-70页。
●《再论什么是逻辑》,独著,社会科学战线,2009年第6期,第63-67页。
●《一个刻画强否定的模态系统及其性质》,第一作者,厦门大学学报(哲学社会科学版),2009年第1期,第98-105页。

 

2008年
●《Update Semantics for Epistemic Systems and Conditional Systems》. Mind and Computation [J/OL], 2:74-135, 2008. 
●《一个适于更新语义的涉景条件句逻辑》,第一作者,暨南大学学报(自然科学与医学版),2008年第3期,第243-248页。
●《刻画动态否定的逻辑》,中山大学学报(社会科学版),2008年第2期,第106-111页。

 

2007年 
●《Logics for Knowing an Action》. Mind and Computation [J/OL], 1:1-45, 2007. 
●《Logics Characterizing an Agent Having Intelligence》. Mind and Computation [J/OL], 2:62-84, 2007. 
●《Plausibility, necessity and identity: A logic of relative plausibility》,第1排名。Frontiers of Philosophy in China, Higher Education Press (高等教育出版社) and Springer, 2007年第4期,第629-644页.
●《以目的与背景知识为双条件的逻辑AKC》,西南大学学报(社科版),2007年第3期,第95-101页。

 

2006年 
●《认知动态逻辑的几个应用》, (修改稿) 独著,电子期刊《逻辑与认知》,2006年第1期。
●《几类刻画主体的逻辑》, (修改稿) 独著,电子期刊《逻辑与认知》,2006年第2期。
●《他连A都知道--认知逻辑EK1-EK3》, (修改稿) 独著,《现代哲学》,2006年第1期。
●《A Logic for Believing an Agent》,(修改稿) 独著,《哲学动态》,2006年逻辑学增刊。
●《Logic of primary-conditionals and secondary-conditionals》,第2排名。Frontiers of Philosophy in China, Higher Education Press (高等教育出版社) and Springer,2006年第4期,第710-725页。

 

2005年
●《对动作的认知》,第2排名,《湖南科技大学学报》社会科学版,2005年第6期。
●《加标动态逻辑及其若干应用》,(修改稿) 独著,《哲学动态》,2005年逻辑学增刊。
●《研究报告2005》,(修改稿) 独著,电子期刊《逻辑与认知》,2005年第4期。
●《三类知道活动的逻辑》,(修改稿) 独著,电子期刊《逻辑与认知》,2005年第3期。
●《我知道你――知道主体的逻辑》, (修改稿) 独著,电子期刊《逻辑与认知》, 2005年第2期
●《欺骗与自我欺骗》,(修改稿)独著,电子期刊《逻辑与认知》,2005年第1期。
●《动态认知条件句逻辑DEC2》,(修改稿) (英文版) 独著,电子期刊《逻辑与认知》,2005年第1期。

 

2004年 
●《极小条件句逻辑》, 独著,《湖南科技大学学报》社会科学版,2004年第3期。
●《动态认知条件句逻辑DEC1》,(修改稿) 独著,电子期刊《逻辑与认知》,2004年第4期。
●《双结果条件句逻辑》, (修改稿) 第1排名,电子期刊《逻辑与认知》,2004年第4期。
●《主次条件句逻辑》, 第2排名,电子期刊《逻辑与认知》,2004年第3期。
●《模态逻辑的诸后承关系之比较》,电子期刊《逻辑与认知》,2004年第1期。
●《命题型的择类语义与主次条件句逻辑》第1排名,《哲学动态》,2004年逻辑学增刊。
●《模态系统的推理规则的强弱虚实》,《现代哲学》,2004年第4期。

 

2003年
●《论逻辑语义》,《哲学研究》,2003年第7期。
●《概率语义与蕴涵系统》,《中山大学学报》,2003年逻辑与认知专刊。
●《The Relational Probability Semantics for Belief Revision》, 第1排名, Social Sciences in China, Autumn 2003,Vol.XXIV,No.3.

 

2000年
●《概率语义与句子系统》,《哲学研究》,2000年第4期。
●《目前我国逻辑学研究的几个误区》,《自然辩证法研究》,2000年增刊。
●《沈有鼎论纯逻辑》,《摹物求比》,社科文献出版社2000年2月。

 

1993-1998年
●《用带测度的可能世界语义学解释一归纳认知逻辑》,《自然辩证法研究》,93年2期。
●《协调性质与无穷逻辑几个公理化系统的完全性》,《哲学研究》,93年增刊。
●《无穷逻辑与LS定理》, 《理有固然》,社科文献出版社,95年8月。
●《条件句逻辑新探》, 《理有固然》,社科文献出版社,95年8月。
●《条件句逻辑诸语义学之比较》,《自然辩证法研究》,95年增刊。
●《浅析有序合取与有序析取》,《哲学研究》,95年增刊。
●《模型的美和美的模型》, 《美学与文艺学研究》第4辑 首都师范大学出版社,97年12月
●《对策语义与深无穷逻辑》, 逻辑今探》,社科文献出版社,99年1月。
●《赖欣巴哈论归纳法的辩护》,《北方论丛》,96年第2期。
●《何谓现代归纳逻辑》,《哲学研究》,96年第9期。
●《BF-方法与无穷逻辑》,《自然辩证法研究》,96年增刊。
●《无穷逻辑简史》,《自然辩证法研究》,97年增刊。
●《什么是逻辑?》,《哲学研究》,97年第10期。
●《沈有鼎与直观与逻辑》,《哲学研究》,98年增刊。
●《虚拟条件句逻辑的恰当性》,《自然辩证法研究》,98年增刊。

 

尚未发表的文章

● 心、心态与心动 (updated)
一个匹配生成更新语义的条件句系统
● Relative Knowledge and Update Semantics
● 一个刻画理解、知识与信念的逻辑UKB
● 一个刻画理解的认知系统
● An Epistemic Logic Characterizing Understanding
● Understanding can be represented by knowledge (updated)
● A Conditional System for Generated Update Semantics (updated)
● A Conditional System for Generated Update Semantics
● A dynamic logic for generated update semantics
● Epistemic logics for generated update semantics
● A doxastic logic for generated update semantics
● Topics on Dynamic Epistemic Logic-2008 (updated)
● Strengthening and weakening of modal operators 
● Two new kinds of negation
● A Logic of Background-involved Conditionals 
for Update Semantics –Ⅱ
 (updated)
● A Logic of Background-involved Conditionals 
for Update Semantics –Ⅰ
 (updated)
● A relative plausibility logic for update semantics (updated)
● A conditional logic with primary-conditional and 
secondary-conditional for update semantics
 (updated)
● A conditional logic for update semantics – Ⅷ
● A minimum conditional logic for update semantics – Ⅶ (updated)
● A minimum conditional logic for update semantics – Ⅵ (updated)
● A minimum conditional logic for update semantics – Ⅴ (updated)
● A conditional logic for update semantics – Ⅳ (updated)
● A conditional logic for update semantics – Ⅲ (updated)
● A conditional logic for update semantics –Ⅱ (updated)
● A conditional logic for update semantics –Ⅰ (updated)
● An epistemic logic for update semantics – Ⅴ
● An epistemic logic for update semantics – Ⅳ
● An epistemic logic for update semantics – Ⅲ (updated)
● An epistemic logic for update semantics –Ⅱ (updated)
● An epistemic logic for update semantics –Ⅰ (updated)
● Logics of dynamic conditionals -Ⅰ (updated)
● Logics of dynamic conditionals –Ⅱ (updated)
● Dynamic Negation (updated)
● Logics for being doing an action
● Dynamic Conditional Logics
● Logics for intending to perform an action (updated)
● A Logic KIse characterizing knowing individuals
● A Logic KIe characterizing knowing an individual
● A Logic KI characterizing knowing an individual
● A Logic KP for knowing a relation
● A regular dynamic logic SIRPAO of having performed actions on objects
● A regular dynamic logic REAO of having performed actions on objects
● A regular dynamic logic RPA of having performed actions (updated)
● Logics for knowing modalities
● Logics for cognizing a cognitive concept (updated)
● A Logic HICCA comparing cognitive abilities 
● Logics for deception
● Dynamic Epistemic Process Logics DEP1- DEP2 
(Salzburg Process Philosophy Conference July 2006)
● 认知对象的多样性
● 一个刻画相对知识和相对信念的逻辑
● Relation probability semantics for epistemic logic

 

出版专(译)著: 

一、专著:

 

  1. 《现代归纳逻辑与概率逻辑》,科学出版社,1992年12月
  2. 《无穷逻辑》(上),社科文献出版社,1996年10月
  3. 《无穷逻辑》(下),社科文献出版社,1998年10月
  4. 《条件句逻辑》,人民出版社, 2003年8月
  5. 《模态逻辑讲义》,中山大学出版社,2005年9月 
  6. 《数理逻辑讲义》,中山大学出版社,2005年9月 
  7. 《人工智能逻辑讲义》,中山大学出版社,2005年9月
  8. Topics on Dynamic Epistemic Logic , Sun Yat-sen University Press, 2010.3

 

二、译著《对逻辑的思考》,辽宁教育出版社/牛津大学出版社,1998年11月 三、合著

 

  1. 《新逻辑教程》,北京大学出版社,92年9月
  2. 《逻辑学》,人民出版社1998年6月
  3. 《哲学逻辑研究》,社科文献出版社1997年5月
  4. 《方法论全书》(I),南京大学出版社2000年3月
  5. 《逻辑哲学九章》,江苏人民出版社,2004年11月,李小五撰写其中的第一章《什么是逻辑》和第九章《逻辑与人工智能》。

 

科研项目: 

目前参加的集体科研项目

 

  • 教育部哲学社会科学研究重大课题攻关项目《基于自然语言的知识表达与推理系统研究》(04JZD0006)

 

目前主持的集体科研项目

 

  • 2008-2010年国家社科基金项目《更新语义与动态认知逻辑研究》(08BZX050)
  • 教育部基地重大项目《归纳逻辑及其应用》(05JJD720.40001)

 

已经完成的集体科研项目

● 中国社会科学院2000-2005年重大项目:《逻辑与哲学、语言学、人工智能的关系》。本人承担其中的子项目:《人工智能逻辑》。 

● 国家社会科学基金项目2002-2005年项目《逻辑与哲学、语言学、人工智能的关系》。

讲授课程: 

 

2009年
模态逻辑
:本科逻辑班,80课时。
使用教材是李小五编写的《Course in Modal Logic-2008》(2008版)
动态认知专题研究:硕博士班,60课时。
使用教材是李小五编写的《Topics on Dynamic Epistemic Logic》(2010) 第9章.

2008年
模态逻辑
:本科逻辑班和硕博士班,80课时。
使用教材是李小五编写的《Course in Modal Logic-2008》(2008版)
模态逻辑专题研究:硕博士班,60课时。
使用教材是H. van Ditmarsch, W. van der Hoek和 B. Kooi的《Dynamic Epistemic Logic》(2007).

2007年
模态逻辑:本科逻辑班和硕博士班,80课时。
使用教材是李小五编写的《A Course in Modal Logic》(2007版)
动态认知逻辑专题研究:硕博士班,60课时。
使用教材是李小五编写的《Monographic Study on Dynamic Epistemic Logic》(updated) (2007版). Chapter 10 Self-deception and Deception

2006年
模态逻辑:硕士班,80课时。使用教材是李小五编写的《模态逻辑讲义》(2006版)
人工智能的哲学:硕博士班,60课时。

2005年
模态逻辑
:本科逻辑班和硕博士班分别上两次,共160课时。
广义模态逻辑:硕博士班,60课时。
人工智能逻辑:硕博士班,60课时。

2004年
模态逻辑
:本科逻辑班和硕博士班分别上两次,共160课时。
博弈逻辑:硕博士班,60课时。
人工智能逻辑:硕博士班,60课时。

2003年
模态逻辑
:本科逻辑班和硕博士班分别上两次,共160课时。
人工智能逻辑:本科逻辑班和博士,60课时。
数理逻辑:本科逻辑班和硕博士班分别上两次,共160课时。

2002年
数理逻辑
:80学时 授课主要对象 中山大学逻辑专业本科生
人工智能逻辑:60学时 授课主要对象 中山大学专业博、硕士生。

2001年
模态逻辑
: 60学时 授课主要对象 北京大学逻辑专业硕士生。 1999年:
数理逻辑: 60学时 授课主要对象 中国社科院逻辑专业博士生。