邏輯語義學檢視原始碼討論檢視歷史

邏輯語義學 圖片來自華圖教育

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

簡介

塔爾斯基是公認的邏輯語義學的創始人，但真正為邏輯語義學建立完整理論體系的卻是卡爾納普。卡爾納普對邏輯語義學的最大貢獻在於，他用其首創的「外延—內涵」方法，為我們構建了一個嚴格而精妙的語義分析系統，這一系統的基本特徵是：不僅從外延，而且又從內涵方面來把握語言的意義，這樣，就從根本上克服了經典邏輯對語言表達式的解釋只限於外延的致命弊端，從而使邏輯學的研究走上了一條既注重外延、更注重內涵的嶄新的發展道路。