 This definition treats propositions as syntactic objects, as opposed to semantic or mental objects.That is, propositions in this sense are meaningless, formal, abstract objects.They are assigned meaning and truth-values by mappings called interpretations and valuations, respectively.