Definición inductiva
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:108
Definición inductiva
Uno de de los procedimientos para definir los objetos de los sistemas
matemáticos y lógicos. Consiste en indicar: a) los objetos iniciales
o elementales del sistema; b) las reglas u operaciones, que permiten
formar con los objetos de que se dispone, nuevos objetos del sistema.
De este modo se determina el número natural (en aritmética), la
fórmula correctamente estructurada y también la correctamente
demostrada (en los cálculos lógicos) y otros. La definición inductiva
ha de ser completa, es decir, con sus recursos han de quedar definidos
todos los objetos del sistema dado y sólo ellos.
Diccionario de filosofía · 1984:106
Definición inductiva
Modo de determinar los objetos de los sistemas matemáticos y lógicos.
Consiste en que se indican: a) los objetos de partida, o elementales,
del sistema; b) las reglas u operaciones que permiten formar de los
objetos existentes los nuevos objetos del sistema. De este modo se
determina el número natural (en aritmética), la fórmula estructurada
correctamente, así como la verificable (en los cálculos lógicos), etc.
La definición inductiva debe ser completa, es decir, sus medios deben
definir a todos los objetos de un sistema dado y únicamente a ellos.