Ir al contenido

Principio de Hume

De Wikipedia, la enciclopedia libre

El principio de Hume, o HP— es un término creado por George Boolos— el mismo establece que el número de Fs es igual al número de Gs si hay una correspondencia uno a uno (una biyección) entre las Fs y las Gs. El principio de Hume puede ser enunciado formalmente en sistemas con lógica de segundo orden.

Es decir, si para todo de se cumple que existe un único de , tal que la función evaluada en es igual a .

Dados dos conjuntos e finitos, entonces existirá una biyección entre ambos si y sólo si e tienen el mismo número de elementos.

El principio de Hume juega un rol central en la filosofía de la matemática de Gottlob Frege. Frege muestra que el principio de Hume juntamente con definiciones apropiadas de nociones matemáticas contienen todos los axiomas de lo que se conoce como aritmética de segundo orden. A este resultado se lo llama el teorema de Frege, y constituye la base de una filosofía de la matemática llamada neo-logicismo.

Referencias

[editar]
  • Anderson, D., and Edward Zalta (2004) "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1-26.
  • George Boolos, 1998. Logic, Logic, and Logic. Harvard Univ. Press. Especially section II, "Frege Studies."
  • Burgess, John, 2005. Fixing Frege. Princeton Univ. Press.
  • Gottlob Frege, Foundations of Arithmetic.
  • David Hume, . A Treatise of Human Nature.
  • Mayberry, John P., 2000. The Foundations of Mathematics in the Theory of Sets. Cambridge. Online excerpts.

Enlaces externos

[editar]