本文關(guān)鍵詞：自由邏輯中的存在問題

  更多相關(guān)文章： 自由邏輯 個(gè)體域 邏輯系統(tǒng) 存在問題 一階謂詞邏輯 語義學(xué) 一階邏輯 變項(xiàng) 語義模型 非存在

【摘要】：正自由邏輯是20世紀(jì)50年代興起的一個(gè)哲學(xué)邏輯分支。由于在有些自由邏輯系統(tǒng)中引入了表示"存在"的邏輯符號"E!",而且自由邏輯中的量詞包含經(jīng)典謂詞邏輯的存在含義,這就使得自由邏輯不可避免地與存在問題聯(lián)系在一起。關(guān)于存在問題的哲學(xué)爭論歷史久遠(yuǎn)。而近一個(gè)多世紀(jì)以來,隨著現(xiàn)代邏
【作者單位】： 首都師范大學(xué)文學(xué)院;
【關(guān)鍵詞】： 自由邏輯 個(gè)體域 邏輯系統(tǒng) 存在問題 一階謂詞邏輯 語義學(xué) 一階邏輯 變項(xiàng) 語義模型 非存在
【基金】：國家社會科學(xué)基金青年項(xiàng)目“自由摹狀詞理論研究”(項(xiàng)目編號:07CZX017)的資助
【分類號】：B812
【正文快照】： 自由邏輯是20世紀(jì)50年代興起的一個(gè)哲學(xué)邏輯分支。由于在有些自由邏輯系統(tǒng)中引入了表示“存在”的邏輯符號“E!”,而且自由邏輯中的量詞包含經(jīng)典謂詞邏輯的存在含義,這就使得自由邏輯不可避免地與存在問題聯(lián)系在一起。關(guān)于存在問題的哲學(xué)爭論歷史久遠(yuǎn)。而近一個(gè)多世紀(jì)以來,隨

【相似文獻(xiàn)】

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

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

2 趙傳林;關(guān)于認(rèn)為邏輯的再思考[J];九江師專學(xué)報(bào);1993年02期

3 周禎祥;;巴坎公式和自由邏輯[J];湖南科技大學(xué)學(xué)報(bào)(社會科學(xué)版);2010年04期

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

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

6 胡澤洪;鄧雄雁;;論模態(tài)謂詞邏輯的“非指稱”問題——基于自由邏輯的考察[J];哲學(xué)研究;2011年01期

7 熊明輝;易永勝;;邏輯與科學(xué)思維的融合——第二屆邏輯與思維科學(xué)論壇綜述[J];特區(qū)實(shí)踐與理論;2011年01期

8 馮艷;劉壯虎;;一個(gè)自由模態(tài)的摹狀詞理論LFMDT_K[J];哲學(xué)研究;2007年08期

9 龔啟榮;;所謂“邏輯量詞”[J];重慶工學(xué)院學(xué)報(bào)(社會科學(xué)版);2009年11期

10 張清宇;不用聯(lián)結(jié)詞和量詞的一階邏輯系統(tǒng)[J];哲學(xué)研究;1996年05期

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

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

2 陳圖云;劉新友;;模糊基數(shù)量詞初論[A];1994年邏輯研究專輯[C];1994年

3 沈有鼎;張清宇;;個(gè)體和真值的演算[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年

4 張力鋒;;一階量詞的邏輯哲學(xué)考察[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

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

6 張建軍;;略論“強(qiáng)化的排中律”[A];1996年邏輯研究專輯[C];1996年

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

8 袁正校;何向東;;論黑格爾關(guān)于同一律、矛盾律和排中律的謬誤[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

9 熊立文;;芬蘭學(xué)派的歸納理論[A];1998年邏輯研究專輯[C];1998年

10 賈改琴;唐曉嘉;;知道謂詞邏輯系統(tǒng) K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

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

1 張亮;卡爾納普歸納邏輯及其認(rèn)知意義[D];山西大學(xué);2010年

2 趙新波;論可能世界的哲學(xué)問題[D];燕山大學(xué);2012年

，

本文編號：830415