VARIABLE

Según Whitehead y Russell (Principia Mathematica, I, 4-5), la idea lógica de variable es más general que la idea mate­mática. En matemática una variable ocupa el lugar de una cantidad o número indetermina­dos. En lógica la variable es «un símbolo cuyo significado no es determinado». Las diversas asignaciones (de significado) que pue­den dársele son llamadas «valores de la varia­ble». Estos valores pueden ser cualquier con­junto de entidades, proposiciones, funciones, clases o relaciones. El término ‘variable’ puede tomarse en dos sentidos: restringido y no restringido. En el primer sentido los valo­res de la variable se limitan sólo a algunos de los que es capaz de tomar. En el segundo sen­tido los valores de la variable no se limitan a algunos de los que es capaz de tomar. La no­ción de variable tiene, así, varias característi­cas. Primera, una variable es ambigua en su denotación y es definida de acuerdo con ello. Segunda, una variable