 where \(K(x) = \textbf{T}\) iff \(x\) is a present king of France, and \(B(x) = \textbf{T}\) iff \(x\) is bald. (For present purposes, set aside worries about the vagueness of ‘bald’.) And as Russell noted, the following contrary reasoning is spurious: every proposition is true or false; so the present king of France is bald or not; so there is a king of France, and he is either bald or not. For let P be the proposition that the king of France is bald. Russell held that P is indeed true or false. On his view, it is false. Given that \(\neg \exists x [K(x)]\), it follows that