4.0641 Si potrebbe dire: la negazione è già correlata al luogo logico che la proposizione negata determina.

La proposizione che nega determina un altro luogo logico rispetto alla proposizione negata.

La proposizione che nega determina un luogo logico con l'aiuto del luogo logico della proposizione negata, descrivendo il primo come collocato al di fuori del secondo.

Che si possa negare di nuovo la proposizione negata basta per mostrare che ciò che viene negato è già una proposizione, e non solo la bozza di una proposizione.