The difference between Formal system and Semantics
When used as nouns, formal system means the grouping of a formal language and a set of inference rules and/or axioms, whereas semantics means a branch of linguistics studying the meaning of words.
check bellow for the other definitions of Formal system and Semantics
-
Formal system as a noun (logic):
The grouping of a formal language and a set of inference rules and/or axioms.
-
Semantics as a noun (linguistics):
A branch of linguistics studying the meaning of words.
Examples:
"'Semantics is a foundation of lexicography."
-
Semantics as a noun:
The study of the relationship between words and their meanings.
-
Semantics as a noun:
The individual meanings of words, as opposed to the overall meaning of a passage.
Examples:
"The semantics of the terms used are debatable."
"The semantics of a single preposition is a dissertation in itself."
-
Semantics as a noun (computer science):
The meaning of computer language constructs, in contrast to their form or syntax.
Examples:
"file sharing and locking semantics"