Un modello in una logica è semplicemente un oggetto che, dato
"in pasto" alla funzione di verità insieme
ad una formula ben formata, produce un valore di verità.
Cosa contenga un modello dipende strettamente dal tipo di logica nella
quale stiamo lavorando: In una logica
proposizionale, esso conterrà semplicemente i valori
di verità delle proposizioni primitive, mentre ad esempio in una logica temporale descriverà il punto dell'asse del
tempo in cui valutare la proposizione.
In generale, un modello di una logica è la descrizione degli elementi
rilevanti del contesto nel quale una proposizione deve essere valutata.
Per inciso, uno degli argomenti più importanti della logica matematica
è la teoria dei modelli, che, date alcune proposizioni nella logica predicativa del 1° ordine , studia le caratteristiche
dei modelli nei quali tali proposizioni risultano vere.