La sous-discipline de la logique qui consiste à étudier les langues et systèmes utilisés par l’homme pour communiquer des vérités. Elle étudie les propriétés de ces systèmes logiques.