学术
摘 要:
命题形式是用符号来表示的，但命题形式是不是就是命题的符号化？传统逻辑对这个问题的回答似乎是不言而喻的．但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入，导致了命题的符号化和命题形式乏间的相对分离．使命题形式已不能简单地等同于命题的符号化。命题的符号化可以借助非逻辑常项实现．但纯命题形式不包含非逻辑常项，在纯形式推演中也没有真正意义上的非逻辑常项。[著者文摘]
文章出处:
《北京理工大学学报：社会科学版》-2008年10卷1期 -25-29页
栏目信息:
分 类 号:
文献标识码:
A
文章编号:
1009-3370（2008）01-0025-05
Propositional Form and Symbolization of Proposition
WU Jian （College of Humanities Capital University of Economics and Business, Beijing 100070）
Abstract:
Propositional forms are expressed by symbols, but can propositional forms be equated with symbolization of propositions？ Traditional logic＇s answer to this question seems to be self-evident, but mathematical logic makes this question complicated. Since predicate logic of mathematical logic introduced non-logical constants, symbolization of propositions and propositional forms were relatively separated, so that proposition forms have not simply equated with symbolization of propositions.Symbolization of propositions can be achieved with the aid of logic constants, but pure propositional forms don＇ t contain non-logical constants, and there are not genuine non-logical constants in pure formal deduction.[著者文摘]
Key words:
propositional form; symbolization of proposition; variable; constant
更多>>免费文章
cqvip.com