Philosophy Lexicon of Arguments

Search  
 
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.
 
Author Item Excerpt Meta data

 
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.
---
II 299
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.
---
II 300
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.
---
II 301
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)])".
---
II 301
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.

Wigg I
D. Wiggins
Essays on Identity and Substance Oxford 2016

EMD II
G. Evans/J. McDowell
Truth and Meaning Oxford 1977

Ev I
G. Evans
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989


> Counter arguments against Wiggins



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-06-24