ABSTRACT. The present paper aims at accounting for the Spanish Imperfecto, Perfecto, Pluscuamperfecto and the Indefinido by applying three binary tense oppositions: Present vs Past, Synchronous vs Posterior and Imperfect(ive) vs Perfect(ive). For the sixteen Spanish tense forms under analysis a binary approach leads to covering twelve of them. Their relation with the preterital forms outside the range of the three oppositions is accounted for by two surgical operations: (a) the notion of Imperfect(ive) is severed from the notion of ongoing progress by restricting it to underinformation about completion and by seeing continuous tense forms as involving a more complex semantics; (b) the notion of (non-)stative is strictly severed from interference of information coming from the arguments of a verb. These theoretical moves make the way free for a formal-semantic insight into the interaction of Spanish tense and aspect. It also paves the way for a principled distinction between completion and anteriority. Restricted to tense forms pertaining to the past, our analysis sheds light on the struggle for survival of tense forms outside the binary system. Keywords: tense, aspect, perfecto, pluscuamperfecto, imperfecto, indefinido, completion, aorist, anteriority, stative, nonstative, discrete, continuous, progressive, terminative, durative RESUMEN. El presente trabajo pretende describir y explicar las siguientes formas verbales del castellano: Imperfecto, Perfecto, Pluscuamperfecto e Indefinido aplicando tres oposiciones temporales binarias: Presente vs Pasado, Sincrónico vs Posterior e Imperfecto/imperfectivo vs Perfecto/perfectivo. Este acercamiento binario cubre doce de las dieciséis formas temporales del castellano analizadas. La relación entre las formas verbales que entran en el sistema binario y las formas de pretérito que no entran en el sistema se explica por dos operaciones quirúrgicas: (a) la noción de Imperfecto/imperfectivo se separa de la noción de progresivo continuo, restringiendo el valor del Imperfecto/imperfectivo a la subinformación sobre su terminación e implicando una semántica más compleja para las formas temporales progresivas; (b) la noción de (no) estatividad está estrictamente separada de la interferencia de la información aspectual procedente de los argumentos de un verbo. Estos movimientos teóricos dan vía libre a una comprensión formal-semántica de la interacción del tiempo y del aspecto en castellano. También allana el camino para una distinción argumentada entre las nociones de terminación y anterioridad. Limitado a formas verbales del pasado, nuestro análisis ilumina la batalla por la supervivencia de las formas temporales fuera del sistema binario.