Difference between revisions of "Negation"

From Glottopedia
Jump to navigation Jump to search
(+ utrecht)
(Exchanged the title of the German version ("Negation") with "Negation (de)", since "Negation" is already the title of the English version)
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
'''Negation''' refers to the situation in which something is said not to be the case.
+
'''Negation''' refers to the situation in which something is said not to be the case. In [[propositional logic]], it is the [[logical operation]] which turns the [[truth value]] of a [[proposition]] into its opposite. Proposition Neg phi is true if and only if phi is not true:
 
 
'''Negation''' is the logical operation in [[propositional logic]] which turns the truth value of a proposition into its opposite. Proposition Neg phi is true if and only if phi is not true:
 
  
 
  (i) phi Neg phi
 
  (i) phi Neg phi
Line 7: Line 5:
 
  0   1
 
  0   1
  
The negation operator Neg is a unary [[connective]]. In syllogistic logic, negation can be an operator on terms. Thus in ''nobody is ill'', the term ''nobody'' is considered the negation of ''somebody''.
+
The negation operator Neg is a unary [[connective]]. In [[syllogistic logic]], negation can be an operator on terms. Thus in ''nobody is ill'', the term ''nobody'' is considered the negation of ''somebody''.
  
 
===Term properties===
 
===Term properties===
Line 13: Line 11:
  
 
===Subtypes===
 
===Subtypes===
*[[double negation]]
+
*[[Direct negation]]
*[[sentential negation]]
+
*[[Double negation]]
 +
*[[External negation]]
 +
*[[Indirect negation]]
 +
*[[Internal negation]]
 +
*[[Sentential negation]]
  
 
===See also===
 
===See also===
*[[negative transportation]]
+
*[[Negative attraction]]
*[[prohibitive]]
+
*[[Negative raising]]
 +
*[[Negative transportation]]
 +
*[[Prohibitive]]
 +
 
 +
=== Links ===
 +
 
 +
[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Negation&lemmacode=491 Utrecht Lexicon of Linguistics]
  
 
===References===
 
===References===
Line 25: Line 33:
 
*[[Horn, Lawrence R.]] 1989. ''A natural history of negation.'' Chicago: University of Chicago Press.
 
*[[Horn, Lawrence R.]] 1989. ''A natural history of negation.'' Chicago: University of Chicago Press.
  
=== Links ===
+
===Other languages===
 
+
*French [[négation]]
[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Negation&lemmacode=491 Utrecht Lexicon of Linguistics]
+
*German [[Negation (de)]], [[Verneinung]]
 
 
 
 
{{dc}}
 
[[Category:Semantics]]
 
 
 
  
 
{{dc}}
 
{{dc}}
 
[[Category:Semantics]]
 
[[Category:Semantics]]

Latest revision as of 16:35, 18 July 2014

Negation refers to the situation in which something is said not to be the case. In propositional logic, it is the logical operation which turns the truth value of a proposition into its opposite. Proposition Neg phi is true if and only if phi is not true:

(i)	phi		Neg phi
 	 1		   0
	 0		   1

The negation operator Neg is a unary connective. In syllogistic logic, negation can be an operator on terms. Thus in nobody is ill, the term nobody is considered the negation of somebody.

Term properties

Relational adjective: negative

Subtypes

See also

Links

Utrecht Lexicon of Linguistics

References

  • Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
  • Givón, Talmy. 1978. Negation in language: Pragmatics, function, ontology. In: Peter Cole (ed.) Syntax and Semantics, Volume 9 (Pragmatics). New York: Academic Press, 69-112.
  • Horn, Lawrence R. 1989. A natural history of negation. Chicago: University of Chicago Press.

Other languages