English syntax for 'Dogs bark' specifies that it consists of a plural noun followed by an intransitive verb. English semantics for 'Dogs bark' specify its meaning, namely that dogs bark.
In The Sentential Language, we gave an informal description of 
. We also gave a Formal Syntax. However, at this point our language is just a toy, a collection of symbols we can string together like beads on a necklace. We do have rules for how those symbols are to be ordered. But at this point those might as well be aesthetic rules. The difference between well-formed formulae and ill-formed expressions is not yet any more significant than the difference between pretty and ugly necklaces. In order for our language to have any meaning, to be usable in saying things, we need a formal semantics.
Any given formal language can be paired with any of a number of competing semantic rule sets. The semantics we define here is the usual one for modern logic. However, alternative semantic rule-sets have been proposed. Alternative semantic rule-sets of have included (but are certainly not limited to) intuitionistic logics, relevance logics, non-monotonic logics, and multi-valued logics.
The formal semantics for a formal language such as goes in two parts.
- Rules for specifying an interpretation. An interpretation assigns semantic values to the non-logical symbols of a formal syntax. The semantics for a formal language will specify what range of values can be assigned to which class of non-logical symbols. has only one class of non-logical symbols, so the rule here is particularly simple. An interpretation for a sentential language is a valuation, namely an assignment of truth values to sentence letters. In predicate logic, we will encounter interpretations that include other elements in addition to a valuation.
- Rules for assigning semantic values to larger expressions of the language. For sentential logic, these rules assign a truth value to larger formulae based on truth values assigned to smaller formulae. For more complex syntaxes (such as for predicate logic), values are assigned in a more complex fashion.
An extended valuation assigns truth values to the molecular formulae of (or similar sentential language) based on a valuation. A valuation for sentence letters is extended by a set of rules to cover all formulae.
We can give a (partial) valuation 
as:
(Remember that we are abbreviating our sentence letters by omitting superscripts.)
Usually, we are only interested in the truth values of a few sentence letters. The truth values assigned to other sentence letters can be random.
Given this valuation, we say:
![{\displaystyle {\mathfrak {v}}[\mathrm {P_{0}} ]\ =\ {\mbox{True}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebced4e093fec5549c19e71009bbfe61150bcb32)
![{\displaystyle {\mathfrak {v}}[\mathrm {P_{1}} ]\ =\ {\mbox{False}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3abfe7bf710089ee4a80f78e285d70c5e2ac288)
![{\displaystyle {\mathfrak {v}}[\mathrm {P_{2}} ]\ =\ {\mbox{False}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/421c4ef2a1afc19e7f41c997a4c24a8d16ae5df1)
![{\displaystyle {\mathfrak {v}}[\mathrm {P_{3}} ]\ =\ {\mbox{False}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d825606df7242317bd0a3a3ded2cde67c2c0e41b)
Indeed, we can define a valuation as a function taking sentence letters as its arguments and truth values as its values (hence the name 'truth value').
Note that does not have a fixed interpretation or valuation for sentence letters. Rather, we specify interpretations for temporary use.
An extended interpretation generates the truth values of longer sentences given an interpretation. For sentential logic, an interpretation is a valuation, so an extended interpretation is an extended valuation. We define an extension 
of valuation as follows.
For all sentence letters 
and 
from 
![{\displaystyle {\mbox{i.}}\quad {\overline {\mathfrak {v}}}[\varphi ]={\mathfrak {v}}[\varphi ].\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5501c945370a112d0e38c8d7c98fbd1957a0b2fd)
![{\displaystyle {\mbox{ii.}}\quad {\overline {\mathfrak {v}}}[\lnot \varphi ]\ =\ {\begin{cases}{\mbox{True}}&{\mbox{if}}\ {\overline {\mathfrak {v}}}[\varphi ]={\mbox{False}};\\{\mbox{False}}&{\mbox{otherwise (i.e., if}}\ {\overline {\mathfrak {v}}}[\varphi ]={\mbox{True).}}\end{cases}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d273839318730f629b864f7ee2b347b77a3d6d18)
![{\displaystyle {\mbox{iii.}}\quad {\overline {\mathfrak {v}}}[(\varphi \land \psi )]\ =\ {\begin{cases}{\mbox{True}}&{\mbox{if}}\ {\overline {\mathfrak {v}}}[\varphi ]={\overline {\mathfrak {v}}}[\psi ]={\mbox{True}};\\{\mbox{False}}&{\mbox{otherwise}}.\end{cases}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/beee36cb5bd2db11eba8ff28102b09ab55455d54)
![{\displaystyle {\mbox{iv.}}\quad {\overline {\mathfrak {v}}}[(\varphi \lor \psi )]\ =\ {\begin{cases}{\mbox{True}}&{\mbox{if}}\ {\overline {\mathfrak {v}}}[\varphi ]={\mbox{True}}\ {\mbox{or}}\ {\overline {\mathfrak {v}}}[\psi ]={\mbox{True}}\ {\mbox{(or both)}};\\{\mbox{False}}&{\mbox{otherwise}}.\end{cases}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f77ad1978590950a29bfe27fb9eb4961336aba1e)
![{\displaystyle {\mbox{v.}}\quad {\overline {\mathfrak {v}}}[(\varphi \rightarrow \psi )]\ =\ {\begin{cases}{\mbox{True}}&{\mbox{if}}\ {\overline {\mathfrak {v}}}[\varphi ]={\mbox{False}}\ \ {\mbox{or}}\ \ {\overline {\mathfrak {v}}}[\psi ]={\mbox{True}}\ \ {\mbox{(or both)}};\\{\mbox{False}}&{\mbox{otherwise.}}\end{cases}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58609bb31fc2cf95154d2548c4186fc7b3222a83)
![{\displaystyle {\mbox{vi.}}\quad {\overline {\mathfrak {v}}}[(\varphi \leftrightarrow \psi )]\ =\ {\begin{cases}{\mbox{True}}&{\mbox{if}}\ {\overline {\mathfrak {v}}}[\varphi ]={\overline {\mathfrak {v}}}[\psi ];\\{\mbox{False}}&{\mbox{otherwise}}.\end{cases}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c7992cb4fd370092b7de8c79b88af3968e0ec08)
We will determine the truth value of this example sentence given two valuations.
First, consider the following valuation:
(2) By clause (i):
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {P} ]\ =\ {\mbox{True}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78cdb69761b884faa72b30db3cff8fc4a327856f)
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {Q} ]\ =\ {\mbox{True}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d0efa7a915fac7ef962d0f2f6ccb28929c35307)
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {R} ]\ =\ {\mbox{False}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec51568f30e8f378d378aff08b4e904288acc51c)
(3) By (1) and clause (iii),
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {P} \land \mathrm {Q} ]\ =\ {\mbox{True}}.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11cae0180cab0f6442791354b034e77a9fb6aebb)
(4) By (1) and clause (iv),
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {Q} \lor \mathrm {R} ]\ =\ {\mbox{True}}.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a210367b901f58d46e5dc0bfa02614aed0e4a5cf)
(5) By (4) and clause (v),
![{\displaystyle {\overline {\mathfrak {v}}}[\lnot (\mathrm {Q} \lor \mathrm {R} )]\ =\ {\mbox{False}}.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16c3679ea35b0aaa6a8d6f46967b89f9d120ef0b)
(6) By (3), (5) and clause (v),
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {P} \land \mathrm {Q} \rightarrow \lnot (\mathrm {Q} \lor \mathrm {R} )]\ =\ {\mbox{False}}.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/254c7028855c2601b10b61357fa0c82fb832fae6)
Thus (1) is false in our interpretation.
Next, try the valuation:
(7) By clause (i):
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {Q} ]\ =\ {\mbox{False}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcb1a4a71fc929b4b5978178306540fac36eefe8)
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {R} ]\ =\ {\mbox{True}}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1abbcf46ce1162c387f473031daa2f15c5f4be6)
(8) By (7) and clause (iii),
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {P} \land \mathrm {Q} ]\ =\ {\mbox{False}}.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7537741c53cf4db9db28ae3f3938c7dae033f2e)
(9) By (7) and clause (iv),
(10) By (9) and clause (v),
(11) By (8), (10) and clause (v),
![{\displaystyle {\overline {\mathfrak {v}}}[\mathrm {P} \land \mathrm {Q} \rightarrow \lnot (\mathrm {Q} \lor \mathrm {R} )]\ =\ {\mbox{True}}.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb0856841a0bf2fec31c009819a0109c99900644)
Thus (1) is true in this second interpretation. Note that we did a bit more work this time than necessary. By clause (v), (8) is sufficient for the truth of (1).