Well, I'd say that came under metaphysics - theoretical metaphysics, versus applied metaphysics, which assumes an epistimological framework - part of which must be the elements of logic, which are like lines and points and the idea of intersection - you take them as given.