dějiny logiky