【摘要】：本文致力于研究定義在滿足開放世界預(yù)設(shè)的可能世界集合上的命題的邏輯結(jié)構(gòu)。在文獻(xiàn)（鞠實兒，，１９９６和１９９７）的基礎(chǔ)上，本文發(fā)展出一種基于開放世界預(yù)設(shè)的３－值語句邏輯系統(tǒng)（簡稱ＳＬＯ），給出ＳＬＯ的語義理論，構(gòu)造相應(yīng)的形式公理系統(tǒng)，并證明該形式系統(tǒng)具有一致性和恰當(dāng)性。
[Abstract]:This paper is devoted to the study of the logical structure of propositions defined on the set of possible worlds that satisfy the presupposition of the open world. Based on the literature (Ju Shier, 1996 and 1997), this paper develops a 3-valued logic system based on open world presupposition (SLO), for short) gives the semantic theory of SLO. The corresponding formal axioms are constructed, and the consistency and appropriateness of the formal systems are proved.
【分類號】：B81

【參考文獻(xiàn)】

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

1 鞠實兒;論可能世界集合的封閉性與否定聯(lián)結(jié)詞的關(guān)系[J];自然辯證法研究;1997年11期

【共引文獻(xiàn)】

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

1 熊明;休謨問題的邏輯正解[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2001年05期

2 倪蔭林;推理形式問題辨正──兼與龔啟榮先生商榷[J];錦州師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);1999年01期

3 鞠實兒;三種信念悖論的消除[J];自然辯證法通訊;1995年02期

4 鞠實兒;論可能世界集合的封閉性與否定聯(lián)結(jié)詞的關(guān)系[J];自然辯證法研究;1997年11期

5 郭佳宏,鞠實兒;基于開放世界預(yù)設(shè)的3—值邏輯的列表證明系統(tǒng)[J];中山大學(xué)學(xué)報(社會科學(xué)版);2004年05期

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

1 郭佳宏;理想自省主體的信念修正[D];中山大學(xué);2006年

【相似文獻(xiàn)】

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

1 郭佳宏,鞠實兒;基于開放世界預(yù)設(shè)的3—值邏輯的列表證明系統(tǒng)[J];中山大學(xué)學(xué)報(社會科學(xué)版);2004年05期

2 鞠實兒;開放類邏輯的哲學(xué)基礎(chǔ)——一種非規(guī)范三值內(nèi)涵語義理論[J];中國社會科學(xué);2004年03期

3 徐明;;不倫不類開放類 評鞠實兒的開放類邏輯[J];科學(xué)文化評論;2006年04期

4 康宏逵;;又不忍沉默[J];科學(xué)文化評論;2006年04期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

本文編號：2372868