Storia della logica