adj. (Logic) concerned with the meaning and truth of expressions of a formal language, as opposed to their structure in an uninterpreted formal calculus. For example, truth-tables are given as an account of the meaning of the sentential connectives in terms of the contribution they make to the truth-value of compound expressions in which they occur. Compare syntactic.