Istoria logicei