Formálně‑sémantický model jazyka navržený ✍Barwisem & Perrym (1983); viz ↗formální sémantika. Je založena na myšlence, že výroky vyjadřují ‚situace‘, které jsou v rámci tohoto modelu explikovány jako určité matematické struktury. Tak např. věta Soused čte svému synovi Hobita bude vyjadřovat situaci, jež bude uspořádanou množinou tvořenou vztahem čtení, třemi objekty (sousedem, jeho synem a knihou Hobit), plus případně ještě tzv. pozitivní polaritou (indikující, že tato situace skutečně nastává).