Filosofía en español
Filosofía en español
Conceptos de la matemática y de la lógica. En matemática, suelen definirse como magnitudes que toman distintos valores o, correspondientemente, conservan un mismo valor. Su aplicación sistemática se inició con Descartes. En la lógica matemática, las variables se emplean por lo general al formular las leyes de la lógica, los axiomas y reglas de inferencia de los cálculos lógicos, lo cual subraya el carácter general de dichas magnitudes. Las variables, en este caso, designan en lógica objetos constantes derivados (enunciados, cosas, predicados); tales variables se denominan de contenido. Pero en los cálculos lógicos, las variables pueden considerarse también, simplemente, como objetos determinados de una manera peculiar; tales variables se denominan formales. Los signos de las operaciones lógicas, los cuantificadores y otros, constituyen las constantes lógicas.
Diccionario filosófico · 1965:477-478
Diccionario de filosofía · 1984