應(yīng)用邏輯是邏輯應(yīng)用的元邏輯
本文關(guān)鍵詞: 應(yīng)用邏輯 邏輯應(yīng)用 次元邏輯 出處:《中共福建省委黨校學(xué)報》2005年05期 論文類型:期刊論文
【摘要】:應(yīng)用邏輯是邏輯理論應(yīng)用于特定領(lǐng)域所形成的邏輯理論,是國內(nèi)外公認的一門邏輯分支學(xué)科。應(yīng)用邏輯不是邏輯的應(yīng)用,也不是邏輯哲學(xué),更不能把任何科學(xué)都作為應(yīng)用邏輯。應(yīng)用邏輯是邏輯應(yīng)用中邏輯的邏輯、理論的理論、元邏輯。
[Abstract]:Applied logic is a logic theory formed by the application of logic theory in a particular field, and it is recognized as a branch of logic at home and abroad. Applied logic is not the application of logic, nor is it logic philosophy. Nor can any science be regarded as applied logic, which is the logic of logic, the theory of theory, and the meta-logic of logic application.
【作者單位】: 福建省委黨校
【分類號】:B812
【參考文獻】
相關(guān)期刊論文 前5條
1 胡澤洪;對邏輯學(xué)范圍與性質(zhì)的反思[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2002年02期
2 康巧茹;從因特網(wǎng)看當(dāng)前國外邏輯研究的現(xiàn)狀與發(fā)展[J];寧夏黨校學(xué)報;2000年01期
3 姜成林;應(yīng)用邏輯——現(xiàn)代邏輯的新發(fā)展[J];社會科學(xué)輯刊;1988年05期
4 蔣以璞;論任何科學(xué)都是應(yīng)用邏輯[J];上海師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2000年03期
5 梁彪;論邏輯系統(tǒng)[J];哲學(xué)研究;2003年09期
【共引文獻】
相關(guān)期刊論文 前10條
1 倪蔭林;關(guān)于概念與其對象及定義的新見解[J];安徽大學(xué)學(xué)報;2004年01期
2 張傳開;古希臘哲學(xué)范疇發(fā)展的歷史和邏輯[J];安徽大學(xué)學(xué)報;2004年03期
3 溫純?nèi)?;黑格爾“歷史唯物主義的萌芽”思想與列寧的評價[J];安徽大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2010年03期
4 王成華;批判:哲學(xué)史的透視[J];安徽教育學(xué)院學(xué)報;2002年04期
5 趙建梅,黃世虎;對現(xiàn)行真理定義的幾點異議[J];安徽農(nóng)業(yè)大學(xué)學(xué)報(社會科學(xué)版);2001年01期
6 蔡連玉;“教育規(guī)律”與“關(guān)于教育的規(guī)律”[J];安徽師范大學(xué)學(xué)報(人文社會科學(xué)版);2001年03期
7 臧宏;;新時期中國哲學(xué)史研究的兩個“轉(zhuǎn)向”[J];安徽師范大學(xué)學(xué)報(人文社會科學(xué)版);2008年04期
8 楊善解;;西方傳統(tǒng)哲學(xué)的本質(zhì)及其演變[J];安徽師范大學(xué)學(xué)報(人文社會科學(xué)版);2009年02期
9 王英;潘抒靈;;馬克思科技觀對我國工業(yè)化道路的啟示[J];安徽工業(yè)大學(xué)學(xué)報(社會科學(xué)版);2010年02期
10 吳興民;;中國古代是否存在辯證邏輯思想[J];安徽文學(xué)(下半月);2008年01期
相關(guān)博士學(xué)位論文 前10條
1 李曉霞;中國基層公務(wù)員素質(zhì)建設(shè)研究[D];華東師范大學(xué);2011年
2 馮彥波;合并邏輯方法研究[D];南開大學(xué);2010年
3 音正權(quán);刑法變遷中的法律家(1902--1935)[D];中國政法大學(xué);2001年
4 胡波;社會理想境界論綱[D];中國社會科學(xué)院研究生院;2000年
5 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年
6 王匯群;企業(yè)經(jīng)營能力研究[D];復(fù)旦大學(xué);2003年
7 張長紅;刑事責(zé)任基本原理研究[D];中國政法大學(xué);2003年
8 鄭玉明;試論黑格爾藝術(shù)認識范疇的實踐性內(nèi)涵[D];浙江大學(xué);2004年
9 周麗昀;科學(xué)實在論與社會建構(gòu)論比較研究——兼議從表象科學(xué)觀到實踐科學(xué)觀[D];復(fù)旦大學(xué);2004年
10 申仁洪;論教育科學(xué):教育研究科學(xué)取向及其在中國的合理性建構(gòu)[D];華南師范大學(xué);2004年
【二級參考文獻】
相關(guān)期刊論文 前1條
1 蔣以璞;論唯物主義辯證邏輯是邏輯學(xué)[J];復(fù)旦學(xué)報(社會科學(xué)版);1993年05期
【相似文獻】
相關(guān)期刊論文 前10條
1 余炳元;;從教學(xué)實踐看高師院校文科邏輯學(xué)教學(xué)改革[J];畢節(jié)學(xué)院學(xué)報;2011年07期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
相關(guān)會議論文 前10條
1 張志成;俞國女;;司法應(yīng)用邏輯與司法實踐[A];第十六屆全國法律邏輯學(xué)術(shù)討論會論文(成就·反思·前瞻——中國法律邏輯三十年)[C];2008年
2 ;會議入選論文摘要選輯[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年
3 耿琳;;問話與答話[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年
4 ;全國邏輯學(xué)術(shù)活動匯總(1996.1-1997.6)[A];1997年邏輯研究專輯[C];1997年
5 陽衛(wèi);李訓(xùn);;微機備自投裝置在新建電站和老站改造中的運用分析[A];四川、貴州、云南三省水電廠(站)機電設(shè)備運行技術(shù)研討會論文集[C];2010年
6 王仁法;;略論邏輯在司法實踐中的應(yīng)用藝術(shù)[A];法律邏輯與法學(xué)教育——第十五屆全國法律邏輯學(xué)術(shù)討論會論文集[C];2007年
7 楊樹森;吳俊明;;試論高等學(xué)校非哲學(xué)專業(yè)的邏輯教學(xué)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年
8 房國志;趙云志;王鑫;;呼叫中心IVR系統(tǒng)組件技術(shù)的設(shè)計與實現(xiàn)[A];計算機技術(shù)與應(yīng)用進展·2007——全國第18屆計算機技術(shù)與應(yīng)用(CACIS)學(xué)術(shù)會議論文集[C];2007年
9 陳瑞麟;;邏輯與政治——論殷海光如何應(yīng)用邏輯來從事政治批判[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年
10 史新生;董志強;方志耕;;應(yīng)用邏輯割樹模型求解模糊可靠條件下的網(wǎng)絡(luò)最大流問題研究[A];面向復(fù)雜系統(tǒng)的管理理論與信息系統(tǒng)技術(shù)學(xué)術(shù)會議專輯[C];2000年
相關(guān)重要報紙文章 前10條
1 本報記者 王霞;管理全集中與三層應(yīng)用邏輯創(chuàng)效益[N];中國計算機報;2004年
2 清華大學(xué) 謝曉芹;如何用好構(gòu)件?[N];計算機世界;2002年
3 章繼元 汪建根;多管齊下凈化語言環(huán)境[N];中國文化報;2007年
4 湖南 張子華;USB/可編邏輯8位Turbo+8032 MCU[N];電子報;2006年
5 袁鐘瑞;應(yīng)當(dāng)重視語文與邏輯教育[N];光明日報;2007年
6 汪建根;“用詞不當(dāng)”問題較為突出[N];中國文化報;2006年
7 李瑞英;亟待加強語文與邏輯基礎(chǔ)教育[N];光明日報;2007年
8 易 天;QC七工具中的DMAIC邏輯[N];中國質(zhì)量報;2005年
9 愛可信(中國)技術(shù)有限公司副總裁兼CTO 張?zhí)祗?無線下載應(yīng)用:商機與挑戰(zhàn)并存[N];通信產(chǎn)業(yè)報;2004年
10 華南師范大學(xué)政治與行政學(xué)院 胡澤洪;哲學(xué)邏輯的發(fā)展趨勢及其對我們的啟示[N];光明日報;2008年
相關(guān)博士學(xué)位論文 前5條
1 黃興平;電信軟件變化性管理機制研究[D];北京郵電大學(xué);2007年
2 張靜;支持業(yè)務(wù)流程變化的軟件系統(tǒng)構(gòu)建方法研究[D];山東大學(xué);2007年
3 廖備水;基于PDC-Agent的面向服務(wù)的自治計算研究[D];浙江大學(xué);2006年
4 解季萍;基于Web的稀土化合物數(shù)據(jù)庫系統(tǒng)研究和開發(fā)[D];昆明理工大學(xué);2007年
5 姜文超;生物信息學(xué)網(wǎng)格環(huán)境下任務(wù)調(diào)度關(guān)鍵技術(shù)研究[D];華中科技大學(xué);2009年
相關(guān)碩士學(xué)位論文 前10條
1 焦志偉;決策過程中的邏輯應(yīng)用[D];河南大學(xué);2003年
2 林松偉;工作流技術(shù)在電子政務(wù)中的應(yīng)用[D];吉林大學(xué);2006年
3 何小濤;Entasill企業(yè)集成應(yīng)用平臺設(shè)計與實現(xiàn)[D];四川大學(xué);2003年
4 Narcisio Tumushabe Rwangoga;[D];中南大學(xué);2003年
5 李會芬;法律邏輯:應(yīng)用邏輯的一種[D];中國政法大學(xué);2006年
6 李驊競;通用數(shù)字圖書館管理平臺的應(yīng)用邏輯設(shè)計與用戶界面設(shè)計[D];清華大學(xué);2004年
7 李宜達;基于ACE的分布式服務(wù)器集群系統(tǒng)框架的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2009年
8 張林波;法律領(lǐng)域的邏輯應(yīng)用研究[D];西南政法大學(xué);2011年
9 胡潤卿;一種分布式Web應(yīng)用框架的設(shè)計與實現(xiàn)[D];華中科技大學(xué);2007年
10 袁建國;流媒體傳送網(wǎng)中的綜合網(wǎng)管系統(tǒng)的研究與實現(xiàn)[D];東南大學(xué);2006年
,本文編號:1547411
本文鏈接:http://sikaile.net/shekelunwen/ljx/1547411.html