Lôgic, lôgic học