The formal language symbols and well deﬁned set of formulas i.e. established syntax do not directly carry with them any logical value.
We assign a logical value to syntactically deﬁned formulas of a given language in a separate step.
This next step is called a semantics of the given language.
We will see that a given language can have different semantics and the different semantics will deﬁne different logics.
— Cse371, Math371, LOGIC, Fall 2013
— Professor Anita Wasilewska
2013.10.22 Tuesday ACHK