命题的一个新定义与命题的同一性问题

发布时间：2017-09-03 08:30

  本文关键词：命题的一个新定义与命题的同一性问题

  更多相关文章： 命题 命题的定义 命题的同一性 命题的形式 命题的符号化

【摘要】：命题曾被定义为某些句子,但句子没有固定的真值。命题曾被定义为句子的意义,但"意义"这个概念并不比"命题"更清晰。还原论把命题定义为一种由可能世界、可能的个体等组成的集合论性的构造物,但这种理论意味着全部的逻辑真理表达的是同一个命题。命题曾被定义为是一些态度(如相信)的对象和真值的承担者;就是说,命题是由它与其他对象(如人,真值)的关系来定义的;这种定义使人们有理由怀疑命题是否真正存在,抑或是态度主体(人)的一种幻觉?命题的内容可以千变万化,但命题的内容却有共同的形式,不仅命题逻辑、一阶逻辑所表达的命题,而且二阶逻辑等高阶逻辑、非经典逻辑的命题,都能纳入这种形式。根据这一点我们提出了一个新的对命题的定义。这样定义的"命题"概念更加清晰,能让我们解决命题的同一性问题。
【作者单位】： 云南大学;
【关键词】： 命题 命题的定义 命题的同一性 命题的形式 命题的符号化
【分类号】：B812.22
【正文快照】：

【参考文献】

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

1 周文华;;一个新的解决乌鸦悖论的方案[J];自然辩证法通讯;2015年05期

2 周文华;;句子指称的模型事实论[J];学术探索;2012年03期

【共引文献】

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

1 周文华;;命题的一个新定义与命题的同一性问题[J];云南大学学报(社会科学版);2016年04期

【二级参考文献】

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

1 朱志方;;亨普尔的归纳悖论[J];华中科技大学学报(社会科学版);2010年02期

2 顿新国;;确证悖论的贝叶斯型解决方案探析[J];科学技术与辩证法;2007年01期

【相似文献】

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

1 陈志美,胡泽洪;斯多葛学派的命题逻辑系统及其不完全性[J];华南师范大学学报(社会科学版);2001年01期

2 滕定明;;命题逻辑在语用研究中的应用[J];河北理工大学学报(社会科学版);2008年03期

3 金樊;;推理有效性的判定方法及其特点比较——以命题逻辑为例[J];长春工程学院学报(社会科学版);2010年02期

4 张胜礼;;中介命题逻辑一种改进的无穷值语义模型[J];兴义民族师范学院学报;2011年01期

5 郝玲;;命题逻辑的推理方法[J];山西财经大学学报;2012年S1期

6 薛彩霞;;非形式化的命题逻辑和谓词逻辑有效性判定方法之比较分析[J];才智;2012年22期

7 张建成;苏连塔;;命题逻辑系统理论(广义)根性质及应用[J];山东大学学报(工学版);2013年04期

8 陶景侃;;法律命题逻辑的元逻辑[J];兰州大学学报;1988年03期

9 陶景侃;用法律的观点评价现代规范逻辑[J];兰州学刊;1997年03期

10 朱小阳;;联言命题逻辑值的真与语义的恰当之关系探析[J];江西社会科学;2006年01期

中国重要会议论文全文数据库 前9条

1 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年

2 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

3 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年

4 吴坚;;关于假言命题的真假问题的思考[A];1998年逻辑研究专辑[C];1998年

5 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

6 戴细华;;逻辑系统中的语义博弈[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

7 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年

8 张清宇;;极小的弗协调U、S时态命题逻辑[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 莫绍揆;;传统逻辑与数理逻辑[A];逻辑学文集[C];1978年

中国重要报纸全文数据库 前1条

1 佟芳;首届生命基因高峰论坛举行[N];科技日报;2009年

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

1 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

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

1 侯丽平;基本命题逻辑模型类的可定义性研究[D];西南大学;2015年

2 邓鹏;命题逻辑中子句集的分类研究[D];西南交通大学;2015年

3 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

4 刘小山;基本命题逻辑的模态扩张[D];西南大学;2014年

5 黄冲;组合优化中的命题逻辑[D];华中科技大学;2011年

6 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

7 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

8 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

9 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

10 杨状;命题逻辑假说扩充生成算法及其应用研究[D];大连海事大学;2014年

，

本文编号：783951