negation
Jump to navigation
Jump to search
English
[edit]
Etymology
[edit]From Middle English negacioun, from Old French negacion, from Latin negātiō (“a denial; negative word”). Morphologically negate + -ion
Pronunciation
[edit]Noun
[edit]negation (countable and uncountable, plural negations)
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
- 1909, Thomas Hardy, The Flirt's Tragedy:
- But it pleased her to play on my passion / And whet me to pleadings / That won from her mirthful negations / And scornings undue.
- (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, §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[1], 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
[edit]- (a proposition which negates another one): contradictory
- (logical operation): logical connective
Derived terms
[edit]Related terms
[edit]Translations
[edit]act of negating something
|
denial or contradiction
|
negation in logic
|
- The translations below need to be checked and inserted above into the appropriate translation tables. See instructions at Wiktionary:Entry layout § Translations.
Translations to be checked
Anagrams
[edit]Categories:
- English terms derived from Proto-Indo-European
- English terms derived from the Proto-Indo-European root *h₁eǵ-
- English terms inherited from Middle English
- English terms derived from Middle English
- English terms derived from Old French
- English terms derived from Latin
- English 3-syllable words
- English terms with IPA pronunciation
- English terms with audio pronunciation
- Rhymes:English/eɪʃən
- Rhymes:English/eɪʃən/3 syllables
- English lemmas
- English nouns
- English uncountable nouns
- English countable nouns
- English terms with quotations
- en:Logic