Loogika ajalugu