APP 應(yīng)用邏輯 yìng yòng luó jí
運用邏輯學(xué)的一般原理研究一定范圍內(nèi)的特殊邏輯問題而形成的邏輯系統(tǒng)。康德早就把邏輯學(xué)劃分為純粹的和應(yīng)用的，并認為應(yīng)用邏輯“是對于知性及其必然的具體應(yīng)用的規(guī)則的表述”（《純粹理性批判》）。黑格爾說應(yīng)用邏輯是“一種從事于具體認識的邏輯”（《邏輯學(xué)》）。正是在這個意義上，列寧把黑格爾的有關(guān)論述概括為“任何科學(xué)都是應(yīng)用邏輯”（《列寧全集》第55卷第171頁）。現(xiàn)代應(yīng)用邏輯有很大發(fā)展，形成眾多分支，如認識論邏輯（相信邏輯、知道邏輯、問題邏輯等），實踐邏輯（優(yōu)選邏輯、命令邏輯、義務(wù)邏輯等），物理應(yīng)用邏輯（時態(tài)邏輯、空間邏輯、線路分析邏輯等）。
