Razmerje med označevalčevo in spekulativno logiko, ekstrapolirano iz izpeljave dokaza protislovnosti prve