本文選題：命題邏輯　切入點(diǎn)：語(yǔ)法完全性　出處：《浙江社會(huì)科學(xué)》2004年01期 　論文類型：期刊論文

【摘要】：本文對(duì)學(xué)界普遍認(rèn)可的命題邏輯語(yǔ)法完全性問(wèn)題重新進(jìn)行分析 ,認(rèn)為 :命題邏輯的語(yǔ)法完全性在邏輯上是一個(gè)關(guān)于形式系統(tǒng)和語(yǔ)義模型之間關(guān)系的二元謂詞 ,是與具體的命題邏輯形式系統(tǒng)聯(lián)系在一起的 ;指出 :公理數(shù)有限、有代入規(guī)則的命題邏輯公理系統(tǒng)具有語(yǔ)法完全性 ;證明 :由公理模式和分離規(guī)則構(gòu)成的命題邏輯公理系統(tǒng)不具有語(yǔ)法完全性。
[Abstract]:This paper makes a new analysis of the universally accepted grammatical completeness of propositional logic and holds that the grammatical completeness of propositional logic is logically a binary predicate concerning the relationship between formal system and semantic model. It points out that the axiomatic system of propositional logic with finite axioms and substitution rules has grammatical completeness. It is proved that the axiomatic system of propositional logic composed of axiomatic patterns and separation rules does not have grammatical completeness.
【作者單位】： 南京大學(xué)哲學(xué)系
【基金】：國(guó)家社科基金項(xiàng)目 ( 0 2CZX0 0 8) 南京大學(xué)引進(jìn)人才基金項(xiàng)目 南京大學(xué){9川青年教育基金項(xiàng)目
【分類號(hào)】：B812

【共引文獻(xiàn)】

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

1 萬(wàn)紹紅;民主的路徑:哥德爾不完全性定理的視界[J];阿壩師范高等�？茖W(xué)校學(xué)報(bào);2005年03期

2 高玉樓;廣義分配律[J];安慶師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2003年01期

3 盛作國(guó);;邏輯規(guī)律與準(zhǔn)邏輯悖論探討[J];畢節(jié)學(xué)院學(xué)報(bào);2007年01期

4 吳堅(jiān);;命題形式與命題的符號(hào)化[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2008年01期

5 尹剛;;《墨經(jīng)》中的推理形式[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2009年05期

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

7 儲(chǔ)昭輝;;主范式在數(shù)理邏輯中的重要作用[J];滁州學(xué)院學(xué)報(bào);2006年04期

8 鄭怡文;白云暉;;基于數(shù)學(xué)歸納法抽取循環(huán)程序研究[J];電腦編程技巧與維護(hù);2009年14期

9 徐丹;;類型一階邏輯的理論證明探討[J];電腦知識(shí)與技術(shù);2010年07期

10 蘇富忠;邏輯的思維成果結(jié)構(gòu)觀[J];東岳論叢;2003年05期

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

1 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動(dòng)推理理論及方法的研究[D];西南交通大學(xué);2002年

2 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動(dòng)推理方法的研究[D];西南交通大學(xué);2002年

3 李海明;關(guān)于格值邏輯及自動(dòng)推理的研究[D];西南交通大學(xué);2003年

4 孟丹;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動(dòng)推理研究[D];西南交通大學(xué);2004年

5 趙欣培;一種基于Agent的軟件過(guò)程建模方法研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2005年

6 何友全;數(shù)據(jù)挖掘方法及其在電力系統(tǒng)故障診斷中的應(yīng)用研究[D];西南交通大學(xué);2004年

7 金立;合作與會(huì)話——合作原則及其應(yīng)用研究[D];浙江大學(xué);2005年

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

9 郝清賦;邏輯系統(tǒng)動(dòng)態(tài)結(jié)構(gòu)演化研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2006年

10 劉新;三維空間關(guān)系的描述及其定性推理[D];山東科技大學(xué);2007年

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

1 尹慧;三維空間關(guān)系定性分析[D];華東交通大學(xué);2009年

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

3 張靜;時(shí)態(tài)數(shù)據(jù)庫(kù)模型的研究及應(yīng)用[D];廣東工業(yè)大學(xué);2002年

4 高穎;領(lǐng)域本體的形式分析[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2003年

5 陳文麗;修正的Atanassov命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

6 閆浮;離散數(shù)學(xué)體系結(jié)構(gòu)[D];北京化工大學(xué);2001年

7 劉振晗;基于廣義歸結(jié)的程序綜合[D];大連理工大學(xué);2005年

8 許栩;基于模糊產(chǎn)生式規(guī)則的推理中交互作用的研究[D];河北大學(xué);2005年

9 孟文靜;論邏輯思維[D];內(nèi)蒙古師范大學(xué);2005年

10 王興超;結(jié)合思維狀態(tài)的VSK-Agent形式化模型[D];云南師范大學(xué);2005年

【相似文獻(xiàn)】

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

1 王國(guó)俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

2 何應(yīng)燦;真值表的判定方法[J];思維與智慧;1982年06期

3 左衛(wèi)兵;;一種非均勻概率空間下二值命題邏輯中命題的真度理論[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年01期

4 陳洪波;;淺談中學(xué)數(shù)學(xué)中簡(jiǎn)易邏輯教學(xué)[J];黑龍江史志;2008年17期

5 金樊;;推理有效性的判定方法及其特點(diǎn)比較——以命題邏輯為例[J];長(zhǎng)春工程學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2010年02期

6 王學(xué);論斯多葛學(xué)派的命題邏輯[J];松遼學(xué)刊(人文社會(huì)科學(xué)版);1994年02期

7 丁后銀;;如何講解“普通語(yǔ)言學(xué)”中的“Propositional Logic”[J];長(zhǎng)春理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年01期

8 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的形式系統(tǒng)之比較[J];畢節(jié)學(xué)院學(xué)報(bào);2009年10期

9 張清宇;關(guān)于系統(tǒng)Z的一些意見[J];武漢大學(xué)學(xué)報(bào)(人文科學(xué)版);1993年05期

10 余俊偉;形式系統(tǒng)的可靠性和完全性問(wèn)題[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年01期

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

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

2 徐揚(yáng);;格值命題邏輯公式及其L真(假)性[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

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

4 李丹菁;陶振麟;;在預(yù)測(cè)控制中使用命題邏輯及其應(yīng)用[A];2001中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2001年

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

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

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

8 陳國(guó)勛;陳斌;;F-時(shí)態(tài)命題邏輯中的歸結(jié)原理[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

9 郭世銘;;二重命題邏輯系統(tǒng)■_4[A];1993年邏輯研究專輯[C];1993年

10 孫炳哲;;《肇論》對(duì)時(shí)空真假的認(rèn)識(shí)——以《物不遷論》與《不真空論》為中心的探討[A];詮釋與建構(gòu)——湯一介先生75周年華誕暨從教50周年紀(jì)念文集[C];2001年

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

1 佟芳;首屆生命基因高峰論壇舉行[N];科技日?qǐng)?bào);2009年

2 佟佳芳;奮斗攻關(guān)四十載 自主創(chuàng)新結(jié)碩果[N];科技日?qǐng)?bào);2009年

3 高南生（作者單位：秦安縣教師進(jìn)修學(xué)校）;中學(xué)數(shù)學(xué)學(xué)習(xí)指南[N];甘肅日?qǐng)?bào);2005年

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

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

6 賈春華 王永炎;“方證論治系統(tǒng)”原理論思考[N];中國(guó)中醫(yī)藥報(bào);2006年

7 哲科;哲學(xué)所舉辦第二屆青年學(xué)術(shù)論壇[N];中國(guó)社會(huì)科學(xué)院院報(bào);2008年

8 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 常亮邋史忠植;語(yǔ)義Web的邏輯基礎(chǔ)[N];計(jì)算機(jī)世界;2007年

9 林圭;固有不然必?zé)o不至[N];人民日?qǐng)?bào)海外版;2001年

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

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

1 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動(dòng)推理方法的研究[D];西南交通大學(xué);2002年

2 賈春華;基于命題邏輯的《傷寒論》方證理論體系研究[D];北京中醫(yī)藥大學(xué);2006年

3 吳瑕;基于擴(kuò)展規(guī)則的定理證明的研究[D];吉林大學(xué);2006年

4 殷明浩;自動(dòng)推理和智能規(guī)劃中若干問(wèn)題研究[D];吉林大學(xué);2008年

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

6 郭遠(yuǎn)華;若干邏輯自動(dòng)推理方法研究[D];華東師范大學(xué);2010年

7 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動(dòng)推理理論及方法的研究[D];西南交通大學(xué);2002年

8 胡斌;可信的自治式服務(wù)協(xié)同系統(tǒng)驗(yàn)證[D];浙江大學(xué);2009年

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

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

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

1 黃拙;一階邏輯模型搜索問(wèn)題研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2004年

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

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

4 黃沖;組合優(yōu)化中的命題邏輯[D];華中科技大學(xué);2011年

5 劉加昆;轉(zhuǎn)折句“p∧q”的邏輯分析[D];廣西師范大學(xué);2007年

6 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

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

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

9 呂帥;不確定性智能規(guī)劃算法研究[D];吉林大學(xué);2007年

10 于丹;“反正”的多角度研究[D];吉林大學(xué);2007年

，

本文編號(hào)：1652414