Difference between revisions of "Negation"
Jump to navigation
Jump to search
Volker gast (talk | contribs) m (added some types of negation) |
Haspelmath (talk | contribs) |
||
| 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: |
| − | |||
| − | |||
(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 25: | Line 23: | ||
*[[Negative transportation]] | *[[Negative transportation]] | ||
*[[Prohibitive]] | *[[Prohibitive]] | ||
| + | |||
| + | === Links === | ||
| + | |||
| + | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Negation&lemmacode=491 Utrecht Lexicon of Linguistics] | ||
===References=== | ===References=== | ||
| Line 31: | 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. | ||
| − | === | + | ===Other languages=== |
| − | + | French [[négation]] German [[Negation]], [[Verneinung]] | |
| − | [ | ||
| − | |||
{{dc}} | {{dc}} | ||
Revision as of 12:17, 24 March 2009
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
- Direct negation
- Double negation
- External negation
- Indirect negation
- Internal negation
- Sentential negation
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
French négation German Negation, Verneinung
