Relaciones.

¿como se lee el complejo 'aRb'?
que en el mundo los objetos se relacionan unos con otros, es cosa que no ponemos en duda.
pero, en un lenguaje con sintaxis lógica, que elucide los problemas de la filosofía, ¿como leemos 'aRb'
'a' y 'b' juegan un papel semántico bien determinado, son nombres.
pero 'R' causa una cierta incomprensión.
no es que haya una relación R en el mundo, sino que los objetos están concatenados, unos con otros, y poder "unirse como eslabones en la cadena" es cosa que ya recide en ellos.
"aRb" es una descripción, formal de algún hecho, (cualquier relación)
pero no es que a tenga la relación R con b.
si la notación del TLP es correcta, las relaciones que guarden nuestros objetos son contingentes
"estar arriba", "ser mayor que", "ir más rapido que", etc.
todo eso pudo ser de otra forma.
eso muestra que los "designadores rigidos" suponen algo más que la lógica
piensen en: "a es padre de b"
para que esa relación no sea simétrica, debemos suponer alguna biología.
pero pudo ser de otra forma. (pdríamos reproducirnos igual que las bacterias)