Semantics is useful for investigating a logic (i.e. a derivation system) only if the semantical entailment relation reflects its syntactical counterpart, the "consequence" relation ("derivability").
The systematic combination of these elements, according to syntactical rules, would generate the infinite combinations of computational structures required to represent human language.