Interpretation/Examples
Jump to navigation
Jump to search
Examples of Interpretations
Aristotle
The symbol $\text {Aristotle}$ has no meaning in itself.
However, it acquires meaning when it is assigned an interpretation such that $\text {Aristotle}$ stands for the person Aristotle.
Propositional Calculus
The propositional calculus $\CC$ has a domain $\set {\T, \F}$ representing true and false.
The semantic rules of $\CC$ assign to each WFF of $\CC$ one or other of $\T$ and $\F$.
The connectives of $\CC$ are assumed in this context to have a fixed meaning.