Resumen de Natural kinds and the identity properties
El argumento de Krípke de la designación rígida de los términos de género natural es falaz porque no distingue los géneros naturales de las propiedades funcionales de segundo orden. Al aclarar los conceptos de género natural y de propiedad funcional podemos mostrar que si bien los términos de género natural designan sus referentes rígidamente, los términos de propiedad funcional no son designadores rígidos. Mis discusiones de las propiedades funcionales ayudarán también a disipar la preocupación sobre la existencia de supuestos casos de identidad contingente entre los enunciados teóricos de la ciencia. No hay ninguna identidad contingente, ni siquiera en la forma de la lógica de segundo orden: la identidad de propiedades es también una identidad necesaria. El principio de la identidad necesaria gobierna sin interrupción.
