Created on March 5, 2013, 8:21 p.m. by Hevok & updated by Hevok on May 2, 2013, 4:39 p.m.
The first and most natural Variant of Semantics is the **Intentional Semantics. So the Meaning intended by the user. This restricts the set of all possible Meanings and Models to the Meaning intended by the human User (e.g. the computation of the factorial)
On the other hand we have the formal Semantics. The formal Semantics for instance gives the mathematical Definition (f : n -> n!).
For Programming Language we also have the Procedural Semantics. The Procedural Semantics describes the behavior of the program at execution time. It means the Meaning of a Language expression is the Procedure that takes place internally whenever the expression does occur.
The most important Semantic is the Model-theoretic Semantics
which performs the Semantic Interpretation of artificial and Human Natural Languages by identifying the Meaning with an exact and formally defined Interpretation with a Model. So therefore, model-theoretic Semantics where we try to identify a Model as a formal Interpretation of that Language. So for example for Propositional Logics the Model-theoretic Semantics is the assignment of Truth or False values and the description of Logical Connectives with the help of Truth Tables. Therefore, we make a model for Propositional Logic.
Comment on This Data Unit