-
题名命题的一个新定义与命题的同一性问题
被引量：2
- 1
-
-
作者
周文华
-
机构
云南大学
-
出处
《云南大学学报（社会科学版）》
北大核心
2016年第4期49-55,共7页
-
文摘
命题曾被定义为某些句子,但句子没有固定的真值。命题曾被定义为句子的意义,但"意义"这个概念并不比"命题"更清晰。还原论把命题定义为一种由可能世界、可能的个体等组成的集合论性的构造物,但这种理论意味着全部的逻辑真理表达的是同一个命题。命题曾被定义为是一些态度(如相信)的对象和真值的承担者;就是说,命题是由它与其他对象(如人,真值)的关系来定义的;这种定义使人们有理由怀疑命题是否真正存在,抑或是态度主体(人)的一种幻觉?命题的内容可以千变万化,但命题的内容却有共同的形式,不仅命题逻辑、一阶逻辑所表达的命题,而且二阶逻辑等高阶逻辑、非经典逻辑的命题,都能纳入这种形式。根据这一点我们提出了一个新的对命题的定义。这样定义的"命题"概念更加清晰,能让我们解决命题的同一性问题。
-
关键词
命题
命题的定义
命题的同一性
命题的形式
命题的符号化
-
Keywords
proposition
definition of proposition
identity of propositions
form of proposition
symbolization of proposition
-
分类号
B812.22
[哲学宗教—逻辑学]
-
-
题名命题形式与命题的符号化
被引量：1
- 2
-
-
作者
吴坚
-
机构
首都经济贸易大学人文学院
-
出处
《北京理工大学学报（社会科学版）》
CSSCI
2008年第1期25-29,共5页
-
文摘
命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入,导致了命题的符号化和命题形式之间的相对分离,使命题形式已不能简单地等同于命题的符号化。命题的符号化可以借助非逻辑常项实现,但纯命题形式不包含非逻辑常项,在纯形式推演中也没有真正意义上的非逻辑常项。
-
关键词
命题形式
命题的符号化
变项
常项
-
Keywords
propositional form
symbolization of proposition
variable
constant
-
分类号
B81
[哲学宗教—逻辑学]
-
