REDUCCIÓN
1) En lógica se llama «reducción» a diversas operaciones. En primer lugar a la reducción, ἀπαγωγή, de las figuras del silogismo a la primera figura, única que Aristóteles consideraba como bien fundada. En segundo término, a la abducción. Finalmente, al método de prueba indirecta llamado a veces razonamiento apagógico y con más frecuencia reducción a lo absurdo y reducción a lo imposible, ἀπαγωγὴ εἰς τὸ ἀδυνάτον. En este último caso se trata de un método indirecto de demostración que prueba la verdad de una proposición por la imposibilidad de aceptar las consecuencias que se derivan de su contradictoria.
Los escolásticos han usado la noción de «reducción» en varios sentidos. Cabe entender por ‘reducción’ la inclusión de una entidad dentro de un género o clase. Cabe entender también por ella la reducción de un silogismo a la primera figura. Cabe entender asimismo por ‘reducción’