论文部分内容阅读
否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定，我们在此也用关系语义刻画一个强否定。所不同的是，我们的否定是直觉主义的否定的补，所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质。例如，禁自返相对于我们的语义是模态可定义的。
一个刻画强否定的模态系统及其性质
【摘 要】
：
否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定，我们在此也用关系语义刻画一个强否定。所不同的是，我们的否定是直觉主义的否定的补，所以我们给出的刻画强否
【机 构】
：
中山大学逻辑与认知研究所,厦门大学哲学系
【出 处】
：
厦门大学学报：哲学社会科学版
【发表日期】
：
2009年1期
【基金项目】
：
国家社科基金项目“更新语义与动态认知逻辑研究”（08BZX050）
其他文献
资产证券化作为结构性融资模式有效运行的关键在于完善其风险隔离机制。然而，美国次级抵押贷款证券化中所暴露出来的问题表明，证券化风险隔离机制并不能有效阻止次债危机的爆发
区域民俗音乐文化是我国优秀传统文化的重要组成元素,承载了中华民族的民俗传统.随着“一带一路”伟大构想渐进推动,区域民俗音乐文化有了更好的机遇:交流理念更新,文化影响
“长于抒情、拙于叙事”一直都是舞蹈最为显著的艺术特点.随着舞蹈艺术的不断发展,叙事不仅是文学故事、戏剧情节的表现手段,也是舞蹈叙事的唯一途径.如今,同样在叙事上有话
白城市属半干旱地区，十年九旱。据有关资料记载，建国50多年来，白城市春旱年份占70％，夏旱年份占70％，秋旱年份占80％。而且有些年份，春旱连夏旱，夏旱连秋旱。近几年旱情加重，降水只。有200m
俗话说“音乐无国界”,音乐可以引起世界各国人民的共鸣.在这一点上,音乐承担起了“语言”的沟通作用,其通过音响的形式,很大程度地减少了因语言不通而带来的交流(这里偏向情