應(yīng)用邏輯
應(yīng)

應(yīng)用邏輯　　　yìng yòng luó jí

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