LOGIC VERSUS LANGUAGE: negation in language: pragmatics, function, ontology