我省逻辑学研究所在毕节学院揭牌 
http://gzrb.gog.com.cn/system/2007/06/27/010077082.shtml
http://www.gog.com.cn　 07-06-27 08:10 　 
  金黔在线－贵州日报  
　　金黔在线讯 6月6日，我省首家“逻辑与应用逻辑研究所”在毕节学院正式揭牌。中国逻辑学会副会长、中国人民大学博士生导师赵总宽教授，中国现代逻辑研究会理事、河南大学硕士生导师李振江教授，贵州大学硕士生导师汪学明教授及毕节学院院长张学立博士等出席揭牌仪式。毕节学院特聘赵总宽、李振江、汪学明3位教授为“逻辑与应用逻辑研究所”兼职教授。
 

这没有什么奇怪的。也许院长张学立博士就是逻辑学出身，赵总宽是他的导师？李振江、汪学明与他曾经是同学？一所大学要办得有特色，不一定要面面俱到。如果逻辑学不是贵大的强项，何必硬拦这个活??

张学立 哲学博士，教授，硕士生导师，毕节学院院长。男，彝族，1964年5月生，贵州大方县人，中共党员，中国逻辑学会会员，贵州彝学研究会副会长，毕节学院学术委员会主任委员，毕节学院学报主编。 

1996年7月毕业于西南师范大学经济政法学院政治系逻辑学专业，获哲学硕士学位；1999年7月毕业于南开大学人文学院哲学系逻辑学专业，获哲学博士学位，同年被分配到中共贵州省委办公厅秘书一处工作；2002年8月任黔南民族师范学院党委委员、副院长；2005年12月任毕节学院党委副书记、院长。 

（其间，2002年12月破格评聘为副教授，2004年12月破格评聘为教授，2004年2月起任贵州大学逻辑学专业硕士生导师；2003年8-9月在国家高级教育行政学院高校领导干部进修班学习高等教育管理，2004年6-7月赴德国、法国、比利时等国学习现代公共管理）。主要研究方向为逻辑学、西方哲学??

贵州大学逻辑学专业硕士研究生授权点 
基本情况

http://times.gzit.edu.cn/gzzy/ljssd.htm
专 业 及 代 码：逻辑学（010104）

一级学科及代码：哲学（0101）

一、所在单位： 贵州大学 联系电话：0851-3621900、4730570

二、地址：550025 贵阳市花溪 贵州大学（北区）

三、培养目标：

本专业培养具有正确的政治方向、良好的品德和学风、坚定的辩证唯物论哲学思想、较扎实较宽广的理论基础和综合素质，掌握系统的逻辑学专业知识，毕业后能从事逻辑学教学和研究工作以及应用实践的高级专门人才。

要求硕士研究生系统掌握逻辑学的基础知识和相关学科知识，对现代逻辑、当代逻辑基本理论和中外逻辑史有较扎实的专业知识；了解逻辑学的发展趋势；有以实事求是的辩证唯物论逻辑客体说思想为学术主导思想，独立从事逻辑学研究的能力；能提出自己的新见解；较为熟练地掌握一门外国语，能阅读、检索本专业的外文资料。

 

四、主要研究方向：

1. 普通逻辑及其当代发展研究；

2. 逻辑史研究；

3. 逻辑应用研究；

4. 量论因明与西方逻辑。

五、导师：龚启荣 张连顺 张学立 姚凯科 等，有共15位教师。其中，教授9人，副教授6人。

六、研究的特点：

1．这个点的研究有区别于同行的另一种思路，而且已经取得了显著成果。为了发展本学科，国内的研究大致有两种不同的做法：一种是采取用数理逻辑改造形式逻辑的做法（通常称为“改造论”或“统帅论”）；另一种是采用数理逻辑取代形式逻辑的做法(通常称为“取代论”)。这个点的研究路线则是：始终坚持形式逻辑深刻正确的主导思想，充分继承其久盛不衰的理论成果，在不背离其主导思想从而不会发展成为数学的一部分的先决条件下，用数学作为研究工具，解决形式逻辑在形式化、演算技巧上陈旧简陋的弊病，尽力廓清笼罩在它身上的朦胧的历史迷雾，实现形式逻辑的真正发展。

2．在语义、语构、语用方面，这个点有区别于思维说(认为逻辑研究思维)、符号说(认为逻辑研究泛指自然语言和人工语言的符号)的思路。这个点继承了先贤韩非子关于逻辑研究对象是客观世界的逻辑结构和逻辑规律的思路，提出了崭新的逻辑客体说新思想。这个点认为形式逻辑研究以客观事件间客观的充分条件关系为核心的客观世界的逻辑结构和逻辑规律。这个点有自己的语义学、语构学和语用学思想。

3．鉴于上述两条, 这个点发现形式逻辑两千三百多年来理论上的弊端:⑴唯心论的内容较多;⑵一系列重要逻辑术语规定不清楚;⑶将直言命题完全处理成外延命题，被不可知论钻了空子；⑷直言命题作为“命题形式”存在种种理论上的问题；⑸语义、语构、语用混沌杂糅，互相牵制；⑹将非推理有效式误当作推理式；⑺用手工方式收集的推理式太少；等等。因而，这个点可研究的课题是大面积的，而且极富应用价值。

4.十多年来，这个点致力于学科的发展研究，并取得了突出成绩。1997年获省政府奖的著作《形式逻辑导引》和其他在国内外发表的论文反映出这个硕士点的明显特色。

5.鉴于人工智能的研究成功将使国家经济、军事实力发生质的飞跃，近十多年来，这个点较为集中地研究发展了的形式逻辑在人工智能中的应用理论。项目“客体逻辑在人工智能中的应用理论”经贵州省科委组织省外同行专家鉴定认为“一些研究结果居国际领先地位。”国际联机检索证明：国内外皆无同类研究。

6.十多年来，这个点在逻辑与计算机方面的研究取得了突出成绩。姚凯科副教授1997年以来获贵州省科技进步奖项目“中、高频感应加热设备的自控系统研制”、“FANUC-220A数控机床的计算机改造”、“逻辑实验器的研制开发”等科技成果，经专家委员会鉴定，达到“省内领先，国内先进”水平。

7.龚启荣教授在国际最高规格的逻辑杂志《符号逻辑杂志》(美国，1992年第1期第57卷)发表论文Entailment Logic and Knowledge Representation。本学科梯队成员完成了较多的高规格科研项目并发表了论文。这些成果表明本梯队科研能力较强。

贵州制约逻辑学会简介 返回主页


制约逻辑(Lin’s Entailment logic)是我们中国人于1968年创立的崭新逻辑科学体系,被称为现代数学新领域,创立者为北京市政协委员、贵州制约逻辑学会名誉会长林邦瑾教授，其45万字的专著《制约逻辑》1985年在贵州人民出版社出版社。贵州学者自1983年与林邦瑾教授开始学术交往以来，便从事制约逻辑及其应用理论的研究。

鉴于国际学术界已敏锐地确认了制约逻辑在计算机科学发展中的重要意义，一些发达国家正采取有力措施开展对制约逻辑在人工智能中的应用研究，一场激烈的国际竞争业已摆在我国逻辑科学及相关科学的学者面前，因而，组织并建立制约逻辑学术组织显得十分紧迫和必要。在贵州省科协和贵州省社科联的大力支持下，一个跨文、理、工科的综合性学术组织——贵州制约逻辑学会于1990年8月16日在贵阳正式成立。贵州省副省长龚贤永对制约逻辑学会的成立给予了热情关怀和支持。原省顾委副主任申云甫、吕传汉，理事长龚启荣，副理事长杨黔福、蒋学锋、周马利、李国富，秘书长何国玺，学术委员会主任蒋学锋（兼）。现有省内外个人委员300余人，团体会员2个。

制约逻辑学会的宗旨是：在马列主义****思想邓小平理论、党的四项基本原则和“双百”方针指引下，积极动员和组织各地各方面的专家学者开展对制约逻辑及其应用的研究，交流学术成果，发展和繁荣逻辑科学及相关科学，为实现伟大祖国社会主义现代化，为振兴家乡贵州贡献力量。

学会挂靠单位有：贵州大学、贵州师范大学。学会办公地址在贵州大学。

学会负责人1986年和1987年在出席中共中央办公厅委托国家科委、电子工业部、清华大学、中国计算机行业协会先后在清华大学召开的全国第一、二次高层次研讨会期间，敏锐地看到制约逻辑会对计算机科学、人工智能学、哲学、数学、语言学、科学方法论等产生重要影响，因此，便迅速地集中开展对制约逻辑及其应用理论的研究。迄今为止，完成国家和省级科研课题10余项，在国外发表论文40余篇，其中发表在《符号逻辑杂志》（美国）的2篇，出版著作8部，受到国际逻辑、科学哲学和科学方法讨论会、世界哲学大会等10余次国际重要学术会议邀请共50多人次并发表论文。“制约逻辑在人工智能中的应用理论研究”、“定罪量刑参考系统DZLX”等课题经省内外同行专家鉴定并借助国际联机检索证明“居国际领先地位”或“达到世界先进水平”。

《贵州省社科志.概述》以及省内外专家对贵州制约逻辑学会的工作给予了充分肯定：“60年代后期创立的制约逻辑，从80年代中期起在贵州迅速兴起，一枝独秀，在国内外产生了一定影响。”（转引自《社科新视野》1999年第1期）

通讯地址：贵阳市花溪贵州大学（北区）

电话：0851-3623957 3621900
 
http://times.gzit.edu.cn/gzzy/zyljxhjj.htm

真不愧是搞新闻专业的（？），要什么背景资料随手拈来。

在《贵州大学逻辑学专业硕士研究生授权点 基本情况 》第七条：龚启荣教授在国际最高规格的逻辑杂志《符号逻辑杂志》(美国，1992年第1期第57卷)发表论文Entailment Logic and Knowledge Representation。
笔者google了一下，即找到该杂志The Journal of Symbolic Logic 1992年第1期第57卷( Vol 57. Number 1, March 1992.) 
(http://www.informatik.unitrier.de/~ley/db/journals/jsyml/jsyml57.html),以及该年度其余三期，均未见该篇文章。 不知该基本情况中的这一条是否属实？当然这不是心贵梦缘的责任。倒是龚教授有责任予以核实??

刚才所附网址因将括号及标点也连带进去了所以连不到。请点击下列网址：
http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml57.html

5楼提供的《贵州大学逻辑学专业硕士研究生授权点基本情况 》第7条写道：.龚启荣教授在国际最高规格的逻辑杂志《符号逻辑杂志》(美国，1992年第1期第57卷)发表论文Entailment Logic and Knowledge Representation。

因本人孤陋寡闻，还是第一次听到制约逻辑（Entailment Logic)，所以出于好奇就google了一下，来到下列网址：
http://www.informatik.uni-trier.de/~ley/db/journals/jsyml/jsyml57.html 
找到该杂志Journal of Symbolic Logic 1992年第1期第57卷的目录逐一搜寻，结果没有发现该文，然后又察看同年其余三期的目录，仍未见该文。

不知道这是不是一起学术不端行为？请龚教授出来澄清一下??

贵州大学乃至全国这样的事情多的去了。见怪不??

3楼对张学立的情况介绍基本正确。
忘了一点。张学立高中毕业于大方一中，后入毕节师专。师专毕业后曾回大方教过几年书，后来考取研究生。再后来就如3楼所说。
学立大哥共有二弟一妹。
我与其二弟很熟，与其三弟私交很深。
学立大哥回到了毕节，他们全家就在毕节团聚了。
祝贺??