Springer book http://www.springer.com/la/book/9783642128202 "New Structures for Physics" (which contains lot of metaphysics despite the physics in its title) elaborates categorical and monoidal categorical logics that are based on the category theory. Category, as applied to logic, consists from objects (propositions) and arrows from object to object (proofs; given consequence relation among objects). So, the concrete category reflects some world (real or imagined) and the category draws the consequence relation from this world.
The question is - what consequences exists in this world? Can we classify all the possible consequences (e.g. consequences can arise from the inheritace relation among the objects, from the aggregation relation among the objects)? Maybe such classification can uncover the deeper, finer structure of the category for given logics?
Is there branch of philosophy that studies the types of consequences (or the semantical structures in the real world and of the commonsense knowledge more generally)? Maybe phenomenology, which reflects about real world, is the appropriate direction for this?