法稱關(guān)于命題真值表的理論探索
[Abstract]:The academic circles think that the earliest propositional truth list was put forward by Peirce, however, we think that all the three logics have their own unique propositional truth list, and the earliest propositional truth table is the logic theory of law. This paper tries to find out the earliest truth table theory in East and West, and expounds the logic thought of French name. We think that the French name established the inseparability relation of reason and made InMing have deductive argumentation, which is the theoretical basis of his establishment of truth list. The term "whether", "true or false" or "true" in the intelligences have something in common with what is now called a contradiction, that is, the current universal value of truth and falsehood. Moreover, the understanding of identity and dissimilarity is in accordance with the combinatorial relationship between propositions, which corresponds to Peirce's true list of propositions. In addition, through the comparison between Inmin's "the following" and Peirce's theory of fictional and inferential transformation, we further conclude that the earliest researcher on the truth table is called "French name".
【作者單位】:
【分類號】:B81-09
【參考文獻】
相關(guān)期刊論文 前1條
1 張忠義;試論因明的三支論式[J];哲學(xué)研究;1989年08期
【共引文獻】
相關(guān)期刊論文 前10條
1 霍書全;;關(guān)于條件句的蘊涵理論[J];安徽大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2011年03期
2 劉方榮;;塔斯基真理語義學(xué)理論評析[J];安徽文學(xué)(下半月);2010年06期
3 王力鋼;;數(shù)理邏輯的發(fā)展及未來趨向[J];安慶師范學(xué)院學(xué)報(社會科學(xué)版);2010年11期
4 張法清;;關(guān)于正規(guī)模態(tài)命題邏輯系統(tǒng)的完全性證明[J];畢節(jié)學(xué)院學(xué)報;2009年04期
5 張曉翔;;謬誤的比較研究——以三大邏輯的命題為視角[J];畢節(jié)學(xué)院學(xué)報;2009年10期
6 余軍成;張學(xué)立;;邏輯、數(shù)學(xué)與素質(zhì)教育——以畢節(jié)學(xué)院邏輯學(xué)精品課程建設(shè)為例[J];畢節(jié)學(xué)院學(xué)報;2009年12期
7 魏春春;;王船山詩學(xué)概念“現(xiàn)量”探析[J];寶雞文理學(xué)院學(xué)報(社會科學(xué)版);2009年05期
8 王雙;張武杰;李亞莉;;直覺思維與創(chuàng)新的邏輯解析[J];才智;2009年11期
9 鄒樺;李章呂;;論科學(xué)假說的證實與證偽[J];重慶工學(xué)院學(xué)報(社會科學(xué)版);2009年02期
10 李永成;;論辯術(shù)當(dāng)代復(fù)興綜述[J];重慶工學(xué)院學(xué)報(社會科學(xué)版);2009年04期
相關(guān)會議論文 前3條
1 廖琳;龔啟榮;;論羅素的邏輯主義[A];貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年
2 晉榮東;;論作為辯證邏輯的Dialectic[A];中國的前沿 文化復(fù)興與秩序重構(gòu)——上海市社會科學(xué)界第四屆學(xué)術(shù)年會青年文集(2006年度)[C];2006年
3 張忠義;侯玉娟;;淺析喻在新因明中的作用[A];2004年邏輯研究專輯[C];2004年
相關(guān)博士學(xué)位論文 前10條
1 張曉翔;漢傳因明的傳承與發(fā)展研究[D];南開大學(xué);2010年
2 張棟豪;中國邏輯史方法論在近代的演變[D];南開大學(xué);2010年
3 陳明昆;中國經(jīng)濟轉(zhuǎn)型期職業(yè)教育可持續(xù)發(fā)展研究[D];天津大學(xué);2010年
4 王漫;基于實在概念結(jié)構(gòu)拓?fù)涞脑O(shè)計智能理論研究[D];合肥工業(yè)大學(xué);2001年
5 敖特根;敦煌莫高窟北區(qū)出土蒙古文文獻研究[D];蘭州大學(xué);2006年
6 解植永;中古漢語判斷句研究[D];四川大學(xué);2007年
7 張愛林;自相與現(xiàn)量[D];中國人民大學(xué);2008年
8 寧莉娜;中國近代文化革新視域中的邏輯方法研究[D];黑龍江大學(xué);2008年
9 彭發(fā)勝;翻譯與中國現(xiàn)代學(xué)術(shù)話語體系的形成[D];北京大學(xué);2008年
10 徐月英;《黃帝內(nèi)經(jīng)》象數(shù)思維模式[D];遼寧中醫(yī)藥大學(xué);2008年
相關(guān)碩士學(xué)位論文 前10條
1 許筱婷;基于本體論的知識表達[D];湘潭大學(xué);2010年
2 馬麗;馬克思主義哲學(xué)中國化的歷史邏輯分析[D];昆明理工大學(xué);2010年
3 鋼特木爾;《十善福白史冊》的邏輯思維與佛教哲學(xué)思想[D];內(nèi)蒙古師范大學(xué);2005年
4 張明波;關(guān)于康德先驗邏輯的幾個問題[D];湖南師范大學(xué);2006年
5 汪學(xué)軍;訴訟證明標(biāo)準(zhǔn)的邏輯分析[D];河南大學(xué);2006年
6 秦波;邏輯視野下的推定理論分析[D];河南大學(xué);2006年
7 蔡廣超;漢布林的謬誤理論研究[D];華東師范大學(xué);2007年
8 李牡瓊;兩漢邏輯思想探析[D];西南大學(xué);2007年
9 羅希;現(xiàn)量論音樂審美問題研究[D];西安音樂學(xué)院;2007年
10 郭向陽;現(xiàn)代專名指稱理論初探[D];河南大學(xué);2007年
【相似文獻】
相關(guān)期刊論文 前10條
1 褚木蘭;一個直觀性很強的真值表[J];河北自學(xué)考試;1995年10期
2 周興志;完整地理解和發(fā)揮真值表的作用[J];新疆師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1996年03期
3 文紅峰;;論不相容選言命題的真值表及其邏輯特征[J];湖南醫(yī)科大學(xué)學(xué)報(社會科學(xué)版);2007年04期
4 吳士棟;;邏輯里一種新的檢驗法[J];江西師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1982年03期
5 董焱;;淺析復(fù)合判斷中真值表的作用[J];青年文學(xué)家;2010年03期
6 石磊;簡易邏輯教學(xué)中的體會[J];濟南教育學(xué)院學(xué)報;2003年01期
7 何應(yīng)燦;真值表的判定方法[J];思維與智慧;1982年06期
8 莫麗君;真值表在形式邏輯中的功能[J];遼寧工程技術(shù)大學(xué)學(xué)報(社會科學(xué)版);2004年03期
9 張靖;論真值表在形式邏輯學(xué)科體系中的地位和作用[J];天津師范大學(xué)學(xué)報(社會科學(xué)版);1991年02期
10 褚木蘭;一個直觀性很強的真值表[J];張家口師專學(xué)報;1995年01期
相關(guān)會議論文 前10條
1 馬兵;;略論真值表法與分支法[A];全國邏輯討論會論文選集[C];1979年
2 張盛彬;;試論條件句與蘊涵的一致性[A];2000年邏輯研究專輯[C];2000年
3 楊多佳;馬永富;蘇拉玉;趙征;;SIMOCODE在冶金系統(tǒng)中的應(yīng)用[A];2009年河北省冶金學(xué)會煉鋼—連鑄技術(shù)與學(xué)術(shù)年會論文集[C];2009年
4 沈有鼎;張清宇;;個體和真值的演算[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年
5 張清宇;;以廣義析舍為初始符號的經(jīng)典命題邏輯系統(tǒng)[A];1997年邏輯研究專輯[C];1997年
6 劉明;王曉;;數(shù)字電路實驗故障分析[A];中國航海學(xué)會船舶機電與通信導(dǎo)航專業(yè)委員會2002年學(xué)術(shù)年會論文集(船舶機電分冊)[C];2002年
7 霍書全;;一類函數(shù)完全的n值邏輯聯(lián)結(jié)詞及其特點[A];2003年邏輯研究專輯[C];2003年
8 陳枚;;命題的客觀真假狀態(tài)與主觀真假狀態(tài)[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年
9 吳堅;;關(guān)于假言命題的真假問題的思考[A];1998年邏輯研究專輯[C];1998年
10 張南綸;;因果聯(lián)系及歸納確認(rèn)方法[A];1994年中國控制會議論文集[C];1994年
相關(guān)重要報紙文章 前10條
1 四川南部縣職業(yè)技術(shù)學(xué)校 敬樹賢;談?wù)動蓴?shù)字電路的真值表寫出邏輯函數(shù)表達式的方法[N];電子報;2008年
2 廊坊市電子信息工程學(xué)院 朱翠芳;組合邏輯電路設(shè)計[N];電子報;2007年
3 山西 楊德印;絲網(wǎng)曝光定時器[N];電子報;2005年
4 記者 鄧小群;不放棄每天一杯的學(xué)生奶[N];深圳商報;2001年
5 湖南 李懷昌;利用真值表實現(xiàn)觸發(fā)器的相互轉(zhuǎn)換[N];電子報;2011年
6 本報記者 韓璐 肖莉麗;重慶藥交所進入“試水期”[N];健康報;2010年
7 陜西漢中宇星電力電子學(xué)校 郭秦漢;巧用一片CD4011組裝七種邏輯門電路[N];電子報;2007年
8 四川 李松柏;用MAX038構(gòu)成的函數(shù)波形發(fā)生器[N];電子報;2002年
9 福建 鄧桂明;羅蘭700五色膠印機手動調(diào)墨電路修復(fù)記[N];電子報;2007年
10 廣西 鄧力;PLD的PROTEUS電路仿真[N];電子報;2007年
相關(guān)博士學(xué)位論文 前9條
1 湯銘鈞;陳那、法稱因明的推理理論[D];復(fù)旦大學(xué);2010年
2 劉觀生;數(shù)字理論的表格方法研究[D];浙江大學(xué);2007年
3 嚴(yán)軍勇;降值設(shè)計理論[D];上海大學(xué);2009年
4 李淑靜;If條件句與常規(guī)關(guān)系[D];河南大學(xué);2005年
5 賴洪亮;Ω-范疇序結(jié)構(gòu)性質(zhì)的研究[D];四川大學(xué);2007年
6 張超;高階神經(jīng)網(wǎng)絡(luò)的梯度訓(xùn)練算法收斂性分析[D];大連理工大學(xué);2008年
7 余達祥;條件推理機制的心理學(xué)研究[D];江西師范大學(xué);2008年
8 梁后軍;電路進化設(shè)計算法研究[D];中國科學(xué)技術(shù)大學(xué);2009年
9 張曉翔;漢傳因明的傳承與發(fā)展研究[D];南開大學(xué);2010年
相關(guān)碩士學(xué)位論文 前10條
1 周理;真理的邏輯前提[D];貴州大學(xué);2008年
2 李峰;論陳那因明的邏輯體系[D];復(fù)旦大學(xué);2010年
3 李明君;中學(xué)數(shù)學(xué)課程中邏輯知識的分析與調(diào)查研究[D];蘇州大學(xué);2008年
4 夏冰;在線式邏輯不明芯片解析工具中數(shù)據(jù)采集和判別算法的設(shè)計與實現(xiàn)[D];解放軍信息工程大學(xué);2006年
5 酈可;或—符合代數(shù)系統(tǒng)中的表格方法及其應(yīng)用[D];浙江大學(xué);2006年
6 楊姍姍;胚胎型仿生硬件細胞電路設(shè)計與自修復(fù)方法研究[D];南京航空航天大學(xué);2007年
7 陳家端;試析高中數(shù)學(xué)課程中邏輯內(nèi)容的選擇與編制[D];中央民族大學(xué);2006年
8 鄭麗娟;中學(xué)數(shù)學(xué)邏輯知識教學(xué)的調(diào)查研究[D];華東師范大學(xué);2007年
9 張志美;基于改進的遺傳程序設(shè)計實現(xiàn)組合電路的進化設(shè)計[D];東北師范大學(xué);2007年
10 白金山;二元判斷圖BDD及其JAVA實現(xiàn)的應(yīng)用與研究[D];貴州大學(xué);2008年
,本文編號:2326189
本文鏈接:http://sikaile.net/shekelunwen/ljx/2326189.html