 The logical form of (24) is \(\mathbf{M}(\mathbf{s})\), where \(\mathbf{M}\) is the predicate “is mortal” and \(\mathbf{s}\) is the singular term “Socrates”. Let’s write [\(\mathbf{E}\)] for the semantic value of an expression \(\mathbf{E}\). In accordance with the previous paragraph, the semantic values relevant to (24) are as follows: