Abstracción, generalización, concreción
Un texto escolar de matemáticasmuestra así la operación suma: dos manzanas más tres peras igual a cinco naranjas. Buen ejemplo de mala abstracción.
Abstracción se opone a concreción. Cuando decimos que dos más tres es igual a cinco realizamos una buena abstracción. Ahora bien, es lícito preguntarnos: ¿dos de qué? ¿Puede el dos existir, como si dijéramos, en abstracto?
Esperamos encontrar grandes cantidades de abstracción:
- en las matemáticas, y
- en la filosofía, incluída la lógica.
Aunque también en la programación de ordenadores o ingeniería de software encontramos no poca abstracción.
Tal vez la abstracción consista en dejar variables sin ligar. Por ejemplo: x1 + x2 = 5. x1 podría valer 2, ó 1 etc. Es como si dijéramos cualquier
. Como en La unión de un conjunto A y el conjunto vacío es el conjunto A
.
Con frecuencia podemos decir que una cosa es más abstracta que otra. El Análisis Matemático resulta más abstracto que la Aritmética. La Mecánica Newtoniana es más abstracta que el día a día de un mecánico de coches. El sentido común de un ama de casa cuando compra es más concreto que las teorías del economista Keynes. Etc.
El veganismo es más abstracto que el vegetarianismo.
El Budismo es más abstracto que el Cristianismo, y éste a su vez que el Islam.
La Literatura trata de transmitir algún tipo de verdad universal mediante situaciones concretas. En cambio la Ingeniería del Software intenta aplicar grandes dosis de abstracción a la solución de problemas concretos.
Los lenguajes informáticos son más abstractos que las lenguas porque permiten a uno definir sus propios sustantivos, verbos y adjetivos.
La generalización consiste en predicar algo de un grupo o conjunto de entes. Ejemplo:
Todos los hombres son mortales.