Wir können uns (leicht) Menschen mit einer ‘primitiveren’ Logik denken, in der es etwas unserer Verneinung Entsprechendes nur für gewisse || bestimmte Sätze gibt; für solche etwa, die keine Verneinung enthalten. In der Sprache dieser Menschen könnte man dann einen Satz wie “Er geht in dieses Haus” verneinen; sie würden aber eine Verdoppelung der Verneinung immer nur als bloße Wiederholung der Verneinung, nie als ihre Aufhebung || , nie als Aufhebung der Verneinung verstehen.