waarheidsonderwaarden
Waarheidsonderwaarden zijn de voorwaarden waaronder een zin waar is in een gegeven context of in een model van de werkelijkheid. In de semantiek en de filosofie van de taal geven ze aan wat er waar moet zijn om een uitspraak te laten kloppen. Vaak wordt dit gedaan via mogelijke werelden of via een formele interpretatie in een context, zodat elke zin een conditie heeft waardoor hij waar of onwaar kan zijn. Truth-conditional benaderingen benadrukken dat de betekenis van zinnen mede bestaat uit hun waarheid-onderwerpen: wanneer ze waar zijn, en onder welke omstandigheden.
Een veelgebruikte manier om waarheidsonderwaarden te modelleren is door middel van mogelijke werelden: een zin is
Formeel wordt vaak gewerkt met modellen M en toewijzingen g zodat M,g φ waar maakt. De verzameling