historia logiki