We learn to sort and categorise things, to form sets and classes of things. Formal logic is nothing more nor less than the behaviour of sets of things. However, the question is not whether logic can exist before or other than in the minds of thinking organisms, it is a question as to whether this thought object is true , or has truth . Now I hope you can see the purpose of the psychological diversion from the epistemological question. Dialectics Dialectical Logic is a more general, comprehensive development of logic than formal logic.
Formal logic is based on the relation of identity and simplicity of concatenation.
Consequently, the grasping of dialectics in the form of concepts arises later in historical and cognitive development than formal logic. It describes how the formal logic which is adequate at one moment breaks down and re-emerges in the form of a formal logic reflecting different things at another. This is somewhat like the more general fields of mathematics such as topology which are capable of representing whole areas of mathematics, different algebras, as values within its higher categories and comprehend the transformation of one into another - simpler, more comprehensive, but from the point of view of notion, more developed, higher. We act dialectically all the time. It could not be otherwise.