Two types of negation: semantics, distribution and history