 As it turns out, it is very hard to think of universally accepted ideas about what the generic properties of logical truths are or should be. A widespread, perhaps universally accepted idea is that part of what should distinguish logical truths from other kinds of truths is that logical truths should have a yet to be fully understood modal force. It is typical to hold that, in some sense or senses of “could”, a logical truth could not be false or, alternatively, that in some sense or senses of “must”, a logical truth must be true. But there is little if any agreement about how the relevant modality should be understood.