Godel 16

General Remarks

The formal language symbols and well defined set of formulas i.e. established syntax do not directly carry with them any logical value.

We assign a logical value to syntactically defined 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 define different logics.

— Cse371, Math371, LOGIC, Fall 2013

— Professor Anita Wasilewska

2013.10.22 Tuesday ACHK