La abstracción (del latín abstrahere, 'alejar, sustraer, separar') es una operación mental destinada a aislar conceptualmente una propiedad o función concreta de un objeto, y pensar qué es, ignorando otras propiedades del objeto en cuestión.
Los realistas exagerados (Platón fue en la antigüedad el prototipo de este realismo) sostienen que tales ideas universales están en la mente de Dios (que crea el mundo conforme a ellas).
Los realistas moderados sostienen que los universales son entes de razón con fundamento en la realidad (neoaristotélicos, neoescolásticos y otros contemporáneos).
Por el contrario, las instancias, o miembros, de tal cosa abstracta pueden existir en muchos lugares y tiempos diferentes.
Un objeto físico (un posible referente de un concepto o palabra) se considera concreto (no abstracto) si es un individuo particular que ocupa un lugar y un tiempo determinados.
Por ejemplo, es difícil ponerse de acuerdo sobre si conceptos como Dios, el número tres y la bondad son reales, abstractos o ambos.
Un enfoque para resolver esta dificultad es utilizar predicado como término general para indicar si las cosas son reales, abstractas, concretas o de una propiedad particular (por ejemplo, bueno).
Las preguntas sobre las propiedades de las cosas son entonces proposicioness sobre predicados, proposiciones que quedan para ser evaluadas por el investigador.
Las abstracciones a veces tienen referentes ambiguos; por ejemplo, "felicidad" (cuando se usa como abstracción) puede referirse a tantas cosas como personas y acontecimientos o estados del ser que los hacen felices.
Las flechas entre el gerundio/participio presente SENTADO y los sustantivoss agente y ubicación expresan la relación básica del diagrama; el agente está SENTADO en la ubicación; Elsie es una instancia de GATO.
[11] Los informáticos utilizan la abstracción para hacer modelos que puedan ser utilizados y reutilizados sin tener que reescribir todo el código del programa para cada nueva aplicación en cada tipo de ordenador diferente.
Ellos comunican sus soluciones con el ordenador escribiendo código fuente en algún lenguaje informático particular que puede ser traducido a código máquina para que lo ejecuten diferentes tipos de ordenadores.
La solución al problema puede entonces integrarse en el marco del sistema con un mínimo trabajo adicional.