本文選題：鄰域語義學(xué) + 無窮算子　； 參考：《湖南科技大學(xué)學(xué)報(bào)(社會科學(xué)版)》2009年03期

【摘要】：筆者根據(jù)Montague、Scott等人的想法,在Segerber、Gabby和毛翊[1][2]等人在模態(tài)邏輯鄰域語義學(xué)研究的基礎(chǔ)上,提出了適合一般命題邏輯的鄰域語義學(xué)[3][4]。鄰域語義學(xué)可運(yùn)用于無窮算子,無窮算子也能刻畫一般的量詞(包括通常的全稱和存在量詞)。
[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).
【作者單位】： 北京大學(xué)外國哲學(xué)所;
【基金】：教育部文科基地重大研究項(xiàng)目《20世紀(jì)西方邏輯哲學(xué)和數(shù)學(xué)哲學(xué)》(05JJD720190)
【分類號】：B813

【共引文獻(xiàn)】

相關(guān)期刊論文 前3條

1 陳波;現(xiàn)代邏輯中的哲學(xué)問題[J];北京航空航天大學(xué)學(xué)報(bào)(社會科學(xué)版);2000年02期

2 馮艷;論經(jīng)典否定、直覺主義否定和弗協(xié)調(diào)否定[J];自然辯證法研究;2005年02期

3 劉壯虎;必然性的邏輯分析[J];哲學(xué)研究;2002年02期

相關(guān)會議論文 前2條

1 劉壯虎;;相干邏輯的鄰域語義學(xué)[A];1995年邏輯研究專輯[C];1995年

2 劉壯虎;;邏輯系統(tǒng)中的蘊(yùn)涵[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

相關(guān)博士學(xué)位論文 前2條

1 張力鋒;模態(tài)邏輯和本質(zhì)主義[D];北京大學(xué);2004年

2 張立娜;個(gè)體詞的邏輯語義[D];清華大學(xué);2007年

相關(guān)碩士學(xué)位論文 前4條

1 夏夢;金岳霖邏輯與邏輯系統(tǒng)思想述評[D];西南師范大學(xué);2002年

2 王軼;認(rèn)知邏輯的動態(tài)化理論[D];中國人民大學(xué);2005年

3 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

4 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

【相似文獻(xiàn)】

相關(guān)期刊論文 前6條

1 劉壯虎;鄰域語義學(xué)和模型完全性[J];北京大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);1995年03期

2 毛翊;金岳霖百年誕辰學(xué)術(shù)討論會邏輯組討論紀(jì)要[J];哲學(xué)研究;1995年10期

3 郭澤深;中國邏輯學(xué)會現(xiàn)代邏輯研討會綜述[J];哲學(xué)動態(tài);1999年04期

4 劉壯虎;鄰域語義學(xué)與推演系統(tǒng)的完全性[J];哲學(xué)研究;2000年09期

5 劉壯虎;必然性的邏輯分析[J];哲學(xué)研究;2002年02期

6 王軼;許滌非;;否定的鄰域語義分析[J];湖南科技大學(xué)學(xué)報(bào)(社會科學(xué)版);2007年04期

，

本文編號：2006168