您正在查看 "默认分类" 分类下的文章
2008-05-23 08:58
〖最新通知〗 由于客观原因，经大会组委会研究决定：原定于2008年5月28－31日在贵阳市举办的第4届全国性逻辑系统、智能科学与信息科学学术会议(CLSISIT 2008)将延期至2008年10月31日至11月2日在贵阳市举行，报送参加会议交流的论文最后截稿日期顺延至2008年10月15日。会议地点和原定会议内容不变，征文要求和发送地址（xmwang1965@163.com）不变,欢迎广大科技工作者继续踊跃 |
2008-01-28 17:27
2008-01-14 10:12
2007-12-05 02:50
制约关系就是刻划清楚后的充分条件关系。制约关系事实上构成了普通逻辑思考中可据以进行不循环论证的推理格式的理论核心：推理式的前后件之间必定满足普遍有效的制约关系，而在前件或后件中也必定出现制约关系。故而，充分发展了的 |
2007-11-25 21:51
贵州大学新闻网讯 11月17日下午，由我校承办的第三届全国性逻辑系统专题研讨会暨贵州制约逻辑学会2007年学术年会在贵阳市花溪黔顺宾馆开幕，来自北京、天津、上海、广东、重庆、湖南、四川和我省各地近百名逻辑学专家、学者及嘉宾参加了17日下午的开幕式。
| |
2007-11-23 07:28
二千三百年前，古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑，为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初，经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力，吸收莱布尼兹的成果，建立了后来作为电子计算机理论基础的“正统数理逻辑”的观代公理系统，这是逻辑学发展史上的第二座里程碑。
1968年，中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑 |
2007-09-19 07:25
2007年6月6日下午，毕节学院“逻辑与应用逻辑研究所”揭牌仪式在艺术楼M315会议室隆重举行。中国逻辑学会副会长、北京市逻辑学会会长、中国人民大学博士生导师赵总宽教授，中国现代逻辑研究会理事、河南大学硕士生导师李振江教授，贵州大学硕士生导师汪学明教授，毕节学院院长、贵州大学逻辑学硕士生导师张学立教授，副院长梁杰研究员出席揭牌仪式，科研处、中文系相关负责人参加揭牌仪式，揭牌仪式 |
|
| 
