語言學中語義研究的目的是找出不同語言在語義表達上的規律性、內在解釋、個性和* * *性；
邏輯的語義學是對壹個邏輯系統的解釋，側重於真值條件，不直接涉及自然語言；
計算機科學相關的語義研究，在於機器對自然語言的理解；
認知科學對語義的研究在於大腦對語言單位意義的儲存和理解模式。如果從嚴格意義上的語言學研究來分類，在現代語言學的語義學中，可以分為結構主義的語義研究和生成語言學的語義研究。
結構主義語義學是20世紀上半葉由美國主導的結構主義語言學發展而來的，其研究內容主要在於詞的意義和結構，如義素分析、語義場、詞義之間的結構關系等。這種語義研究也可以稱為詞匯語義學。詞與詞之間的關系是詞匯語義學研究的壹個方面，如同義詞、反義詞、同音詞等。，找出單詞之間的細微差別。
生成語義學是20世紀六七十年代流行於生成語言學的壹個語義學分支，是早期結構主義語言學和後期形式語義學之間的壹個理論陣營。生成語義學借鑒了結構語義學的義素分析方法，通過與生成音系學的音位差理論的對比，認為語言最深層的結構是義素，表層的句子形式是通過各種句法變化和詞匯化的手段獲得的。
形式語義學是20世紀70年代發展起來的壹個理論陣營。最初的研究始於蒙塔古用數理邏輯對英語的研究。後來，在語言學家和哲學家的共同努力下，它發展成為壹門獨立的學科，摒棄了蒙塔古對生成語言學句法的忽視，強調語義解釋和句法結構的統壹，從而最終成為生成語言學的壹個語義分支。現代邏輯，或者形式邏輯，數理邏輯等。，旨在設計壹個形式化的語言系統，並做出語義解釋。這樣的形式語言系統是壹個抽象的封閉系統，但是可以應用到很多不同的領域，比如法律、計算機等等。
基於模型理論，壹個邏輯系統通常由三部分組成:詞匯部分、句法部分和語義部分。
所謂詞匯部分，就是列出壹個正式系統中使用的所有符號。
句法部分就是這些符號的組合規則，規定什麽樣的符號序列可以是這個系統的句子。
語義部分是對合格句子的解釋，通常是:壹個模型中真值條件的推導。
邏輯的語義學側重於邏輯系統的語義解釋，邏輯系統是理想化的模型系統，不直接涉及自然語言。但是在形式語義學中，許多語義概念都是從邏輯的語義中派生出來的。認為理解句子的語義就是理解句子是否滿足真值條件，是否真實地反映了世界上的情況。