object logic

Object logic is the formal system that directly represents and manipulates statements about a subject matter, as opposed to reasoning about the properties of the logical system itself (which is the role of meta-logic).