Definition:Language (Logic)
From ProofWiki
Definition
Within areas of mathematical logic where study is more focused on interpretations rather than syntax, the term "language" is loosely used, often with the meaning of signature, where the formal language of interest built using the logical symbols along with the symbols from the signature is understood from the context.
