Definición formal

Una definición es una proposición o conjunto de proposiciones que exponen de manera unívoca y con precisión la comprensión de un concepto, término o dicción o –si consta de dos o más palabras– de una expresión o locución. Aspira a determinar, por escrito u oralmente, de modo claro y exacto, las cualidades esenciales del tema de que se trate.

Desde un punto de vista una "definición" bien construida debería ser una "determinación o delimitación conceptual de lo que es esencial en un ente, que no supone necesariamente comprobación empírica. Es también, junto con la división y demostración, uno de los procedimientos generales utilizados por la ciencia".

El vocablo definición deriva del caso genitivo latino dēfĭnītĭōnis: del fin (nominativo dēfĭnītĭo). Es decir: denota delimitación de un límite del significado

En la doctrina clásica aristotélica se establece que, como norma general, una definición ha de incluir:

Las reglas principales para enunciar una definición son:

Una definición puede ser una declaración acerca de:

Tipos y técnicas de definición

Las definiciones lexicológicas tienden a ser inclusivas: se trata de captar todo a lo que se aplica el término. Por ello, para muchos propósitos a menudo resultan demasiado vagas.

En psicología se puede necesitar una definición operacional para determinar los conceptos «inteligente», «debilidad mental» o «idiocia». Para ello es preciso recurrir a cifras de cociente intelectual.

En estos casos es improbable que a la definición la contradiga otra definición, basada en otra teoría. Sin embargo, en áreas como la filosofía o las ciencias sociales las definiciones teóricas de un concepto se contradicen frecuentemente.

A definiciones de este tipo se les critica mucho porque hay casos de cadenas circulares de muchos eslabones, de modo que finalmente la consulta queda irresoluta. Son decepcionantes, sobre todo para quienes solo hablan otros idiomas.

La no inclusión del concepto o de la expresión, ni de sus derivados, debería ser extensiva a todas las definiciones, pues por su inserción se incurre en pleonasmo (redundancia), que es equivalente a perogrullada. No se logra el propósito, y deviene en una variante más estrecha de una definición circular. Por desgracia es una «práctica» muy común.

Una definición formal de un objeto matemático es un conjunto de condiciones tales que:

Obviamente una definición formal se hace en el marco de una teoría matemática en la que por tanto se parte de la existencia de determinados objetos. La definición establece restricciones sobre las propiedades de dichos objetos de tal manera que el objeto definido sea una clase bien determinada.

---