一個刻畫強否定的模態(tài)系統(tǒng)及其性質(zhì)
發(fā)布時間:2018-07-18 14:40
【摘要】:否定是邏輯學的中心概念之一。直覺主義用關系語義刻畫了一個強否定,我們在此也用關系語義刻畫一個強否定。所不同的是,我們的否定是直覺主義的否定的補,所以我們給出的刻畫強否定的語義和系統(tǒng)就有一些刻畫直覺主義否定的語義和系統(tǒng)所沒有的性質(zhì)。例如,禁自返相對于我們的語義是模態(tài)可定義的。
[Abstract]:Negation is one of the central concepts of logic. Intuitionism portrays a strong negation with relational semantics, and here we also depict a strong negation with relational semantics. What is different is that our negation is the complement of intuitionistic negation, so the semantics and systems we give to depict strong negation have some properties which depict the semantics of intuitionism negation and the properties that the system does not have. For example, proscription semantics are modal definable relative to our semantics.
【作者單位】: 中山大學邏輯與認知研究所;廈門大學哲學系;
【基金】:國家社科基金項目“更新語義與動態(tài)認知邏輯研究”(08BZX050)
【分類號】:B81
本文編號:2132223
[Abstract]:Negation is one of the central concepts of logic. Intuitionism portrays a strong negation with relational semantics, and here we also depict a strong negation with relational semantics. What is different is that our negation is the complement of intuitionistic negation, so the semantics and systems we give to depict strong negation have some properties which depict the semantics of intuitionism negation and the properties that the system does not have. For example, proscription semantics are modal definable relative to our semantics.
【作者單位】: 中山大學邏輯與認知研究所;廈門大學哲學系;
【基金】:國家社科基金項目“更新語義與動態(tài)認知邏輯研究”(08BZX050)
【分類號】:B81
【參考文獻】
相關期刊論文 前1條
1 潘世墨;邏輯的“否定”概念簡析[J];哲學研究;1998年07期
【共引文獻】
相關碩士學位論文 前4條
1 郝雷紅;現(xiàn)代漢語否定副詞研究[D];首都師范大學;2003年
2 杜寶蓮;反問的否定功能研究[D];暨南大學;2004年
3 宋冬冬;元語言否定的認知分析[D];河北師范大學;2007年
4 李卉;論負概念[D];廣西師范大學;2007年
【相似文獻】
相關期刊論文 前10條
1 湯雅茹;當代俄語中第四格的“擴張”[J];外語學刊;1980年02期
2 陳平;英漢否定傾向性成分與否定語境[J];外語學刊;1982年01期
3 陳祚修;;醫(yī)學英語的否定句(醫(yī)學英語專題研究之二)[J];錦州醫(yī)學院學報;1982年03期
4 何思成;談“是”的語法功能[J];成都大學學報(社會科學版);1984年02期
5 蔡學舉;;關于俄語否定句中的直接補語[J];外國語言文學;1985年01期
6 楊維濂;;試論科技英語中的否定及其譯法[J];外語與外語教學;1985年02期
7 吳志霄;一種對稱詞組[J];漢語學習;1986年04期
8 光磊;淺談英語句子中的強調(diào)[J];解放軍外國語學院學報;1986年04期
9 左家宏;淺談“曾、嘗、既”在中學文言課文中的用法[J];昭通師范高等專科學校學報;1986年01期
10 何勇 ,夏寧生;句首含有否定詞的句子倒裝與否[J];外語教學;1986年03期
,本文編號:2132223
本文鏈接:http://sikaile.net/shekelunwen/ljx/2132223.html
最近更新
教材專著