Logic

Logic is an inquiry into the ideal form of inquiry itself.

Said another way:

Logic is the normative science whose object is truth.