关系命题的语形和语义--一个逻辑分析的实例

摘要：

当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达和理解这类命题的含义以及它们之间的关系?这是现代逻辑必须研究和解决的问题.可以运用一阶逻辑工具及其解释的方法,分析该类命题的语形和语义,揭示不同量词在关系命题中位置变化的规律,对关系命题相应的普效武、可满足式给出严格的证明,从而提供一个逻辑分析实例.

关键词：关系命题、谓词公式、全称量词、存在量词、解释

所属期刊栏目：7

分类号：B812(逻辑学(论理学))

在线出版日期：2004-06-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：19-22