本文關(guān)鍵詞：巴坎公式和自由邏輯

  更多相關(guān)文章： 巴坎公式 自由邏輯 模態(tài)謂詞邏輯

【摘要】：在模態(tài)謂詞邏輯語義學(xué)構(gòu)建的過程中,巴坎公式扮演著重要的角色。以自由邏輯為基礎(chǔ)的模態(tài)謂詞邏輯是對經(jīng)典模態(tài)謂詞邏輯的改造。具有較好的柔韌性和寬容度,它可以容納經(jīng)典謂詞邏輯。用自由邏輯系統(tǒng)解讀巴坎公式,增加擴展公理和收縮公理,可以獲得常域選擇下的模態(tài)謂詞邏輯。但這種邏輯仍有謎團需要我們?nèi)セ狻?br/> 【作者單位】： 華南師范大學(xué)政治與行政學(xué)院;
【關(guān)鍵詞】： 巴坎公式 自由邏輯 模態(tài)謂詞邏輯
【基金】：教育部人文社會科學(xué)研究2008年度一般項目“模態(tài)邏輯與美國實用主義哲學(xué)研究”(08JA720010)
【分類號】：B81
【正文快照】： 一著名的巴坎公式探討模態(tài)詞和量詞之間的交互影響問題,有形形色色的處理方案和處理原則。其中最為著名的方案是美國著名的女性邏輯學(xué)家巴坎(Ruth.Bar-can.Marcus)在1946年給出的[1],巴坎給出的兩個公式被看作是解釋這兩類范疇之間交互影響的基本原則。因此,這兩個公式也就命

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 陳波;;語句的真、真的語句、真的理論體系——“truth”的三重含義辨析[J];北京大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2007年01期

2 汪亞文,李未;開放邏輯及其實現(xiàn)技術(shù)[J];北京航空航天大學(xué)學(xué)報;1992年03期

3 馮藝遠;;理解:開始與終結(jié)[J];北京教育學(xué)院學(xué)報;2005年04期

4 吳煒;分析命題和綜合命題的區(qū)分及其對真理問題的意義[J];北京郵電大學(xué)學(xué)報(社會科學(xué)版);2001年02期

5 楊建梓,曾華鋒,楊劍利;對本體論的一種闡釋[J];北京理工大學(xué)學(xué)報(社會科學(xué)版);2002年04期

6 白剛;從實踐本體化到本體實踐化[J];東岳論叢;2003年06期

7 鄭祥福;20世紀(jì)西方科學(xué)哲學(xué)發(fā)展回眸與瞻望[J];福建論壇(人文社會科學(xué)版);2002年01期

8 程仲棠;規(guī)范領(lǐng)域中的分析命題[J];廣東社會科學(xué);2002年01期

9 席酉民;井輝;曾憲聚;肖宏文;;和諧管理雙規(guī)則機制的探索性分析與驗證[J];管理學(xué)報;2006年05期

10 周建斌;奎因的語言哲學(xué)思想[J];甘肅教育學(xué)院學(xué)報(社會科學(xué)版);2003年02期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 胡波;社會理想境界論綱[D];中國社會科學(xué)院研究生院;2000年

2 黃玉順;超越知識與價值的緊張：“科學(xué)與玄學(xué)論戰(zhàn)”的哲學(xué)問題[D];中國社會科學(xué)院研究生院;2000年

3 楊學(xué)功;本體論哲學(xué)批判[D];中國社會科學(xué)院研究生院;2001年

4 李淑靜;If條件句與常規(guī)關(guān)系[D];河南大學(xué);2005年

5 劉高岑;語言、心智與世界[D];山西大學(xué);2004年

6 黃欣榮;復(fù)雜性科學(xué)的方法論研究[D];清華大學(xué);2005年

7 張鎮(zhèn)環(huán);實在與科學(xué)理論的真理性[D];吉林大學(xué);2006年

8 張本祥;不可計算復(fù)雜性的機理與意義[D];華南師范大學(xué);2006年

9 聞曙明;隱性知識顯性化問題研究[D];蘇州大學(xué);2006年

10 楊建梓;尋找回歸之路[D];中國人民大學(xué);2002年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 張利芳;摹狀詞理論研究[D];西南師范大學(xué);2001年

2 頓新國;亨佩爾定性確證思想探析[D];華中師范大學(xué);2002年

3 宋建平;形而上學(xué)終結(jié)了嗎？[D];浙江師范大學(xué);2002年

4 榮小雪;非充分決定性論題與波普爾的證偽方法[D];山西大學(xué);2003年

5 郭麗麗;女性主義科學(xué)哲學(xué)研究[D];大連理工大學(xué);2004年

6 屠軍;述評羅蒂對鏡式哲學(xué)的批判和改造[D];湘潭大學(xué);2004年

7 胡華南;通向科學(xué)理論真理性的道路——源自科學(xué)實在論與反實在論之爭[D];武漢理工大學(xué);2004年

8 周佳;本體論的現(xiàn)代闡釋[D];東北師范大學(xué);2005年

9 唐玉斌;本質(zhì)主義和必然性問題的研究[D];華南師范大學(xué);2005年

10 劉衛(wèi)花;對蒯因邏輯中“本體論承諾”的探討[D];西南師范大學(xué);2005年

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 梁義民;任曉明;;存在問題的邏輯語言維度[J];現(xiàn)代哲學(xué);2006年06期

2 J. 德里達,單繼剛;榮譽學(xué)位:這也太有趣了[J];世界哲學(xué);2005年02期

3 馮艷;自由摹狀詞理論研究述評[J];哲學(xué)動態(tài);2005年07期

4 馮艷;20世紀(jì)自由邏輯的產(chǎn)生與發(fā)展[J];湖南科技大學(xué)學(xué)報(社會科學(xué)版);2004年04期

5 季冠芳,弓肇祥;關(guān)于哲學(xué)邏輯的幾個理論問題[J];哈爾濱學(xué)院學(xué)報;2001年01期

6 王路;《邏輯學(xué)》[J];哲學(xué)動態(tài);2000年05期

7 田佑中;黑格爾發(fā)展觀中內(nèi)在邏輯結(jié)構(gòu)的兩次嬗變[J];理論探討;1999年04期

8 陳波;“哲學(xué)邏輯”詞義探源和辨析[J];哲學(xué)動態(tài);1997年03期

9 王路;如何理解“存在”?[J];哲學(xué)研究;1997年07期

10 李建華;哲學(xué)邏輯芻議[J];湘潭師范學(xué)院學(xué)報(社會科學(xué)版);1997年04期

中國重要會議論文全文數(shù)據(jù)庫 前4條

1 蔡曙山;;學(xué)科交叉與現(xiàn)代邏輯的發(fā)展[A];小康社會：文化生態(tài)與全面發(fā)展——2003學(xué)術(shù)前沿論壇論文集[C];2004年

2 弓肇祥;季冠芳;;哲學(xué)邏輯的幾個理論問題[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

3 張建軍;;略論“強化的排中律”[A];1996年邏輯研究專輯[C];1996年

4 弓肇祥;季冠芳;;自由邏輯的緣起和發(fā)展[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

，

本文編號：585504