BR TO LOUIS COUTURAT, 6 OCT. 1904
BRACERS 53245. ACS. La Chaux-de-Fonds Bib., Suisse. Russell–Couturat 1: #153
Edited by A.-F. Schmid

Brest 6 oct. ’04

Cher Monsieur,

Je viens de recevoir votre carte postale : je me réjouis que vous partagez^a l’opinion de Frege sur la fo. Prop^le. — Pour la conversion, voici la traduction en fonctions : on aura, au lieu de xRy, x ε f ‘y. Dans le cas que contemple P. Boutroux, on a R ε Nc → 1 ; donc on peut mettre x = φ‘y. On met (c’est la notation de Whitehead) : arg φ‘x = ??(φ‘y = x) Df. Donc x = φ‘y . ≡ . y ε arg φ‘x. C’est là la conversion en termes de fonctions. Pour le produit relatif, si on a x = φ‘y . y = ψ‘z, on a x = φ‘ψ‘z. Donc, en mettant f ‘ pour φ‘ψ‘, on a x = f ‘z. Si on a x ε φ‘y . y ε ψ‘z, on a x ε ∪‘f ‘z en mettant f ‘ pour φ‘ψ‘. Ce sont là, je crois, les arguments techniques que vous demandez. — Je retourne demain en Angleterre.

B. Russell

Notes

^asic