polje: filologija
grana: opće jezikoslovlje (lingvistika)
potpodrucje: generativna gramatika
teorija značenja prema kojoj značenje rečenice ne ovisi samo o tome kakav je stvarni, postojeći svijet, nego i o tome kakav svijet može biti ili kakav bi mogao biti
To je jedna od osnovnih značajka Montagueove semantike.