Difference between revisions of "Negation"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) (+ 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: |
| − | |||
| − | |||
(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=== | ||
| − | *[[ | + | *[[Direct negation]] |
| − | *[[ | + | *[[Double negation]] |
| + | *[[External negation]] | ||
| + | *[[Indirect negation]] | ||
| + | *[[Internal negation]] | ||
| + | *[[Sentential negation]] | ||
===See also=== | ===See also=== | ||
| − | *[[ | + | *[[Negative attraction]] |
| − | *[[ | + | *[[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. | ||
| − | === | + | ===Other languages=== |
| − | + | *French [[négation]] | |
| − | [ | + | *German [[Negation (de)]], [[Verneinung]] |
| − | |||
| − | |||
| − | |||
| − | [[ | ||
| − | |||
{{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
- 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 (de), Verneinung
