本文選題：量化 + 模態(tài)邏輯�。� 參考：《湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2010年05期

【摘要】：奎因在20世紀(jì)40年代提出解釋量化模態(tài)邏輯的問題,認(rèn)為不能把標(biāo)準(zhǔn)量化與模態(tài)結(jié)合起來。邏輯學(xué)家嘗試了各種解決方案。由于克里普克語義的廣泛應(yīng)用,邏輯學(xué)家找出了一些量化模態(tài)邏輯系統(tǒng),并給出相應(yīng)語義解釋和完全性,使特定的模態(tài)系統(tǒng)具有正確的句法和語義,因此部分回答了奎因提出的挑戰(zhàn)。另一方面,人們從哲學(xué)上提出各種不同的對(duì)"模態(tài)個(gè)體"的說明。我們?cè)敿?xì)討論奎因提出的問題,簡(jiǎn)要說明量化模態(tài)邏輯的發(fā)展。最后的結(jié)論是,雖然關(guān)于量化和模態(tài)的關(guān)系的技術(shù)處理取得了大量有意思的結(jié)果,但從哲學(xué)上看,我們?nèi)匀恍枰环N對(duì)模態(tài)個(gè)體、內(nèi)涵、同一等概念的恰當(dāng)解釋。
[Abstract]:Quinn put forward the problem of explaining quantized modal logic in 1940s, and considered that the standard quantization and modal can not be combined. The logician tried various solutions. Because of the wide application of Kripke semantics, logicians have found out some quantitative modal logic systems, and given the corresponding semantic interpretation and completeness, so that the specific modal system has the correct syntax and semantics. So part of the answer to Quinn's challenge. On the other hand, people put forward a variety of philosophical explanations of "modal individuals". We discuss the problem posed by Quinn in detail and briefly explain the development of quantitative modal logic. The final conclusion is that although the technical treatment of the relationship between quantization and mode has achieved a lot of interesting results, we still need a proper explanation of the concepts of modal individual, connotation and identity from a philosophical point of view.
【作者單位】： 中央財(cái)經(jīng)大學(xué)現(xiàn)代邏輯研究所;
【分類號(hào)】：B815.1

【相似文獻(xiàn)】

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

1 周佳;;王國維文藝美學(xué)觀管窺[J];襄樊職業(yè)技術(shù)學(xué)院學(xué)報(bào);2010年01期

2 小習(xí);;職業(yè)習(xí)慣[J];人才資源開發(fā);2010年01期

3 劉再復(fù);;《紅樓夢(mèng)》與中國哲學(xué)——論《紅樓夢(mèng)》的哲學(xué)內(nèi)涵[J];渤海大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2010年02期

4 張?jiān)汽?;試論山水畫題詩的內(nèi)容及審美特征[J];藝術(shù)與設(shè)計(jì)(理論);2010年03期

5 徐艷;;寓奇險(xiǎn)于古樸的語言追求——“吳均體”內(nèi)涵考辨[J];中國文學(xué)研究;2010年01期

6 張瑞;;從漢語傳統(tǒng)中兩種“文學(xué)”觀念看第三次“重寫文學(xué)史”的趨勢(shì)[J];中華女子學(xué)院學(xué)報(bào);2010年01期

7 李曉魯;楊艷紅;;淺析品味藝術(shù)的格調(diào)[J];藝術(shù)與設(shè)計(jì)(理論);2010年03期

8 顧冉;;對(duì)于人生的藝術(shù)化的一點(diǎn)感想[J];知識(shí)經(jīng)濟(jì);2010年03期

9 余平;;老板好書[J];中外企業(yè)文化;2010年03期

10 王溱;;年輕的內(nèi)涵[J];商周刊;2010年06期

相關(guān)會(huì)議論文 前10條

1 胡四蓮;;構(gòu)建和諧校園的內(nèi)涵初探[A];國家教師科研基金十一五階段性成果集（湖南卷）[C];2010年

2 向宏茂;;淺談構(gòu)建和諧政治課堂的策略[A];國家教師科研基金十一五階段性成果集（湖北卷）[C];2010年

3 方曉東;;我國確立實(shí)施人才強(qiáng)國戰(zhàn)略的過程及意義[A];教育的傳統(tǒng)與變革——紀(jì)念《教育史研究》創(chuàng)刊二十周年論文集（三）[C];2009年

4 曲鐵華;梁清;;略論蔡元培的科學(xué)教育思想[A];教育的傳統(tǒng)與變革——紀(jì)念《教育史研究》創(chuàng)刊二十周年論文集（一）[C];2009年

5 陳建業(yè);崔惠珊;;資源節(jié)約、環(huán)境友好型公路內(nèi)涵與建設(shè)理念研究[A];中國環(huán)境科學(xué)學(xué)會(huì)2009年學(xué)術(shù)年會(huì)論文集（第四卷）[C];2009年

6 張艷;;綠色包裝與標(biāo)準(zhǔn)化[A];天津市電視技術(shù)研究會(huì)2009年年會(huì)論文集（2）[C];2009年

7 張華;張笑波;趙宏杰;林宇春;;證的量化與臨床數(shù)據(jù)的定性的方法學(xué)理論基礎(chǔ)[A];中國中西醫(yī)結(jié)合學(xué)會(huì)診斷專業(yè)委員會(huì)2009’年會(huì)論文集[C];2009年

8 姜智浩;陸一竹;;中醫(yī)辨證治療對(duì)冠心病患者舌象影響的觀察[A];中國中西醫(yī)結(jié)合學(xué)會(huì)診斷專業(yè)委員會(huì)2009’年會(huì)論文集[C];2009年

9 張華;張笑波;趙宏杰;林宇春;;證的量化與臨床數(shù)據(jù)的定性的方法學(xué)理論基礎(chǔ)[A];2009全國時(shí)間生物醫(yī)學(xué)學(xué)術(shù)會(huì)議論文集[C];2009年

10 譚堅(jiān);屈婉霞;龐征斌;徐煒遐;;基于SMT求解器的謂詞抽象[A];中國電子學(xué)會(huì)第十六屆信息論學(xué)術(shù)年會(huì)論文集[C];2009年

相關(guān)重要報(bào)紙文章 前10條

1 本報(bào)記者 瑞萍;自信的小魚 繽紛的大海[N];中國教育資訊報(bào);2002年

2 記者 張可春 王金法 通訊員 鞠迅;干得好不好看價(jià)值分多少[N];中國石化報(bào);2002年

3 楊健 車曉蕙 李曉崗;看順德推進(jìn)農(nóng)村城市化[N];發(fā)展導(dǎo)報(bào);2002年

4 金貿(mào);我國境外投資管理走向量化[N];國際商報(bào);2002年

5 iCan SP公司首席執(zhí)行官 Nancy Li;服務(wù)管理：量化IT服務(wù)[N];計(jì)算機(jī)世界;2002年

6 中國管理科學(xué)院特邀研究員 孟憲炬;成長型企業(yè) 跳出羊群思維[N];中國經(jīng)營報(bào);2002年

7 本報(bào)記者 劉幼萍;細(xì)化、量化、規(guī)范化[N];證券時(shí)報(bào);2002年

8 趙宗雄;職位評(píng)估的目的方法與運(yùn)用[N];組織人事報(bào);2002年

9 顏秋許;職工不該是風(fēng)險(xiǎn)承擔(dān)者[N];組織人事報(bào);2002年

10 福建上杭縣人事局局長 范志喜;抓住關(guān)鍵 推行量化考核[N];中國人事報(bào);2001年

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

1 胡永紅;有效體育教學(xué)的理論與實(shí)證研究[D];福建師范大學(xué);2009年

2 周勇;中國政府績效審計(jì)問題研究[D];東北師范大學(xué);2008年

3 韓永勝;中國現(xiàn)代教育小說概論[D];東北師范大學(xué);2008年

4 仲秀英;學(xué)生數(shù)學(xué)活動(dòng)經(jīng)驗(yàn)研究[D];西南大學(xué);2008年

5 崔裴;中美房地產(chǎn)業(yè)內(nèi)涵、屬性及其經(jīng)濟(jì)與社會(huì)功能的比較研究[D];華東師范大學(xué);2008年

6 武長海;論知識(shí)產(chǎn)權(quán)濫用的法律規(guī)制[D];對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué);2007年

7 文衛(wèi)平;英漢驢子句研究[D];北京語言大學(xué);2006年

8 薛曉琳;“疲勞”癥狀的規(guī)范化研究[D];北京中醫(yī)藥大學(xué);2006年

9 張恒柱;遠(yuǎn)外側(cè)鎖孔入路的顯微解剖學(xué)研究[D];蘇州大學(xué);2006年

10 晏怡;腦膠質(zhì)瘤與顱內(nèi)非膠質(zhì)來源腫瘤侵襲性比較研究[D];重慶醫(yī)科大學(xué);2006年

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

1 閆生;中國特色社會(huì)主義核心價(jià)值觀內(nèi)涵研究[D];江西理工大學(xué);2010年

2 朱媛媛;感興趣區(qū)域圖像壓縮與可見水印技術(shù)[D];江西理工大學(xué);2010年

3 趙衛(wèi)斌;唐代園記和園林散文研究[D];西北大學(xué);2009年

4 唐滿文;困惑與爭(zhēng)執(zhí)[D];中國美術(shù)學(xué)院;2009年

5 宋靜;社會(huì)主義核心價(jià)值體系建設(shè)研究[D];西南政法大學(xué);2009年

6 王蕓;論政黨外交[D];中國青年政治學(xué)院;2009年

7 董芳;淺談在演唱中對(duì)改編民歌《孟姜女》藝術(shù)特征的把握[D];首都師范大學(xué);2009年

8 陳韜;中國私募股權(quán)基金的現(xiàn)狀與出路探析[D];蘇州大學(xué);2009年

9 呂學(xué)紅;多元文化視野下的社會(huì)主義核心價(jià)值體系建設(shè)研究[D];長安大學(xué);2009年

10 王瑋;漢英色彩詞內(nèi)涵差異比較研究[D];長春理工大學(xué);2009年

，

本文編號(hào)：1972068