他连A都知道——认知逻辑EK1-EK3

发布时间：2018-05-12 17:46

  本文选题：认知系统 + 邻域语义　； 参考：《现代哲学》2006年01期

【摘要】：首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。
[Abstract]:Firstly, we construct the cognitive system EK _ 1-EK _ 3 and give some proofs. Secondly, we introduce neighborhood semantics, give the characteristic axioms of EK1-EK3 and the frame conditions of rules, and prove that EK1-EK3 is frame reliable relative to these frame conditions. Finally, we prove that EK1-EK3 is frame complete relative to these frame conditions.
【作者单位】： 中山大学逻辑与认知研究所中山大学哲学系
【基金】：教育部哲学社会科学研究重大课题攻关项目(04JZD0006)成果之一
【分类号】：B812

【相似文献】

相关期刊论文 前10条

1 宁春岩;关于认知系统的几个假想[J];求是学刊;1986年04期

2 ;新书简介[J];外语教学与研究;1987年02期

3 韩宝育;语言符号的局限性[J];陕西师范大学学报(哲学社会科学版);1987年04期

4 E.拉兹洛;钱兆华;;现代综合哲学——系统哲学[J];世界哲学;1991年06期

5 赵成;认识系统的产生与发展初探[J];新疆大学学报(哲学人文社会科学版);1992年01期

6 杨森 ,毕明;浅论建立在需要基础上的知行统一观[J];西北师大学报(社会科学版);1993年02期

7 孙维张;论言语的理解[J];吉林大学社会科学学报;1996年03期

8 钱兆华;拉兹洛系统哲学述要[J];河南师范大学学报(哲学社会科学版);1998年06期

9 屠德雍,鲍健强;一种新的认知模型和信息加工规律[J];自然辩证法研究;1998年03期

10 张奇,周永垒;策略性学习过程探析[J];辽宁师范大学学报(社会科学版);1998年02期

相关会议论文 前10条

1 杨斌;张侃;;外部表征对人信息加工能力影响的研究[A];第三届全国人—机—环境系统工程学术会议论文集[C];1997年

2 陈慕泽;;多主体认知系统中的共同知识[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

3 Mette S.Husemoen;Bernardine Hayes;Jean J．Chu;C．Will Zhang;;天人合一——保证健康的全球文化:现代医学与传统元极医学相结合以获取健康[A];国际传统医药大会论文摘要汇编[C];2000年

4 白学军;郭罡;;对人面再认两种模型的检验:来自发展研究的证据[A];第九届全国心理学学术会议文摘选集[C];2001年

5 韩在柱;舒华;;汉语动词和名词在人脑中的表征方式:来自两例个案的证据[A];第九届全国心理学学术会议文摘选集[C];2001年

6 王瑞明;莫雷;李莹;;知觉符号系统理论探析[A];科学·认知·意识——哲学与认知科学国际研讨会文集[C];2004年

7 黄培红;;基于自然语言理解的认知系统原理与算法初探——人机对话系统算法基础与构造[A];’2004计算机应用技术交流会议论文集[C];2004年

8 陈列尊;;复杂认知模型及其对教育教学设计的指导意义[A];中国教育技术协会2004年年会论文集[C];2004年

9 李小五;;适于认知逻辑的关系概率语义(英文)[A];Proceedings of The 3rd International Conference on Logic and Cognition[C];2004年

10 王岳;;快乐舞蹈学——舞蹈教学中的愉快教育[A];中国少年儿童舞蹈论文比赛获奖作品集[C];2005年

相关重要报纸文章 前10条

1 武斌;电脑不懂性别歧视[N];中国图书商报;2000年

2 俞国良（作者系中央教科所教育心理研究室主任、教授、博士生导师）;直面基础教育的创新教育研究[N];光明日报;2001年

3 冬岩;上班族躲开职场忧郁症[N];科学时报;2001年

4 采访者 本报记者 王素梅 受访者 中国人民大学劳动人事学院副院长、教授、著名管理咨询专家 彭剑锋;中国企业文化面面谈[N];辽宁日报;2002年

5 曾志朗;大文豪为何只使用几千字？[N];中国商报;2002年

6 李炳彦;学会驾驭“战争迷雾”[N];中国国防报;2003年

7 王辉　耿建忠;从歼灭为主到控制为重[N];中国国防报;2003年

8 和君创业管理咨询公司总裁 彭剑锋;企业要讲求规则成本[N];中国国门时报;2003年

9 千龙;什么样的职业是上班族的忧郁雷区[N];中国劳动保障报;2003年

10 本报记者 李旭红;优化人才生态环境应对开放性竞争[N];市场报;2003年

相关博士学位论文 前1条

1 王栋;大学外语教师认知研究及其对教师发展的启示[D];上海外国语大学;2004年

相关硕士学位论文 前10条

1 孙厌舒;隐喻与文化——关于美国当代政治隐喻和经济隐喻的研究[D];山东师范大学;2001年

2 陈虎;英汉存现句的最简探索研究[D];解放军外国语学院;2001年

3 朱红;基于人才认知的数据挖掘研究[D];昆明理工大学;2002年

4 董志强;语义模糊初探[D];四川大学;2002年

5 吴清华;中学古典诗歌教学与中学生健全人格建构[D];福建师范大学;2003年

6 朱斐斐;对不成功语言学习者学习策略的认知研究[D];武汉理工大学;2004年

7 单春玲;数据挖掘在人才认知系统中的应用研究[D];天津财经学院;2004年

8 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

9 李丹弟;阐释话语中词的语用意义[D];东华大学;2005年

10 宋修娟;不同动作技能水平中学生内隐学习的实验研究[D];华东师范大学;2005年

，

本文编号：1879541