Abstract
Según el punto de vista de P. Strawson (1952), p. 168, y en general de un buen número de lógicos modernos, con el fin de subsanar ciertas dificultades .interpretativas que presenta la contraposición, una operación lógica definida primeramente por Aristóteles (Tópicos 113b15-27), es necesario restringir su validez lógica. Y es que la operación no es válida para todos los tipos cuantificados de proposiciones que Aristóteles define (es decir, las proposiciones tipo A, E, I, y O) Strawson sostiene, en efecto, que las proposiciones tipo A y tipo O se contrapondrán válidamente, mientras que las tipo E lo harán por imitación y las tipo I no se podrán contraponer válidamente.