發(fā)布時(shí)間：2018-03-10 02:29

  本文選題：命題邏輯　切入點(diǎn)：實(shí)質(zhì)蘊(yùn)涵“怪論”　出處：《河南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2005年03期 　論文類型：期刊論文

【摘要】：現(xiàn)代邏輯的實(shí)質(zhì)蘊(yùn)涵“怪論”問(wèn)題是困擾邏輯學(xué)發(fā)展的一個(gè)難題。對(duì)此問(wèn)題存在兩種態(tài)度:一種是持批判的態(tài)度,認(rèn)為實(shí)質(zhì)蘊(yùn)涵不夠完善,試圖構(gòu)造其他蘊(yùn)涵來(lái)取代實(shí)質(zhì)蘊(yùn)涵;另一種是持否認(rèn)的態(tài)度,認(rèn)為不存在實(shí)質(zhì)蘊(yùn)涵“怪論”問(wèn)題。這兩種觀點(diǎn)都沒(méi)有很好地解決這一問(wèn)題。邏輯“怪論“是由于對(duì)邏輯進(jìn)行了系統(tǒng)化形式化引起的,要消除“怪論”必須對(duì)形式化的邏輯系統(tǒng)有正確的認(rèn)識(shí)。命題邏輯系統(tǒng)與普遍適用的邏輯規(guī)則不同,它的直接模型是布爾代數(shù),因此產(chǎn)生實(shí)質(zhì)蘊(yùn)涵“怪論”的原因是其賦值不能滿足成為布爾代數(shù)的條件。但在自然語(yǔ)言中很難找到成為布爾代數(shù)的模型,因此,要消除邏輯“怪論”還必須尋找其他方法。
[Abstract]:The problem of "strange theory" in the essence of modern logic is a difficult problem that puzzles the development of logic. There are two kinds of attitudes to this problem: one is to hold a critical attitude, to think that the substantial implication is not perfect enough, to try to construct other implication to replace the substantive implication; The other is the attitude of denying that there is no substantive implication of "strange theory". Neither of these views has solved this problem very well. The logic "strange theory" is caused by the systematization and formalization of logic. In order to eliminate the "strange theory", we must have a correct understanding of the formal logic system. The propositional logic system is different from the universally applicable logic rules, and its direct model is Boolean algebra. Therefore, the reason for the substantial implication of "strange theory" is that its assignment cannot satisfy the conditions of Boolean algebra, but it is difficult to find the model of Boolean algebra in natural language. Therefore, it is necessary to find other ways to eliminate logic "strange theory".
【作者單位】： 河南大學(xué)哲學(xué)與公共管理學(xué)院
【分類號(hào)】：B812

【共引文獻(xiàn)】

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

1 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評(píng)[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2005年01期

2 黎洪;肯定·否定的句值及其偏移現(xiàn)象[J];巢湖學(xué)院學(xué)報(bào);2002年01期

3 李志昌;論遞歸方法的實(shí)質(zhì)和普遍意義[J];楚雄師專學(xué)報(bào);2000年01期

4 朱如曾;非相對(duì)論熱力學(xué)中玻意耳定律與焦耳定律的相互獨(dú)立性[J];大學(xué)物理;2005年03期

5 周寧;結(jié)構(gòu)穩(wěn)定性：形式思維的邊界[J];大自然探索;1995年04期

6 張本祥;顏澤賢;;復(fù)雜性科學(xué)視野中的還原論問(wèn)題[J];復(fù)雜系統(tǒng)與復(fù)雜性科學(xué);2005年03期

7 馮嘉禮，詹明，葉中行;感知和判斷中的基準(zhǔn)變換及其性質(zhì)坐標(biāo)分析法[J];廣西科學(xué);1994年04期

8 向容憲;符號(hào)學(xué)與語(yǔ)言學(xué)和邏輯學(xué)[J];貴陽(yáng)師專學(xué)報(bào)(社會(huì)科學(xué)版);1998年01期

9 馮棉;“可能世界”概念的基本涵義[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1995年06期

10 馮棉;條件句與相干邏輯[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1999年01期

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

1 馮嘉禮;核電站嚴(yán)重事故應(yīng)急決策支持系統(tǒng)及其計(jì)算機(jī)實(shí)現(xiàn)研究[D];中國(guó)原子能科學(xué)研究院;2001年

2 牛保義;相信和懷疑：附加疑問(wèn)句認(rèn)知研究[D];河南大學(xué);2002年

3 梁芳;計(jì)算機(jī)引起的數(shù)學(xué)哲學(xué)反思[D];中國(guó)社會(huì)科學(xué)院研究生院;2000年

4 匡安榮;“道法自然”與經(jīng)濟(jì)自由——一項(xiàng)比較研究[D];四川大學(xué);2002年

5 陳樹偉;基于格蘊(yùn)涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學(xué);2006年

6 張力鋒;模態(tài)邏輯和本質(zhì)主義[D];北京大學(xué);2004年

7 張本祥;不可計(jì)算復(fù)雜性的機(jī)理與意義[D];華南師范大學(xué);2006年

8 徐爾清;基于中心語(yǔ)驅(qū)動(dòng)短語(yǔ)結(jié)構(gòu)文法的句法和語(yǔ)義分析[D];上海外國(guó)語(yǔ)大學(xué);2007年

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

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

1 劉紅兵;模糊錯(cuò)誤邏輯研究及其在防范證券投資風(fēng)險(xiǎn)中的應(yīng)用[D];廣東工業(yè)大學(xué);2000年

2 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問(wèn)題[D];陜西師范大學(xué);2001年

3 王三民;模糊邏輯形式系統(tǒng)的若干完備性定理[D];陜西師范大學(xué);2001年

4 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

5 韓波;不完全信息數(shù)據(jù)庫(kù)研究[D];南京航空航天大學(xué);2003年

6 徐曉林;基于屬性坐標(biāo)評(píng)估與決策法的企業(yè)生產(chǎn)力指標(biāo)體系的研究[D];上海海運(yùn)學(xué)院;2002年

7 江金彥;企業(yè)的成長(zhǎng)：理論與解釋[D];江西財(cái)經(jīng)大學(xué);2003年

8 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

9 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

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

【相似文獻(xiàn)】

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

1 馮棉;;一類命題邏輯的一般弱框架擇類語(yǔ)義[J];邏輯學(xué)研究;2011年02期

2 劉新文;;皮爾士存在圖的形式推演系統(tǒng)[J];畢節(jié)學(xué)院學(xué)報(bào);2011年05期

3 樊明亞,朱小陽(yáng);師專邏輯教材改革研究[J];中國(guó)大學(xué)教學(xué);1999年06期

4 程仲棠;;關(guān)于“蘊(yùn)涵怪論”及其反例[J];學(xué)術(shù)研究;2011年08期

5 隋云云;;邏輯系統(tǒng)L_4~2中公式的相似度[J];濰坊學(xué)院學(xué)報(bào);2011年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 張清宇;;古典命題邏輯的證偽系統(tǒng)[A];1996年邏輯研究專輯[C];1996年

2 劉社軍;;命題邏輯之判定層次及其判定方法[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

3 夏夢(mèng);;邏輯真理的特點(diǎn)[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

4 李娜;;我講《數(shù)理邏輯》課程的方法[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

5 劉壯虎;;相干邏輯的鄰域語(yǔ)義學(xué)[A];1995年邏輯研究專輯[C];1995年

6 熊明;;古典命題演算的直覺(jué)主義語(yǔ)義分析[A];2000年邏輯研究專輯[C];2000年

7 張家鋒;徐揚(yáng);;格值命題邏輯LP(X)中的語(yǔ)義歸結(jié)方法[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

8 劉壯虎;;邏輯系統(tǒng)中的蘊(yùn)涵[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

9 趙總寬;;辯證模態(tài)命題邏輯系統(tǒng)DMT與實(shí)然世界語(yǔ)義學(xué)[A];1997年邏輯研究專輯[C];1997年

10 吳堅(jiān);;走出邏輯的霧區(qū)[A];2000年邏輯研究專輯[C];2000年

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

1 華南師范大學(xué)政治與行政學(xué)院 胡澤洪;哲學(xué)邏輯的發(fā)展趨勢(shì)及其對(duì)我們的啟示[N];光明日?qǐng)?bào);2008年

2 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

3 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日?qǐng)?bào);2007年

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

1 呂進(jìn);基于時(shí)間和行動(dòng)規(guī)劃的知識(shí)—意圖邏輯[D];西南大學(xué);2008年

2 田忠鋒;形式邏輯前提批判[D];吉林大學(xué);2008年

3 惠小靜;計(jì)量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

4 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

5 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

6 張繼華;科學(xué)探究推理研究[D];西南大學(xué);2012年

7 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

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

1 李彩紅;命題邏輯中廣義MP問(wèn)題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

2 鄧富喜;n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性[D];蘭州理工大學(xué);2011年

3 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

4 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

5 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學(xué);2005年

6 王永安;二值命題邏輯公式在等價(jià)意義下的一般表示及其應(yīng)用[D];陜西師范大學(xué);2008年

7 劉保翠;命題邏輯中公式的Γ蘊(yùn)涵真度及相對(duì)Γ-重言度理論[D];陜西師范大學(xué);2008年

8 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

9 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

10 李晟;命題邏輯公理系統(tǒng)內(nèi)定理證明的技巧和方法研究[D];燕山大學(xué);2012年

，

本文編號(hào)：1591381