命题形式与命题的符号化

发布时间：2018-05-04 23:25

本文选题：命题形式 + 命题的符号化　；参考：《北京理工大学学报(社会科学版)》2008年01期

【摘要】：命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入,导致了命题的符号化和命题形式之间的相对分离,使命题形式已不能简单地等同于命题的符号化。命题的符号化可以借助非逻辑常项实现,但纯命题形式不包含非逻辑常项,在纯形式推演中也没有真正意义上的非逻辑常项。
[Abstract]:Propositional forms are represented by symbols, but is propositional form symbolic of propositions? The answer to this question seems self-evident in traditional logic, but complicated by mathematical logic. The introduction of predicate logic of mathematical logic to the nonlogical constant term leads to the relative separation between the symbolization of propositions and the form of propositions, so that the form of propositions can no longer be equated simply with the symbolization of propositions. The symbolization of propositions can be realized by means of non-logical constant terms, but the pure propositional form does not contain non-logical constant terms, and there is no real non-logical constant term in the pure form deduction.
【作者单位】：首都经济贸易大学人文学院
【分类号】：B812

【共引文献】