试析作为理论分析工具的现代逻辑

发布时间：2017-06-24 22:13

  本文关键词：试析作为理论分析工具的现代逻辑，由笔耕文化传播整理发布。

【摘要】：一阶逻辑通过形式刻画揭示语言内含的认知信息以分析刻画推理的演绎必然性,模态逻辑注重分析刻画与概念实质内容相关的内涵特征,扩展的动态模态逻辑则使主体间认知互动过程中交流信息的分析刻画成为可能。探讨现代逻辑由一阶逻辑、模态逻辑到扩展模态逻辑的理论进程,分析说明其形式刻画和推理认知表达功能如何使之具有理论模型构建与理论模型结构可靠性分析等多元理论价值,将有助于厘清语言、理论与认知的关联,有助于理解认知能动性与理论客观性之间的关系,启发我们思考如何推动哲学理论研究的进步以适应科学技术与理论高速发展的时代需求。
【作者单位】： 西南大学逻辑与智能研究中心;西悉尼大学人工智能实验室;
【关键词】： 认知信息 语义模型 逻辑刻画
【基金】：西南大学人文社会科学重要研究项目“中国社会转型下群体理性认知的逻辑分析及实证建模研究”(12XD-SKZ003)阶段性成果
【分类号】：B812
【正文快照】： 科学理论运用特定语言实现对客观对象及其规律的阐释。科学发展史证明,合理的语言构建将推动理论发展,而理论语言的内在结构缺陷则会制约理论进步,因而寻求合适的语言构建是对研究对象及其规律做出正确解释的必要前提。对此维特根斯坦有一段经典的描述:“凡是可以说的东西都可

【共引文献】

中国期刊全文数据库 前5条

1 徐康;;公开宣告逻辑研究现状[J];毕节学院学报;2012年02期

2 刘江;;范畴化理论研究转变的动因分析——基于语言学史两线之争实质的视角[J];大连大学学报;2013年04期

3 白君礼;胡静峰;;思想性:图书馆学研究的核心[J];高校图书馆工作;2014年04期

4 吴一迪;;研究意义理论的三种进路——论伊莱休·卡茨对第三种研究进路的构建[J];河南科技大学学报(社会科学版);2014年04期

5 张梦娇;姚浩然;;人格化家具设计模糊评价体系的研究[J];家具与室内装饰;2014年08期

中国博士学位论文全文数据库 前1条

1 孙雯;防策略投票理论的逻辑研究[D];南开大学;2013年

中国硕士学位论文全文数据库 前5条

1 金玉;信念算子运算的语义解释研究[D];大连海事大学;2009年

2 罗皓;从弗雷格、罗素到斯特劳森[D];湖南师范大学;2014年

3 丁雪;弗雷格概念理论研究[D];河北大学;2014年

4 郝若飞;克里普克名称理论研究[D];河北大学;2014年

5 邱明珍;何谓“真”[D];华东师范大学;2014年

  本文关键词：试析作为理论分析工具的现代逻辑，由笔耕文化传播整理发布。

，

本文编号：479712