【摘 要】
：
GAG与Gaa是关于概称句推理的逻辑系统.概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句词项逻辑语言的特点.涵义语
【机 构】
：
深圳大学人文学院哲学系,北京大学哲学系
【基金项目】
：
国家社科基金重大项目“基于多学科视域的认知研究”12＆ZD119.
论文部分内容阅读
GAG与Gaa是关于概称句推理的逻辑系统.概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句词项逻辑语言的特点.涵义语义是用于概称句词项逻辑语言的形式语义.在涵义语义下GAG与Gaa是可靠的,但是完全性证明一直空缺.通过完全性证明,发现有必要对原来的涵义语义做一些补充和完善,为此提出涵义语义结构的一般形式,进而给出全涵义结构和实涵义结构.原来的语义结构实际上是全涵义结构.完全性证明需要使用实涵义结构.实涵义结构的框架部分与解释函数有关,因而不完全独立于被
其他文献
女人香，解压又护肤 上世纪以来，香水就是女人的专宠。随着时间的流逝，这种古老神秘的气味，升华成为身、心、灵三者合一的艺术。而今爱美的女人更将这种精致发挥到极致，不仅把它用作止汗和遮蔽体味，还增加了舒缓解压的神奇功效。 很早以前，人们就学会用芳香疗法来改善身体状况，调整我们全身平衡。香味有着神奇的超自然的力量，从鼻子吸进体内的香气会刺激我们的自律神经，安定全身的生理机能，使身体恢复正常的状态
“夫衣，天下之本也。”几千年来，“三农”问题一直是关乎国家兴衰的头等大事。新中国成立以来，历经六十余载的艰辛坎坷，具有中国特色的“三农”发展取得了令世人瞩目的成就。在不
回顾近年来中国金融市场的风起云涌,我们会发现从没有哪一项金融业务的发展,能够像＂非标＂一样,将各种矛盾的评价集于一身。爱之者,将其奉为金融创新活跃的标杆;恨之者,将其斥为
指甲的修饰同心灵的修饰一样的重要．是一种内在美的外在表现。不同风格的甲妆会给人不同的印象，尤其是OL，要想在职场上和同事打成一片，在情场上不输于人，就要特别留意自己的指甲ST
近年来，我国经济金融形势日趋复杂，相继发生的温州、鄂尔多斯等高利贷资金链断裂以及沸沸扬扬的货币市场“钱荒”风波等突发事件，揭开了关系错综复杂、形式隐蔽多样的非银行信贷
改革开放以来，我国经济建设取得了举世瞩目的成就，人民生活水平不断提高，但是依然存在相当数量的贫困地区和贫困人口。按照新的扶贫标准，2011年底我国贫困人口仍有1．22亿，占农村户