fulfill two major theoretical roles that pertain respectively to logic and to semantics.