|Negation, philosophy, logic: negation of a sentence. In logic, this is done by prefixing the negation symbol. Colloquially expressed by the word "not", which can be at different positions in the sentence. If the negation refers only to one sentence part, this must be made clear by the position, e.g. a predicate can be denied without negating the whole sentence. In logic, therefore, inner and outer negation is distinguished by the use of different symbols._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.|
Books on Amazon
|EMD II 295
inner/outer negation/Brian Medlin: E.g. paradox of movement - Problem: to choose between the last moment of rest and the first movement (two Dedekind cuts) - 1. "not moving rrr or rr (followed or led or both: of rest) 2. "it is not the case that x was moving: not rbr - 3. x was moving: only bb or bbb - good example because no meaningless names.
inner/outer negation/Wiggins: the problem: (distinguishing between final rest/first movement) appears in a simple language elsewhere, even if one has avoided "is in motion" - instead formula with "satisfies": "at which point did it stopped being true that "not (x moved)" even though x itself still does not move?" - No solution: intuitionistic, sentence of the excluded third: then a problem in the meta language: between predicate negation and sentence negation - Standard solution for single negation in object language/meta language (+) - Problem: does not explain why it is attractive to make the difference: a) it can be true that it is not the case, that El Dorado is located in Venezuela - and b) not true that El Dorado is not-in-Venezuela (dashes) - this difference of predicate modification is not made clear in the modal logic.
Solution: uniform functor of predicates on predicates, long and short range, both forms derivable apart - semantically different interpretations, to build syntactically distinguishable structures - predicate negation: here the functor "no" leads from the predicate to its complement.
Sentence negation: here the functor leads from the predicate to predicate, e.g. from the universal predicate "lx (Socrates is bald)" (assuming he was bald) - to zero predicate "not[lx (Socrates is bald)])".
Necessary/Wiggins: analog to inner/outer negation: Tradition: to blurr difference after the first method: E.g. "necessarily Socrates is a human" and "Socrates is necessarily a human" - Wiggins pro second method -> Definition fulfillment for sentences with "necessaary": Wiggins pro existence as necessary property -> existential generalization._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Essays on Identity and Substance Oxford 2016
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989