作為數理邏輯的重要分支，模型理論簡而言之旨在處理形式語言和模型之間的關係。此處的「形式語言」指任何適用於一階邏輯理論或數學理論的理論，而所謂的「模型」則指能用以詮釋語言，滿足以形式語言表達的邏輯真理、數學真理或種種關係的抽象結構。換言之，從數學的角度來看，模型理論研究如何為特定的數學理論（如實分析、代數等等）建構其適用的模型，並比較模型之間的關係與特點。因此，模型理論可視為一門邏輯與數學的交岔學科，企圖刻劃數學結構的一般邏輯形式及特徵。
儘管如此，由於本課程屬於導論性質的課程，而主要授課對象並非數學專業的同學，因此課程內容會略過關於特定數學結構（如群、環、代數等）的討論，著重於語言與模型的關係，以及幾種重要且能引發哲學討論的建模方式。一開始，會先重溫一下基本邏輯和中階邏輯的內容，介紹如何設計適用的形式語言（特別是一階形式語言），並引進著名塔斯基語意學（Tarski’s formal semantics），據此定義邏輯的真概念之後，再利用亨金（Henkin）的方法，證明一階邏輯系統的完備性定理（completeness theorem）；接著會談滿足一階形式語言的模型具有哪些特點，並介紹幾種不同的建模方法及其涉及的重要邏輯工具和技巧；本課程的最後會稍微介紹一下這些邏輯工具和技巧如何應用於賽局理論。
本課程的授課對象為大二以上到研究所程度，對邏輯、數學、語言哲學、數學哲學、科學哲學等領域感興趣的學生。已經學過基本邏輯、中階邏輯、基本集合論或相關概念（如形式語言、述詞邏輯、在某模型中為真、可靠性定理、完備性定理、基數、序數、選擇公理、佐恩引理、良序原則、可數集、不可數集、同構、連續統假設）的學生修習本課程，會比較容易進入狀況。不過，本課程會視學生能力，適時補充相關基礎知識。