廣義嚟講,model theory 只不過係用 model 嚟 study 語言嘅範疇
Tarski個種 truth definition 係 model theory
一般最入門嘅 logic 嘅 truth-tables, first-order logic 嘅 model-theoretic semantics 都係 model theory
但 "model theory"呢個字係grad course 通常係學呢類比較 mathematical 嘅野:
https://web.stanford.edu/group/cslipublications/cslipublications/Online/doets-basic-model-theory.pdf
https://staff.fnwi.uva.nl/y.venema/teaching/mt/
通常研究 formal semantics 嘅人都好少話自己係研究 model theory
而以上 grad school 嘅教嘅野,做 formal semantics/philosophical logic嘅人通常都唔太識,除咗最基本個啲 results (e.g. compactness, Loewenheim-Skolem Theorem etc)
Kleene 本Metamathematics有包含最基本個啲 model theory
不過佢仲有 model theory 以外嘅野
category theory 係你講嘅呢啲作者嘅野
以我所知,除咗少數有特殊興趣嘅 philosophers 之外 (maybe 關心 foundation of mathematics) ,一般 philosophical logicians 應該都唔太識