|Negation, philosophy, logic: negation of a sentence. In logic, this is done by prefixing the negation symbol. Colloquially expressed by the word "not", which can be at different positions in the sentence. If the negation refers only to one sentence part, this must be made clear by the position, e.g. a predicate can be denied without negating the whole sentence. In logic, therefore, inner and outer negation is distinguished by the use of different symbols.|
Books on Amazon
Not/Prior: not is a truth-functional adverb - possible: non-extensional adverb - everyone/anyone/possible/context: E.g. "The morning star has not been held for the morning star." - Solution: adverb: "allegedly" (Something that the only morning star is (apparently not (the morning star))). - (Brackets!).
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003