无穷算子和量词

发布时间：2018-06-11 17:58

  本文选题：邻域语义学 + 无穷算子　； 参考：《湖南科技大学学报(社会科学版)》2009年03期

【摘要】：笔者根据Montague、Scott等人的想法,在Segerber、Gabby和毛翊[1][2]等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学[3][4]。邻域语义学可运用于无穷算子,无穷算子也能刻画一般的量词(包括通常的全称和存在量词)。
[Abstract]:Based on the idea of Montagueen Scott et al., based on Segerberger Gabby and Mao Yi [1] [2] in the study of modal logic neighborhood semantics, a neighborhood semantics suitable for general propositional logic [3] [4] is proposed. Neighborhood semantics can be applied to infinite operators, and infinity operators can also characterize general quantifiers (including general full names and existential quantifiers).
【作者单位】： 北京大学外国哲学所;
【基金】：教育部文科基地重大研究项目《20世纪西方逻辑哲学和数学哲学》(05JJD720190)
【分类号】：B813

【共引文献】

相关期刊论文 前3条

1 陈波;现代逻辑中的哲学问题[J];北京航空航天大学学报(社会科学版);2000年02期

2 冯艳;论经典否定、直觉主义否定和弗协调否定[J];自然辩证法研究;2005年02期

3 刘壮虎;必然性的逻辑分析[J];哲学研究;2002年02期

相关会议论文 前2条

1 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

2 刘壮虎;;逻辑系统中的蕴涵[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

相关博士学位论文 前2条

1 张力锋;模态逻辑和本质主义[D];北京大学;2004年

2 张立娜;个体词的逻辑语义[D];清华大学;2007年

相关硕士学位论文 前4条

1 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年

2 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

3 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

4 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年

【相似文献】

相关期刊论文 前6条

1 刘壮虎;邻域语义学和模型完全性[J];北京大学学报(哲学社会科学版);1995年03期

2 毛翊;金岳霖百年诞辰学术讨论会逻辑组讨论纪要[J];哲学研究;1995年10期

3 郭泽深;中国逻辑学会现代逻辑研讨会综述[J];哲学动态;1999年04期

4 刘壮虎;邻域语义学与推演系统的完全性[J];哲学研究;2000年09期

5 刘壮虎;必然性的逻辑分析[J];哲学研究;2002年02期

6 王轶;许涤非;;否定的邻域语义分析[J];湖南科技大学学报(社会科学版);2007年04期

，

本文编号：2006168