Definify.com
Webster 1913 Edition
Negation
Ne-ga′tion
,Noun.
1.
The act of denying; assertion of the nonreality or untruthfulness of anything; declaration that something is not, or has not been, or will not be; denial; – the opposite of
affirmation
. Our assertions and
negations
should be yea and nay. Rogers.
2.
(Logic)
Description or definition by denial, exclusion, or exception; statement of what a thing is not, or has not, from which may be inferred what it is or has.
Webster 1828 Edition
Negation
NEGATION
,Noun.
1.
Denial; a declaration that something is not; opposed to affirmation; as, the soul is not matter.2.
In logic, description by denial, exclusion or exception.Negation is the absence of that which does not belong to the thing we are speaking of.
3.
Argument drawn from denial.It may be proved by way of negation, that they came not from Europe, as having no remainder of the arts, learning and civilities of it.
Definition 2024
Negation
negation
negation
English
Noun
negation (countable and uncountable, plural negations)
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
- Thomas Hardy
- But it pleased her to play on my passion / And whet me to pleadings / That won from her mirthful negations / And scornings undue.
- Thomas Hardy
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- 2001, Mark Sainsbury, chapter 1, in Logical Forms — An Introduction to Philosophical Logic, 2nd edition, Blackwell Publishing, ISBN 978-0-63121-679-7, §4, page 19:
- You get the negation of a proposition if you insert "not" (or some equivalent expression) into it in such a way as to form a contradictory of it.
-
- (logic) The logical operation which obtains such (negated) propositions.
- 2011 July 20, Edwin Mares, “Propositional Functions”, in The Stanford Encyclopedia of Philosophy, retrieved 2012-07-15:
- Although some of the logicians working in term logic have very complicated treatments of negation, we can see the origin of the modern conception in the extensional tradition as well. In Boole and most of his followers, the negation of a term is understood as the set theoretic complement of the class represented by that term. For this reason, the negation of classical propositional logic is often called ‘Boolean negation’.
-
Hypernyms
- (a proposition which negates another one): contradictory
- (logical operation): logical connective
Related terms
Translations
act of negating something
denial or contradiction
negation in logic