The subdiscipline of logic that studies the languages and systems that humans use to communicate truths. It studies the properties of these logical systems.