La branca della logica che studia i linguaggi e i sistemi utilizzati dall’uomo per comunicare le verità. Studia le proprietà di questi sistemi logici.