本文選題：否定詞　切入點(diǎn)：HQC　出處：《現(xiàn)代哲學(xué)》2003年03期 　論文類型：期刊論文

【摘要】：該文從直覺(jué)主義否定詞的特性出發(fā)討論它存在的可能性,同時(shí)比較它與ELMQ中強(qiáng)否定詞之間的關(guān)系,最后討論了Heyting系統(tǒng)中兩個(gè)否定性公理的合理性問(wèn)題。
[Abstract]:This paper discusses the possibility of the existence of intuitionistic negatives, compares the relationship between them and the strong negative words in ELMQ, and finally discusses the rationality of two negative axioms in Heyting system.
【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所
【基金】：普通高等學(xué)校人文社會(huì)科學(xué)重點(diǎn)研究基地基金
【分類號(hào)】：B815

【共引文獻(xiàn)】

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

1 劉程;邱紫華;;不能不說(shuō)的話:維特根斯坦與弗雷格、羅素[J];阿壩師范高等�？茖W(xué)校學(xué)報(bào);2006年04期

2 孫顯元;;芝諾悖論中的邏輯和形而上學(xué)[J];安徽電氣工程職業(yè)技術(shù)學(xué)院學(xué)報(bào);2010年02期

3 張盛彬;評(píng)邏輯研究中的極左干擾[J];安徽師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);2001年03期

4 王習(xí)勝;;道德悖論的消解路向——基于邏輯解悖角度的思考[J];安徽師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);2008年03期

5 孫顯元;;“道德悖論”研究的現(xiàn)狀及走向[J];安徽師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);2009年06期

6 王力鋼;;數(shù)理邏輯的發(fā)展及未來(lái)趨向[J];安慶師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2010年11期

7 龍小平;試論個(gè)體的本質(zhì)[J];北華大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2001年01期

8 張曉光;;關(guān)于邏輯學(xué)功能定位的思考[J];畢節(jié)學(xué)院學(xué)報(bào);2008年06期

9 戚金霞;;高校邏輯學(xué)教學(xué)改革探微[J];畢節(jié)學(xué)院學(xué)報(bào);2009年12期

10 宋賽花;;西方意義理論發(fā)展述評(píng)[J];北京科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2008年02期

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

1 張四化;葛宇寧;;從對(duì)集合論悖論的剖析看制約邏輯的客體性[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專題研討會(huì)論文集[C];2005年

2 王洪;;法律邏輯的基本問(wèn)題[A];第十四屆全國(guó)法律邏輯學(xué)術(shù)討論會(huì)論文集[C];2006年

3 王建芳;;為邏輯三段論正名[A];第十四屆全國(guó)法律邏輯學(xué)術(shù)討論會(huì)論文集[C];2006年

4 張曉光;;關(guān)于邏輯學(xué)功能定位的思考:兼談邏輯學(xué)與素質(zhì)教育[A];法律邏輯與法學(xué)教育——第十五屆全國(guó)法律邏輯學(xué)術(shù)討論會(huì)論文集[C];2007年

5 韓彩英;;關(guān)于西方哲學(xué)-科學(xué)之形式邏輯范式的理性批判[A];山西大學(xué)2008年全國(guó)博士生學(xué)術(shù)論壇（科學(xué)技術(shù)哲學(xué)）[C];2008年

6 江怡;;胡塞爾是如何反對(duì)心理主義的?——對(duì)《邏輯研究》第一卷的一種解釋[A];現(xiàn)代德國(guó)哲學(xué)與歐洲大陸哲學(xué)學(xué)術(shù)研討會(huì)論文匯編[C];2007年

7 劉新文;;塔爾斯基論題和函數(shù)完備性[A];第八屆全國(guó)分析哲學(xué)研討會(huì)論文集（上）[C];2012年

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

1 傅美蓉;從反再現(xiàn)到承認(rèn)的政治[D];陜西師范大學(xué);2010年

2 彭靈勇;法律推理的確定性與不確定性[D];中國(guó)社會(huì)科學(xué)院研究生院;2001年

3 方剛;維特根斯坦之命題意義的確定性問(wèn)題研究[D];復(fù)旦大學(xué);2004年

4 周曉虹;透視全球化背景下的法律多元論[D];吉林大學(xué);2006年

5 龍小平;可能世界中的名稱和同一性[D];西南大學(xué);2007年

6 代金宏;會(huì)計(jì)邏輯研究[D];天津財(cái)經(jīng)大學(xué);2008年

7 李菁;海德格爾與維特根斯坦存在思想的一種嘗試比較[D];浙江大學(xué);2008年

8 張立娜;個(gè)體詞的邏輯語(yǔ)義[D];清華大學(xué);2007年

9 寧莉娜;中國(guó)近代文化革新視域中的邏輯方法研究[D];黑龍江大學(xué);2008年

10 周力;法律的模糊性分析[D];西南政法大學(xué);2008年

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

1 郭美云;辛提卡IF一階邏輯研究[D];西南師范大學(xué);2003年

2 賈國(guó)恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

3 侯占香;亞里士多德的邏輯學(xué)說(shuō)與語(yǔ)言的淵源關(guān)系研究[D];廣西師范大學(xué);2004年

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

5 張焱;什么是命題——從兩種命題處理方案來(lái)看[D];華東師范大學(xué);2005年

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

7 郭建萍;亞里士多德真理觀及其現(xiàn)實(shí)意義[D];山西大學(xué);2005年

8 張明娜;語(yǔ)義悖論消解研究[D];河北大學(xué);2006年

9 鮑建竹;馬克思主義哲學(xué)本體論問(wèn)題溯源[D];華中師范大學(xué);2006年

10 王新峰;數(shù)學(xué)視野中邏輯與語(yǔ)言的成功融合[D];山西大學(xué);2006年

【相似文獻(xiàn)】

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

1 陶士偉;張躍堂;陳衛(wèi)紅;;全球觀測(cè)資料質(zhì)量監(jiān)視評(píng)估[A];中國(guó)氣象學(xué)會(huì)2005年年會(huì)論文集[C];2005年

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

1 盛國(guó)宏　匡端;武漢局通過(guò)CQC質(zhì)量管理體系再認(rèn)證[N];中國(guó)郵政報(bào);2008年

2 劉沛國(guó);CQC開(kāi)展節(jié)能產(chǎn)品認(rèn)證[N];中國(guó)國(guó)門時(shí)報(bào);2010年

3 劉德環(huán);CQC認(rèn)證助力海灣安全技術(shù)公司做大做強(qiáng)[N];中國(guó)國(guó)門時(shí)報(bào);2009年

4 陳新;首批獲CQC認(rèn)證中空玻璃列入政府采購(gòu)清單[N];中國(guó)建材報(bào);2009年

5 羅海濱;臺(tái)州局質(zhì)量管理體系通過(guò)CQC再認(rèn)證[N];中國(guó)國(guó)門時(shí)報(bào);2010年

6 記者 丁瑩;CQC家電下鄉(xiāng)市場(chǎng)核查工作啟動(dòng)[N];中國(guó)質(zhì)量報(bào);2011年

7 本報(bào)記者 李芳蕾;積極與國(guó)際接軌 土方機(jī)械CQC認(rèn)證啟動(dòng)[N];中國(guó)工業(yè)報(bào);2011年

8 曉荔;中國(guó)土方機(jī)械“CQC”標(biāo)志認(rèn)證工作啟動(dòng)[N];中國(guó)建材報(bào);2011年

9 丁瑩;七家企業(yè)獲得中國(guó)土方機(jī)械“CQC”標(biāo)志認(rèn)證[N];中國(guó)質(zhì)量報(bào);2011年

10 柴國(guó)賢　王英;CQC青海評(píng)審中心舉辦認(rèn)證培訓(xùn)[N];中國(guó)國(guó)門時(shí)報(bào);2009年

，

本文編號(hào)：1628115