邏輯語義學

邏輯語義學，是一門新興的學科，為分析哲學的一大支派。邏輯觀的進步是邏輯語義學發展的內在動力。古典邏輯觀向現代數理邏輯觀的轉化促成了塔斯基邏輯語義學的產生，但對形式系統的過分注重使它局限於外延層面。隨著邏輯觀的進一步發展，對由自然語言所承栽的日常推理的刻畫成為邏輯研究的重心，這種趨勢使語義學研究由外延意義向內涵意義的過渡成為可能，卡爾納普的外延一內涵方法和蒙太古語法的建立是這種可能的現實實現。它的興起，由於推動了計算機識別自然語言的研究，為現代語言學研究提供了基礎；有助於對西方哲學、特別是科學哲學的分析研究、借鑒、批判，因此受到了廣泛的關注，獲得了迅速的發展。短短几十年就形成了。