Operaciones autoformantes / Operaciones heteroformantes

Son características aspectuales de las operaciones.

Operaciones autoformantes: incluyen la reproducción o re-generación de al menos uno de los términos operados [218].

Operaciones heteroformantes: no poseen tal característica.

Distinguimos tres modos en los cursos operatorios autoformantes:

1. El modo de autoformación modular (por ejemplo: a · 1 = a; a + 0 = a). La idempotencia es un aspecto autoformante de tipo modular.
    
2. El modo de autoformación absorbente (a · 0 = 0).
    
3. El modo de autoformación involutiva [– (–p) = p]. Cabría reducir la idempotencia a un caso de involución autoformante:
   X · X = X · X + ∅ = X · X + X · X' = X (X+X') = X · 1 = X

La distinción entre operaciones autoformantes y heteroformantes ha sido propuesta como criterio para establecer una línea de demarcación entre la Lógica y la Matemática.

{TCC 1388-1389 / → BP07 16-39 / → BP08 4-25}

<<< Diccionario filosófico >>>