A theory that focuses on the relationship between the meaning of a sentence and its truth conditions.