Teildisziplin der Logik, die sich mit den Sprachen und Systemen befasst, die der Mensch zur Vermittlung von Wahrheitswerten einsetzt. Sie untersucht die Eigenschaften dieser logischen Systeme.