more from this thinker     |     more from this text


Single Idea 23493

[filed under theme 5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not ]

Full Idea

If there were an object called 'not', it would follow that 'not-not-p' would say something different from what 'p' said, just because the one proposition would then be about 'not', and the other would not.

Gist of Idea

'Not' isn't an object, because not-not-p would then differ from p

Source

Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921], 5.44)

Book Ref

Wittgenstein,Ludwig: 'Tractatus Logico-Philosophicus (Pears)', ed/tr. Pears,D. /McGuinness,B. [RKP 1961], p.45


A Reaction

That is, the first proposition would be about not-p, and the second would be about p. Assuming we can say what such things are 'about'. A rather good argument that the connectives are not entities. P and double-negated P should be indistinguishable.


The 13 ideas with the same theme [role of 'not' in systems of logic]:

The contradictory of a contradictory is an affirmation [Stoic school, by Diog. Laertius]
Normativity needs the possibility of negation, in affirmation and denial [Fichte, by Pinkard]
Negation of negation doubles back into a self-relationship [Hegel, by Houlgate]
Is it possible to state every possible truth about the whole course of nature without using 'not'? [Russell]
Negations are not just reversals of truth-value, since that can happen without negation [Wittgenstein on Russell]
We may correctly use 'not' without making the rule explicit [Wittgenstein]
'Not' isn't an object, because not-not-p would then differ from p [Wittgenstein]
Negation doesn't arise from reasoning, but from deep instincts [Cioran]
Sommers promotes the old idea that negation basically refers to terms [Sommers, by Engelbretsen]
Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett]
Natural language 'not' doesn't apply to sentences [Dummett]
'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride]
Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen]