Dějiny logiky