La théorie des modèles appartient à la logique mathématique. Elle fournit à la fois des modèles d’investigation des structures mathématiques classiques. Les logiques « non classiques » introduisent des modèles fournissant des instruments pour la philosophie.