The subdiscipline of logic that studies the languages and systems that humans use to communicate truths. It studies the properties of these logical systems.
Data Source: Unified Global Standards (ISCED, ISCO, O*NET, ESCO)