Cet article donne une synthèse du cadre théorique du projet LogPrag, plus spécifiquement des relations entre la sémantique des mots logiques et leur pragmatique. Il discute du cadre théorique dans lequel une telle relation peut être explicitée, et aussi des raisons pour lesquelles l'enrichissement pragmatique des connecteurs logiques et de la négation est requis. Nous défendrons l'hypothèse selon laquelle la signification linguistique correspond à la signification logique. La motivation principale est la capacité dérivationnelle d'une telle sémantique, complétée par une pragmatique inférentielle. Nous montrerons qu'une telle sémantique a un autre avantage : elle permet de donner une image précise de l'interface sémantique-pragmatique, et des raisons pour lesquelles la sémantique logique doit être complétée par une pragmatique inférentielle. Nous aborderons enfin la relation entre signification conceptuelle vs procédurale et type de significations sémantiques et pragmatiques.