Langage, vérité et logique