一个刻画强否定的模态系统及其性质

发布时间：2018-07-18 14:40

【摘要】：否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定。所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质。例如,禁自返相对于我们的语义是模态可定义的。
[Abstract]:Negation is one of the central concepts of logic. Intuitionism portrays a strong negation with relational semantics, and here we also depict a strong negation with relational semantics. What is different is that our negation is the complement of intuitionistic negation, so the semantics and systems we give to depict strong negation have some properties which depict the semantics of intuitionism negation and the properties that the system does not have. For example, proscription semantics are modal definable relative to our semantics.
【作者单位】： 中山大学逻辑与认知研究所;厦门大学哲学系;
【基金】：国家社科基金项目“更新语义与动态认知逻辑研究”(08BZX050)
【分类号】：B81

【参考文献】

相关期刊论文 前1条

1 潘世墨;逻辑的“否定”概念简析[J];哲学研究;1998年07期

【共引文献】

相关硕士学位论文 前4条

1 郝雷红;现代汉语否定副词研究[D];首都师范大学;2003年

2 杜宝莲;反问的否定功能研究[D];暨南大学;2004年

3 宋冬冬;元语言否定的认知分析[D];河北师范大学;2007年

4 李卉;论负概念[D];广西师范大学;2007年

【相似文献】

相关期刊论文 前10条

1 汤雅茹;当代俄语中第四格的“扩张”[J];外语学刊;1980年02期

2 陈平;英汉否定倾向性成分与否定语境[J];外语学刊;1982年01期

3 陈祚修;;医学英语的否定句(医学英语专题研究之二)[J];锦州医学院学报;1982年03期

4 何思成;谈“是”的语法功能[J];成都大学学报(社会科学版);1984年02期

5 蔡学举;;关于俄语否定句中的直接补语[J];外国语言文学;1985年01期

6 杨维濂;;试论科技英语中的否定及其译法[J];外语与外语教学;1985年02期

7 吴志霄;一种对称词组[J];汉语学习;1986年04期

8 光磊;浅谈英语句子中的强调[J];解放军外国语学院学报;1986年04期

9 左家宏;浅谈“曾、尝、既”在中学文言课文中的用法[J];昭通师范高等专科学校学报;1986年01期

10 何勇 ,夏宁生;句首含有否定词的句子倒装与否[J];外语教学;1986年03期

，

本文编号：2132223