EXTENSIONALIDAD

El principio de extensionalidad, formulado en los Principia Mathematica, de Whitehead-Russell, y desa­rrollado por Russell en varias ocasiones, se aplica, como indica el propio Russell, tanto a funciones de proposiciones como a funciones de funciones. Aplicado a funciones de propo­siciones, el principio sienta que el valor de una proposición depende del valor de verdad del argumento. Dadas dos proposiciones, p y q, si ambas son verdaderas, cualquier enun­ciado que contenga p será verdadero si q sus­tituye a p; y si ambas son falsas, cualquier enunciado que contenga p será falso si q sus­tituye a p.