Historia logiki