本文關(guān)鍵詞：應(yīng)用邏輯研究進(jìn)展

  更多相關(guān)文章： 應(yīng)用邏輯學(xué) 多值邏輯 非經(jīng)典邏輯 人工智能 演繹推理 邏輯應(yīng)用 邏輯學(xué)家 理論計(jì)算機(jī)科學(xué) 具體問(wèn)題 數(shù)理邏輯

【摘要】：正一何謂應(yīng)用邏輯"應(yīng)用邏輯"這個(gè)詞至少可以追溯到康德�？档略谄涿都兇饫硇耘小分袑⑦壿嫹譃槠胀ㄟ壿�、先驗(yàn)邏輯和特種邏輯,其中普通邏輯又分為純邏輯和應(yīng)用邏輯。究竟什么是應(yīng)用邏輯?不同的邏輯學(xué)家對(duì)此有不同的認(rèn)識(shí)。下面我們來(lái)看一些比較有代表性的看法。
【作者單位】： 南京大學(xué)哲學(xué)系;
【分類(lèi)號(hào)】：B812
【正文快照】： 一何謂應(yīng)用邏輯“應(yīng)用邏輯”這個(gè)詞至少可以追溯到康德�？档略谄涿都兇饫硇耘小分袑⑦壿嫹譃槠胀ㄟ壿嫛⑾闰�(yàn)邏輯和特種邏輯，其中普通邏輯又分為純邏輯和應(yīng)用邏輯。川究竟什么是應(yīng)用邏輯?不同的邏輯學(xué)家對(duì)此有不同的認(rèn)識(shí)。下面我們來(lái)看一些比較有代表性的看法。1.《大

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 袁正校;;關(guān)于現(xiàn)代邏輯教學(xué)中若干問(wèn)題的思考[J];重慶工學(xué)院學(xué)報(bào);2006年01期

2 楊青;;關(guān)于當(dāng)前科技文獻(xiàn)冗余信息的思考[J];福州大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2006年02期

3 賈秀琴;試析法律推理的含義和特征[J];廣州大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2004年02期

4 岳利民;;說(shuō)說(shuō)三段論一條規(guī)則的表述——與倪蔭林先生商榷[J];廣西社會(huì)科學(xué);2006年06期

5 王躍平;語(yǔ)詞意義的本質(zhì)和邏輯結(jié)構(gòu)新探[J];江海學(xué)刊;2003年06期

6 李彥,王杰,李翔龍,趙武,胡偉;創(chuàng)造性思維及計(jì)算機(jī)輔助產(chǎn)品創(chuàng)新設(shè)計(jì)研究[J];計(jì)算機(jī)集成制造系統(tǒng)-CIMS;2003年12期

7 李彥,李翔龍,趙武,王杰;融合認(rèn)知心理學(xué)的產(chǎn)品創(chuàng)新設(shè)計(jì)方法研究[J];計(jì)算機(jī)集成制造系統(tǒng)-CIMS;2005年09期

8 金承光;從法律邏輯學(xué)的視角審視規(guī)范邏輯[J];昆明師范高等專(zhuān)科學(xué)校學(xué)報(bào);2005年03期

9 張學(xué)立;回溯推理新探[J];黔南民族師范學(xué)院學(xué)報(bào);2004年01期

10 徐晉,綦振法;風(fēng)險(xiǎn)投資的風(fēng)險(xiǎn)指標(biāo)體系及模糊綜合評(píng)價(jià)模型[J];山東理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年04期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前9條

1 廖美珍;問(wèn)答：法庭話語(yǔ)互動(dòng)研究[D];中國(guó)社會(huì)科學(xué)院研究生院;2002年

2 姚美玲;唐代墓妼詞匯研究[D];南京師范大學(xué);2004年

3 許燕;會(huì)計(jì)職業(yè)判斷研究[D];天津財(cái)經(jīng)學(xué)院;2004年

4 楊元?jiǎng)?英漢詞語(yǔ)文化語(yǔ)義對(duì)比研究[D];華東師范大學(xué);2005年

5 張德茗;企業(yè)隱性知識(shí)學(xué)習(xí)與溝通機(jī)制研究[D];中南大學(xué);2006年

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

7 譚武征;基于知識(shí)的概念創(chuàng)新設(shè)計(jì)系統(tǒng)關(guān)鍵技術(shù)的研究[D];上海交通大學(xué);2008年

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

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

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 張利芳;摹狀詞理論研究[D];西南師范大學(xué);2001年

2 韓宇勝;論法律的不確定性[D];中國(guó)政法大學(xué);2001年

3 孫紅英;我國(guó)科技成果管理與知識(shí)產(chǎn)權(quán)保護(hù)的協(xié)調(diào)性問(wèn)題研究[D];湖南大學(xué);2003年

4 王艷;對(duì)產(chǎn)品設(shè)計(jì)中創(chuàng)造性思維的研究[D];湖南大學(xué);2004年

5 賴(lài)林濤;司法判決中的事實(shí)推理[D];中國(guó)政法大學(xué);2005年

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

7 周玲;類(lèi)型思維及其法學(xué)方論意義[D];西南政法大學(xué);2005年

8 李輝;工業(yè)設(shè)計(jì)活動(dòng)中發(fā)散思維與設(shè)計(jì)媒介研究[D];湖南大學(xué);2005年

9 李衡;刑法規(guī)范結(jié)構(gòu)分析[D];四川大學(xué);2005年

10 賈愛(ài)軍;面向創(chuàng)新設(shè)計(jì)的多層次Web信息檢索研究[D];四川大學(xué);2005年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前6條

1 胡澤洪;對(duì)邏輯學(xué)范圍與性質(zhì)的反思[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2002年02期

2 蔣以璞;論任何科學(xué)都是應(yīng)用邏輯[J];上海師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2000年03期

3 梁彪;論邏輯系統(tǒng)[J];哲學(xué)研究;2003年09期

4 陳波;從《哲學(xué)邏輯手冊(cè)》(第二版)看當(dāng)代邏輯的發(fā)展趨勢(shì)[J];學(xué)術(shù)界;2004年05期

5 桂起權(quán),段文輝;經(jīng)濟(jì)科學(xué)邏輯論綱[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年04期

6 鞠實(shí)兒;論邏輯學(xué)發(fā)展的方向[J];中山大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年S1期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 楊熙齡;非古典邏輯三種[J];國(guó)外社會(huì)科學(xué);1980年12期

2 周昌忠;;西方辯證邏輯研究現(xiàn)狀[J];哲學(xué)動(dòng)態(tài);1981年07期

3 王昕杰;黑格爾的“絕對(duì)理念”N&非時(shí)間上先于客觀世界而存在[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1982年06期

4 T3學(xué)梊;邏輯與真理[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1982年03期

5 盧青山;多值邏輯簡(jiǎn)介[J];思維與智慧;1982年03期

6 楊熙齡;赫茲貝格談悖論研究——安大略湖畔寄語(yǔ)[J];國(guó)外社會(huì)科學(xué);1983年01期

7 常永青;《邏輯哲學(xué)》一書(shū)簡(jiǎn)介[J];國(guó)外社會(huì)科學(xué);1983年03期

8 賀麟;;黑格爾的《法哲學(xué)原理》[J];福建論壇(社科教育版);1983年01期

9 高崇會(huì) ,紀(jì)善韜;論多值邏輯和二值邏輯的關(guān)系及其哲學(xué)意義[J];人文雜志;1984年02期

10 宋祖良;論黑格爾反形式主義[J];甘肅社會(huì)科學(xué);1984年05期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前8條

1 張念詩(shī);;多值Fuzzy邏輯中的謂詞公式的一點(diǎn)補(bǔ)充[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

2 胡世凱;李中夫;;統(tǒng)一模的性質(zhì)[A];模糊集理論與應(yīng)用——98年中國(guó)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

3 陳江;;論回溯推理的幾種具體類(lèi)型[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

4 陳金飛;周選昌;;基于電流信號(hào)加減運(yùn)算的電流型CMOS電路設(shè)計(jì)[A];浙江省光學(xué)學(xué)會(huì)第九屆學(xué)術(shù)年會(huì)暨新型光電技術(shù)青年論壇論文集[C];2005年

5 孫鳳羽;;安全邏輯學(xué)[A];安全理論與實(shí)踐[C];2006年

6 劉國(guó)賀;;關(guān)于建立可操作性法律邏輯教材體系的思考[A];法律邏輯與法學(xué)教育——第十五屆全國(guó)法律邏輯學(xué)術(shù)討論會(huì)論文集[C];2007年

7 徐衛(wèi)紅;;黑格爾國(guó)家神話中的教育[A];教育的傳統(tǒng)與變革——紀(jì)念《教育史研究》創(chuàng)刊二十周年論文集（四）[C];2009年

8 徐衛(wèi)紅;;黑格爾國(guó)家神話中的教育[A];紀(jì)念《教育史研究》創(chuàng)刊二十周年論文集（16）——外國(guó)教育思想史與人物研究[C];2009年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前3條

1 深圳商報(bào)記者 鄧小群 通訊員 陳正學(xué) 實(shí)習(xí)生 廖俊玉;策馬揚(yáng)鞭正逢時(shí)[N];深圳商報(bào);2003年

2 張繼增;模糊數(shù)學(xué)能應(yīng)用于中醫(yī)嗎[N];中國(guó)醫(yī)藥報(bào);2003年

3 ;趙孟，

本文編號(hào)：1295006