Metalogic

Metalogic is a philosophical basis for discipline that deals with the conditions and principles of logic.

It's not just about the semantic justification of such truth-value tables by logic calculi, but especially to a formalized theory of set theory and a model theory.