APP 內(nèi)涵邏輯 nèi hán luó jí
以涉及語言表達(dá)式的內(nèi)涵的語義學(xué)和語法學(xué)研究為基礎(chǔ)的關(guān)于推理的理論。傳統(tǒng)邏輯在研究概念時，既處理外延，也處理內(nèi)涵，采用的方法一般是非定量的。古典數(shù)理邏輯所作的定量的、精確的處理，主要針對外延，通常被稱為外延邏輯。它有一條基本原理即外延性原理。其基本內(nèi)容是：設(shè)E是一個語言表達(dá)式，e是E的一個合式部分，如果e在E中由一個不同e具有相同外延的表達(dá)式替換，則E的真值仍保持不變。但這一原理一旦涉及內(nèi)涵性謂詞如“知道”、“了解”、“相信”等時，立即表現(xiàn)出局限性。邏輯學(xué)家為解決這種局限性而創(chuàng)立了內(nèi)涵邏輯。內(nèi)涵邏輯中的“內(nèi)涵”系指從可能世界到外延的函項。現(xiàn)代形態(tài)的內(nèi)涵邏輯，一般認(rèn)為從劉易斯建立嚴(yán)格蘊(yùn)涵的模態(tài)邏輯開始。卡爾納普的外延內(nèi)涵方法，蒙塔古語法等，都是內(nèi)涵邏輯發(fā)展中的重要標(biāo)志。
