sejarah logika