It makes no sense to me to conflate logical statements and (human) speaker-anchored assertions. When semanticists work on natural language meaning, this requires use of the formal languages. It makes no sense to me to hard-wire human-speakers into a system of abstract logic (which we need when we reason about human speakers).