對我國辯證邏輯的歷史發(fā)展之淺見——在紀念中國邏輯學(xué)會成立30周年大會上的報告
本文關(guān)鍵詞:對我國辯證邏輯的歷史發(fā)展之淺見——在紀念中國邏輯學(xué)會成立30周年大會上的報告
更多相關(guān)文章: 辯證邏輯研究 思辨方式 形式化方式
【摘要】:以1950-1960年代的研究作為參照系,我國辯證邏輯思辨性的、使用日常語言的研究方式至今仍然保持青春活力,它為形式化研究提供原型并且富有啟發(fā)性;更可喜的是,1990年代辯證邏輯形式化研究取得突破性進展。爭論焦點已經(jīng)從"能不能形式化"轉(zhuǎn)移到"什么樣的形式化更好",這是新階段的主要標志。2000年之后,從事計算機人工智能研究的學(xué)者開始熱情關(guān)注并積極投入到辯證邏輯形式化的研究中。本文的基本定位是把辯證邏輯看成一種富有哲理性的非經(jīng)典邏輯。
【作者單位】: 武漢大學(xué)哲學(xué)學(xué)院;
【關(guān)鍵詞】: 辯證邏輯研究 思辨方式 形式化方式
【基金】:國家社會科學(xué)基金一般項目(06BZX050)
【分類號】:B812
【正文快照】: 中國邏輯學(xué)會辯證邏輯研究會(1991年改稱“專業(yè)委員會”)成立于1980年,是中國邏輯學(xué)會最早設(shè)立的分支機構(gòu)之一。然而,若要考察我國的辯證邏輯研究,則不止這30年,也許聯(lián)系建國后的整個研究史并且適當(dāng)做些“今昔對比”,會更有助于我們看清現(xiàn)在的發(fā)展形勢;仡櫿麄研究史,半個
【參考文獻】
中國期刊全文數(shù)據(jù)庫 前2條
1 桂起權(quán);多元化的辯證邏輯形式化研究[J];學(xué)術(shù)探索;2002年01期
2 桂起權(quán) ,陳曉平;辯證邏輯形式化的研究綱領(lǐng)[J];哲學(xué)動態(tài);1992年10期
【共引文獻】
中國期刊全文數(shù)據(jù)庫 前10條
1 李秀敏;論亞相容邏輯中的“矛盾”——達科斯塔的亞相容邏輯思想述評[J];安徽大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2005年01期
2 王習(xí)勝;;關(guān)于道德悖論屬性的思考——從邏輯的觀點看[J];安徽師范大學(xué)學(xué)報(人文社會科學(xué)版);2007年05期
3 馬佩;也談邏輯的社會文化功能——與張建軍先生商榷[J];廣州大學(xué)學(xué)報(社會科學(xué)版);2004年11期
4 黃展驥;形式派的“解悖偏見”——略評“RZH”標準[J];河池師專學(xué)報;2003年01期
5 黃展驥;評塔斯基的“層級論”——回歸“自然語言”的解悖方案漫談[J];河池師專學(xué)報;2003年04期
6 張秉福;邏輯遞歸性及其哲學(xué)思考[J];南京航空航天大學(xué)學(xué)報(社會科學(xué)版);2005年01期
7 潘天群;博弈論中理性人假設(shè)的困境[J];經(jīng)濟學(xué)家;2003年04期
8 魯斌,何華燦;泛模糊邏輯控制器研究[J];計算機工程與應(yīng)用;2003年16期
9 毛明毅,何華燦,陳志成,葛敬亞;分形圖像的泛邏輯運算模型[J];計算機工程與應(yīng)用;2004年02期
10 付利華,何華燦;基于免疫進化規(guī)劃的一種柔性神經(jīng)模糊推理系統(tǒng)[J];計算機工程與應(yīng)用;2004年18期
中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條
1 馬駿;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學(xué);2002年
2 李新;面向神經(jīng)計算的視覺信息處理研究[D];西北工業(yè)大學(xué);2002年
3 張保穩(wěn);時間序列數(shù)據(jù)挖掘研究[D];西北工業(yè)大學(xué);2002年
4 王擁軍;需求工程中的不確定性研究[D];西北工業(yè)大學(xué);2002年
5 史宏達;港區(qū)堤防布置的數(shù)值模擬與優(yōu)化[D];中國海洋大學(xué);2003年
6 金翊;三值光計算機原理和結(jié)構(gòu)[D];西北工業(yè)大學(xué);2002年
7 李恒威;“生活世界”復(fù)雜性的動力模式[D];浙江大學(xué);2005年
8 魯斌;廣義智能系統(tǒng)柔性超拓撲空間模型研究與應(yīng)用[D];西北工業(yè)大學(xué);2003年
9 張池平;多傳感器信息融合方法及其在空間目標識別中的應(yīng)用[D];哈爾濱工業(yè)大學(xué);2006年
10 劉漢全;新古典經(jīng)濟學(xué)價值理論批判[D];華中農(nóng)業(yè)大學(xué);2007年
中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條
1 張莉敏;悖論與數(shù)理邏輯的發(fā)展探析[D];河南大學(xué);2003年
2 嚴軍勇;三值光計算機關(guān)鍵部件的研究[D];西北工業(yè)大學(xué);2004年
3 孫浩;三值光計算機關(guān)鍵部件的研究[D];西北工業(yè)大學(xué);2004年
4 伍曉敏;基于VSK-t邏輯的Agent形式化模型[D];云南師范大學(xué);2004年
5 王軼;認知邏輯的動態(tài)化理論[D];中國人民大學(xué);2005年
6 季秋;基于發(fā)生率計算的不確定性推理理論研究[D];首都師范大學(xué);2005年
7 琚喬月;法律專家系統(tǒng)的邏輯學(xué)探析[D];河南大學(xué);2005年
8 蔡家琴;論司法推理[D];河南大學(xué);2005年
9 丁永強;規(guī)范邏輯的法律思考[D];河南大學(xué);2005年
10 吳劍威;基于泛資源及泛邏輯的企業(yè)模型體系研究及其應(yīng)用[D];江南大學(xué);2005年
【二級參考文獻】
中國期刊全文數(shù)據(jù)庫 前3條
1 桂起權(quán),陳曉平;辯證邏輯形式化的研究綱領(lǐng)[J];云南社會科學(xué);1992年05期
2 桂起權(quán);理解當(dāng)代自然哲學(xué)的鑰匙──量子/系統(tǒng)辯證法[J];自然辯證法通訊;1997年03期
3 桂起權(quán),劉東波;對應(yīng)原理─—多種非經(jīng)典邏輯的通用原理[J];自然辯證法通訊;1994年03期
,本文編號:811633
本文鏈接:http://sikaile.net/shekelunwen/ljx/811633.html